Assertion list
compound microscope (subgroup of microscope ) → HasA
Results from Ascent++: 1
compound microscope → HasA → an oil immersion lens 0.25