Assertion list for term "sold in the event of a default".
Results from Ascent++: 1
asset (aspect of bank) → ReceivesAction → sold in the event of a default 0.25