Database: Unary predicate Proposition 30: A predicate with exactly one parameter is said to be unary.