Assertion list for term "prescribed in the contract".

Results from Ascent++: 1
term (aspect of contract) ReceivesActionprescribed in the contract 0.30