Assertion list
ax (primary) → AtLocation
Results from Ascent++: 1
ax → AtLocation → the root of the trees 0.44