MDLUL/Modelle (Prädikatenlogik)