MDLUL/Ausdruck (Prädikatenlogik)