9. The method of claim 8 wherein the parse tree for each of the sentences in the subset of sentences is generated using one of a Deterministic Finite State Machine, a Non-Deterministic Finite State Machine, an LL-Parser, an LR-Parser, or a Probabilistic Parser.
8. The method of claim 7 wherein converting the subset of the sentences to simplified assertion statements comprises generating a parse tree for each of the sentences in the subset with reference to the corresponding parts of speech.