Assertion list for term "registered as firstmortgage".
Results from Ascent++: 1
new mortgage (subgroup of mortgage) → ReceivesAction → registered as firstmortgage 0.68