Replacement can be modeled using exclusionary reasons. We need the following rule:
Valid(rule(underlies(rule1, rule2) ? applies(rule2), excluded(rule1)))
Previous slide
Next slide
Back to first slide
View graphic version