Assertion list
catamaran (primary) → AtLocation
Results from Ascent++: 1
catamaran → AtLocation → anchor 0.40