Assertion list for term "stated on the contract".

Results from Ascent++: 1
address (aspect of property) ReceivesActionstated on the contract 0.25