Assertion: instruction | /r/HasProperty | computed in one instruction
Facets:
Source sentences:
text: to be computed in one instruction, so two instructions will need to be executed to simulate a single three-operand instruction