creating a natural logic inference system with combinatory categorial grammar .
introduction to the special issue on word sense disambiguation : the state of the art .