predicate logic
Related entries include:
bound variable
;