Assertion: instruction | /r/HasProperty | complete
Facets:
value: at t
type: TEMPORAL
Source sentences:
text: Instruction 2 would be fetched at t 2 and would be complete at t 6 .