Rule identifiers

id365: Is_thief(john) ? Is_punishable(john)

Previous slide Next slide Back to first slide View graphic version