Monadic predicate logic