Assertion list
mortgage (primary) → DefinedAs
Results from Ascent++: 1
mortgage → DefinedAs → loan 0.32