Assertion list for term "established by the contract".
Results from Ascent++: 1
obligation (aspect of contract) → ReceivesAction → established by the contract 0.39