Assertion: instruction | /r/HasProperty | the address of the data
Facets:
Source sentences:
text: ISA has a "one-address format" because each instruction includes the address of the data.