monadic predicate logic