Strict rules
Interpreting the types of facts for strict rules, the following semantic constraints could be used:
Strict rules are followed
If 'There is a rule with antecedent P and consequent Q' and 'P' are both true, then 'Q' is true.
Strict rules have no exceptions
'There is no exception to the rule with antecedent P and consequent Q' is true.