Assertion list
length (aspect of lens ) → HasProperty
Results from Ascent++: 4
length → HasProperty → short 0.38
length → HasProperty → constant 0.31
length → HasProperty → longer 0.25
length → HasProperty → long 0.22