Assertion: execution | /r/CapableOf | reject non deterministic programs
Facets:
value: obviously
type: MANNER
Source sentences:
text: Executions reject any obviously non deterministic programs