Assertion list
mm eyepiece (subgroup of eyepiece ) → HasA
Results from Ascent++: 1
mm eyepiece → HasA → the body of the eyepiece 0.68