Assertion list for term "required by the ecn".

Results from Ascent++: 1
bit ReceivesActionrequired by the ecn 0.16