Assertion list
lap (primary) → AtLocation
Results from Ascent++: 1
lap → AtLocation → book 0.31