Start=Rang (Ausdruck)

MDLUL/Rang (Ausdruck)

Ziel=Prädikatenlogik/Rang eines Ausdrucks/Definition