“…in the domain-independent structural characteristics of the rules actually stored in the rule-base [3]. Since a rule-base cannot be tested, even on simple cases, until much of it is encoded, most researchers [4][5][6][7][8], contend that the ability to verify content, during rule-base construction, would be an invaluable aid in ensuring that it is free from the problems of consistency 1 , completeness 2 , conciseness 3 that usually remain dormant until performance errors occur. In fact the ability to content verify rule-bases, as Nazareth [7] argues, would enhance the viability of rule-based system technology itself.…”