MDLUL/Interpretation (Prädikatenlogik)