45. The system of claim 23 further including instructions that when executed by one or more computers cause the one or more computers to perform operations that include 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.
45. The system of claim 23 further including instructions that when executed by one or more computers cause the one or more computers to perform operations that include 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. 51. The system of claim 45 further including instructions that when executed by one or more computers cause the one or more computers to perform operations that include 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.