6. The method of claim 5 further comprising: if the expression has a logical connective, repeating recursively the operations in claim 5 for each of the propositions included in the expression that are connected by the logical connective, substituting each of the propositions as the expression in the operations.
5. The method of claim 1 wherein processing the language-based structure of the rule statement corresponding to an expression to generate an expression model comprises: creating a model element for the expression; determining whether the expression has a logical connective; if the expression has no logical connective, marking the expression as a simple expression; identifying function form that corresponds to the expression; and processing the model element representing the expression; if the expression has a logical connective, creating a model element for the logical connective.