Assertion list for term "spelled out in the contract".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → spelled out in the contract 0.40