Rules with exceptions
Interpreting the types of facts for rules with exceptions, the following semantic constraint could be used:
Defeasible rules without exceptions are followed
If 'There is a rule with antecedent P and consequent Q', 'P' and 'There is no exception to the rule with antecedent P and consequent Q' are all three true, then 'Q' is true.
? The constraint that strict rules have no exceptions has no counterpart for rules with exceptions