Non First Order Axioms

We present a higher-order inference sys- tem based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and seman- …...