Assertion list
simple microscope (subgroup of microscope ) → IsA
Results from Ascent++: 1
simple microscope → IsA → microscope 0.25