A theory of predicates - Ackerman, Farrell (CSLI lecture notes ;, 1998)