Assertion list
field (aspect of lens ) → IsA

Results from Ascent++: 1
fieldIsA the area 0.32