creating a natural logic inference system with combinatory categorial grammar .
Head-Driven Statistical Models for Natural Language Parsing