The motivation for development of the natural logic system discussed in this paper was the inadequacy of existing infernence mechanisms. Those relying on pattern matching and semantic overlap could not make logical deductions such as those…