21. The article of manufacture of claim 14 wherein the data causing the machine to perform the operation of processing the nominal restrictive forms included in the packages comprises data that, when accessed by the machine, causes the machine to perform operations comprising: if the first nominal restrictive form is not mapped to a nominal restrictive function: gathering the first nominal restrictive function form and synonyms including explicit synonyms of the first nominal restrictive function form from each of the packages as nominal restrictive function forms in a working set; computing identity of the first nominal restrictive function form; if the identity maps to a nominal restrictive function, obtaining the nominal restrictive function to which the identity maps; else creating a nominal restrictive function; mapping each of the nominal restrictive function forms in the working set as a representer of the nominal restrictive function; and processing placeholders of each of the nominal restrictive function forms in the working set; and obtaining function forms to which the nominal restrictive function maps; if one of the function forms is a sentence form representing a fact type: creating an association indicating that the nominal restrictive function is defined by the fact type represented by the sentence form.
21. The article of manufacture of claim 14 wherein the data causing the machine to perform the operation of processing the nominal restrictive forms included in the packages comprises data that, when accessed by the machine, causes the machine to perform operations comprising: if the first nominal restrictive form is not mapped to a nominal restrictive function: gathering the first nominal restrictive function form and synonyms including explicit synonyms of the first nominal restrictive function form from each of the packages as nominal restrictive function forms in a working set; computing identity of the first nominal restrictive function form; if the identity maps to a nominal restrictive function, obtaining the nominal restrictive function to which the identity maps; else creating a nominal restrictive function; mapping each of the nominal restrictive function forms in the working set as a representer of the nominal restrictive function; and processing placeholders of each of the nominal restrictive function forms in the working set; and obtaining function forms to which the nominal restrictive function maps; if one of the function forms is a sentence form representing a fact type: creating an association indicating that the nominal restrictive function is defined by the fact type represented by the sentence form. 22. The article of manufacture of claim 21 wherein the data causing the machine to perform the operation of processing placeholders of each of the nominal restrictive function forms in the working set comprises data that, when accessed by the machine, causes the machine to perform operations comprising: if the first placeholder is from the first nominal restrictive function form: if the first placeholder is a result: creating a result represented by the first placeholder, and creating an association relating the result to the nominal restrictive function to which the first nominal restrictive form maps; else creating an argument represented by the first placeholder, and creating an association relating the argument to the nominal restrictive function to which the first nominal restrictive form maps; else if the first placeholder is not from one of the explicit synonyms of the first nominal restrictive form: setting the first placeholder as a representer of argument or result in corresponding ordinal position; else obtaining all placeholders that are mapped to the first placeholder, one of the mapped placeholders representing a role; locating the represented role; and setting the first placeholder as a representer of the located role.