|entries|propositional-function|