Assertion: default's consequence | /r/HasProperty | a set of formulae
Facets:
Source sentences:
text: Disjunctive default logic the consequence of a default is a set of formulae instead of a single formula.