Assertion list
payment (aspect of mortgage ) → HasPrerequisite

Results from Ascent++: 1
paymentHasPrerequisite mortgage insurance 0.25