Assertion list
debt (aspect of bankruptcy ) → HasA

Results from Ascent++: 1
debtHasA priority 0.29