Assertion list
dove (primary) → AtLocation
Results from Ascent++: 1
dove → AtLocation → the window 0.16