MDLUL/Modell (Prädikatenlogik)