Assertion list
sailboat (primary) → AtLocation
Results from Ascent++: 1
sailboat → AtLocation → anchor 0.18