Assertion list
mover (primary) → AtLocation
Results from Ascent++: 1
mover → AtLocation → the house 0.27