11. The article of manufacture of claim 8 wherein the data causing the machine to perform parsing the propositional expression comprises data that, when accessed by the machine, causes the machine to perform operations comprising: reading in logical order a role expression in the propositional expression if the propositional expression is an expression to which a propositional demonstrative is applied or contains a term to which an interrogative operator is applied, the role expression being not a pronominal reference; if the role expression contains an interrogative operator, generating an object type for the term in the role expression, and if the current container is null, adding a parameter having a parameter type to be a collection that contains objects having the object type to the operation, else adding an attribute having an attribute type to be a collection that contains objects having the object type to the object type designated by the current container, and setting the current container to the object type generated for the term, else if the role expression contains no definite article or expression of a specifically referenced instance, if the role expression contains an indefinite article or has no quantification, generating an object type for the term in the role expression, if the current container is null, adding a parameter having a parameter type to be the object type generated for the term to the operation, else adding an attribute having an attribute type to be the object type generated for the term to the object type designated by the current container.
8. The article of manufacture of claim 7 wherein the data causing the machine to perform processing the propositional expression comprises data that, when accessed by the machine, causes the machine to perform operations comprising: setting the current container to be null; establishing the context for the propositional expression in the rule; and parsing the propositional expression.