Assertion list
boater (primary) → AtLocation
Results from Ascent++: 2
boater → AtLocation → seattle 0.38
boater → AtLocation → distress 0.28