Assertion list for term "founded in contract".

Results from Ascent++: 1
claim ReceivesActionfounded in contract 0.40