C. Global Verification Criteria
In addition to the tests performed on individual rule
clusters, there are several global verification criteria. These
criteria focus on the relationships between rule clusters and
may be tested through the attribute dictionary and the rules
Dictionary. The Rules Dictionary contains the conditions and
conclusions used in the rules, information about the state of
the AgPest(if it is complete and refined), and the location of
the AgPest, while the Attribute Dictionary contains the
definitions and sources for each condition and conclusion.