Assertion list
lr (primary) → AtLocation
Results from Ascent++: 1
lr → AtLocation → the level 0.25