A theory of predicates / Farrell Ackerman, Gert Webelhuth. - Ackerman, Farrell (CSLI lecture notes ;, 1998)