Rule identifiers
The use of rule identifiers is very flexible, especially if the identifiers have additional structure:
id365(john): Is_thief(john) ? Is_punishable(john)
There is one limitation to the use of rule identifiers, as they have been used in the literature:
Rule identifiers do not encode an antecedent and a consequent