Assertion list
haven (primary) → AtLocation

Results from Ascent++: 1
havenAtLocation front of it 0.25