Assertion list
basic (primary) → AtLocation
Results from Ascent++: 1
basic → AtLocation → book 0.25