The verifier can actually find some gaps from rule sets. For example uncovered checks for number values.
If you have
Person( age <18 )
it gives a warning that you might want to cover Person( age >= 18 ).
I'd say that such a warning may not be very useful because
- in many cases you may not be interested in the "other" values at all,
- in some cases 18, 19,... is handled with Person( age < 50 ) with low salience (not recommended!),
- in many (other) cases you use a (low salience) "catch all" rule to handle facts not selected by 1st order rules,
Moreover, I'm thinking of using additional rules with Verifier, with one of the primary targets being "magic numbers".
But Verifier is a fine achievement, and the confiugration is here to get you what you want!
-W