38. The system of claim 27 wherein the instructions causing the processor to derive specializations and generalizations for at least one of the fact types comprises instructions that, when executed by the processor, causes the processor to: obtain a sentence form that represents a first fact type from one of the packages, the sentence form comprising fragments, the fragments including terms and connectors, each of the terms being associated with a type, each of the types having an identity string; process the fragments to produce a computed string, the computed string including at least one of the identity strings and one of the connectors; search for a fact type corresponding to the computed string; if the fact type is found, return the fact type as a generalization or specialization of the first fact type.
27. A system for generating a logical model of objects from elements representing rule specifications, the system comprising: a processor; a memory coupled to the processor, the memory containing instructions that, when executed by the processor, cause the processor to perform the method of claim 1 .