14. An article of manufacture comprising: a machine-accessible medium including data that, when accessed by a machine, causes the machine to perform operations comprising the method of claim 1 .
14. An article of manufacture comprising: a machine-accessible medium including data that, when accessed by a machine, causes the machine to perform operations comprising the method of claim 1 . 25. The article of manufacture of claim 14 wherein the data causing the machine to perform the operation of deriving specializations and generalizations for at least one of the fact types comprises data that, when accessed by the machine, causes the machine to perform operations comprising: obtaining 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; processing the fragments to produce a computed string, the computed string including at least one of the identity strings and one of the connectors; searching for a fact type corresponding to the computed string; if the fact type is found, returning the fact type as a generalization or specialization of the first fact type.