Assertion list
demonstrator (primary) → AtLocation
Results from Ascent++: 1
demonstrator → AtLocation → the square 0.25