An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language

This article presents a technical construction of reasonings and counter-models for some sen-tenteces called fragments as in [10] in English. We bring speaking English and logical inferences together in computer based approach to natural language. We give not only the infrences in the language [7] but also counter-model constructions in case of no inference from input sentences. Approach of this construction considers usage of minimal set elements.