4. The method of claim 1 also including generating a results table including a results row for each test column, each results row indicating an output that will be generated given the input values of the test column.
4. The method of claim 1 also including generating a results table including a results row for each test column, each results row indicating an output that will be generated given the input values of the test column. 10. The method of claim 4 also including generating an evaluation table including an evaluation row corresponding to each row of the rule specification, and in each evaluation row, indicating how many test columns have inputs that satisfy the relationships in the corresponding row of the rule specification.