Assertion list
ramp (primary) → AtLocation
Results from Ascent++: 3
ramp → AtLocation → depth 0.28
ramp → AtLocation → trench excavations 0.28
ramp → AtLocation → right side of the building 0.25