A theory of predicates - Ackerman, Farrell; Webelhuth, Gert (CSLI, 1998)