Assertion list
eyepiece (aspect of microscope ) → IsA
Results from Ascent++: 1
eyepiece → IsA → the lens 0.51