Assertion list
stereo microscope (subgroup of microscope ) → IsA
Results from Ascent++: 1
stereo microscope → IsA → good choice 0.58