Rule identifiers
id365: Is_thief(john) ? Is_punishable(john)
Rule identifiers have been used in many variants, normally in combination with special predicates to express exceptions or applicability
id789: Acted_under_force_majeure(john) ? ?Applicable(id365)