Title: Reduction and Unification in Natural Language Ontology