Information related to Monadic predicate calculus