Assertion list
secured creditor (subgroup of creditor ) → HasPrerequisite
Results from Ascent++: 1
secured creditor → HasPrerequisite → the borrower 0.29