Assertion: machine | /r/HasAspect | a halt instruction
Facets:
value: usually
type: TEMPORAL
Source sentences:
text: In addition, a machine usually has a HALT instruction, which stops the machine (normally after the result has been computed).