A Theory Of Predicates by Farrell Ackerman & Gert Webelhuth