propositional function - German English Dictionary