14. The system of claim 12 , wherein said variables comprise existentially and universally quantified variables.
12. The system of claim 9 , further comprising: interpreting, by said computer system, said composite sentence as a logical formula in a logic formalism supporting conjunction, disjunction, negation, and variables.