Assertion: instruction | /r/HasProperty | destination addresses
Facets:
Source sentences:
text: One instruction may have several fields, which identify the logical operation, and may also include source and destination addresses and constant values.