First-order predicate

ID: first-order-predicate

New to topics? Read the docs here!