Assertion list
macro lens (subgroup of lens ) → IsA
Results from Ascent++: 1
macro lens → IsA → lens 0.45