Assertion list for term "used in contract".
Results from Ascent++: 2
benchmark → ReceivesAction → used in contract 0.27
language (aspect of student) → ReceivesAction → used in contract 0.25