Assertion list
mortgage (primary) → UsedFor

Results from Ascent++: 1
mortgageUsedFor construction 0.27