Assertion list for term "trade at rs".

Results from Ascent++: 1
contract CapableOftrade at rs 0.40