Assertion list
secured creditor (subgroup of creditor ) → IsA
Results from Ascent++: 1
secured creditor → IsA → creditor 0.64