Assertion: default | /r/HasProperty | applied to given theory
Facets:
value: alternatively
type: MANNER
Source sentences:
text: This algorithm is non-deterministic, as several defaults can alternatively be applied to a given theory T.