Assertion list for term "caused by instruction".

Results from Ascent++: 1
obligation (aspect of contract) ReceivesActioncaused by instruction 0.11