Assertion list
pen (primary) → AtLocation

Results from Ascent++: 1
penAtLocation previous event 0.25