Assertion list
ox (primary) → AtLocation
Results from Ascent++: 1
ox → AtLocation → the habit of goring 0.36