This new documentation in under construction. For functions
not covered yet, please use the
old documentation.

rlatml – multiplicity list of atomic formulas

## Calling Sequence

rlatml \((\,\varphi\,)\)

## Arguments

\(\varphi\) | — | first-order formula |

## Returns

\(\{\dots,\ \{\alpha,\ n\},\ \dots\}\) | — | \(\{\dots,\ \{\)atomic formula, integer\(\},\ \dots\}\) |

## Description

Return the atomic formulas occurring in \(\varphi\) as
a *multiplicity list*. In the output, each \(\alpha\) is an atomic
formula occurring in \(\varphi\), and the respective \(n\) is the number of
its occurrences.

For obtaining the set of atomic formulas occurring in \(\varphi\) without any counting use rlatl.

Occurrences of the truth values `true`

and `false`

are
not listed, because Redlog considers those to be not atomic formulas but
logical constants.

## Examples

```
rlatml(a = 0 or (b = 0 and b = 0));
```

rlatml(a = 0 and true);

## See Also

- rlatl — list of atomic formulas
- rlatnum — number of atomic formulas
- rlterml — list of terms
- rltermml — multiplicity list of terms