Assertion list
bankruptcy discharge (subgroup of discharge ) → IsA

Results from Ascent++: 1
bankruptcy dischargeIsA a court order 0.25