# Redlog Documentation Center

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);