Assertion: precise interrupt | /r/CapableOf | leave the machine
Facets:
value: in a well-defined state
type: LOCATION
Source sentences:
text: A precise interrupt should leave the machine in a well-defined state.