Assertion list for term "required to be given under the contract".

Results from Ascent++: 1
communication ReceivesActionrequired to be given under the contract 0.57