Assertion: rule complex | /r/CapableOf | preserve inclusion
Facets:
Source sentences:
text: Formally, a rule complex is the class which contains all finite sets of rules, is closed under set-theoretical union and power set, and preserves inclusion: