Assertion list
kit lens (subgroup of lens ) → HasProperty
Results from Ascent++: 4
kit lens → HasProperty → fine 0.47
kit lens → HasProperty → good 0.42
kit lens → HasProperty → small 0.25
kit lens → HasProperty → poor 0.16