Assertion list
continent (primary) → AtLocation
Results from Ascent++: 3
continent → AtLocation → the world 0.39
continent → AtLocation → continuous motion 0.25
continent → AtLocation → one point 0.25