8. The method of claim 1 wherein processing the nominal restrictive forms included in the packages comprises: 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.
8. The method of claim 1 wherein processing the nominal restrictive forms included in the packages comprises: 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. 9. The method of claim 8 wherein processing placeholders of each of the nominal restrictive function forms in the working set comprises: 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.