Assertion list for term "contained in ticket".

Results from Ascent++: 1
contract ReceivesActioncontained in ticket 0.37