Assertion list
pony (primary) → AtLocation
Results from Ascent++: 1
pony → AtLocation → the pen 0.25