Reduction and Unification in Natural Language Ontology