Assertion list for term "set in the contract".
Results from Ascent++: 2
term (aspect of contract) → ReceivesAction → set in the contract 0.64
duration → ReceivesAction → set in the contract 0.28