unary predicate calculus