Assertion list
mast (primary) → AtLocation
Results from Ascent++: 1
mast → AtLocation → the boat 0.28