Assertion list
simple microscope (subgroup of microscope ) → HasA
Results from Ascent++: 1
simple microscope → HasA → only one lens 0.68