Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
Wide-Coverage Semantic Analysis with Boxer