Assertion list for term "interpreted in contract".

Results from Ascent++: 1
condition ReceivesActioninterpreted in contract 0.41