Assertion list
objective (aspect of microscope ) → HasA
Results from Ascent++: 1
objective → HasA → working distance 0.39