Assertion list for term "appropriated to the contract".

Results from Ascent++: 1
good ReceivesActionappropriated to the contract 0.42