Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
Natural Logic for Textual Inference