Assertion list
camera lens (subgroup of lens ) → IsA
Results from Ascent++: 1
camera lens → IsA → lens 0.25