Assertion list for term "given by clause 3 of schedule".

Results from Ascent++: 1
meaning ReceivesActiongiven by clause 3 of schedule 0.32