Assertion list
field (aspect of lens ) → AtLocation

Results from Ascent++: 1
fieldAtLocation focus 0.32