Assertion list for term "associated with entry".

Results from Ascent++: 1
hazard ReceivesActionassociated with entry 0.25