Assertion list for term "performed at the time of withdrawal".
Results from Ascent++: 1
obligation (aspect of contract) → ReceivesAction → performed at the time of withdrawal 0.32