Assertion: default | /r/HasProperty | applied to assertional theory
Facets:
Source sentences:
text: Whenever a default is applied to an assertional theory, the pair composed of its consequence and its set of justifications is added to the theory.