Assertion list
involuntary bankruptcy (subgroup of bankruptcy ) → ReceivesAction
Results from Ascent++: 1
involuntary bankruptcy → ReceivesAction → allowed 0.68