Assertion: default | /r/HasProperty | applied
Facets:
Source sentences:
text: When the theory is such that no other default can be applied, the theory is called an extension of the default theory.
text: Since Nixon is both a Republican and a Quaker, both defaults can be applied.
text: The final check of consistency of the justifications of all defaults that have been applied implies that some theories do not have any extensions.
text: Since A ( b ) {\displaystyle A(b)} is consistent with the background theory, the default can be applied, thus leading to the conclusion that A ( b ) {\displaystyle A(b)} is false.
text: a default is applied only if its consequence is not already entailed by T
text: Whenever the default is applied, at least one of its consequences is nondeterministically chosen and made true.