Assertion list
lens (primary) → AtLocation
Results from Ascent++: 2
lens → AtLocation → infinity 0.33
lens → AtLocation → unstressed state 0.32