MDLUL/prädikatenlogischer Ausdruck