Assertion list
notebook (primary) → AtLocation
Results from Ascent++: 2
notebook → AtLocation → package 0.25
notebook → AtLocation → resetstatus 0.25