Semi-supervised CCG Lexicon Extension
creating a natural logic inference system with combinatory categorial grammar .