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