2 Semi-formal Specification

In addition to the basic abilities of the Clue Extractor to divine meaning from exploiting a shop's coding idioms, and from iterative refinement of its base of knowledge about the specific system under test, the system's designers will be able to feed to the Clue Extractor semi-formal specifications. These specs will feed the Clue Extractor semantic information where before it was only able to infer (and loosely, at that) from context, naming, and iterative dialogue with the test designers. They allow designers familiar with the test catalog and the Clue Extractor to give more precise information to the system up front, to guide it more quickly to relevant test idioms, tests, and references.