Assertion list
lender (primary) → AtLocation

Results from Ascent++: 1
lenderAtLocation liberty 0.35