Assertion list
lense (aspect of microscope ) → HasA
Results from Ascent++: 1
lense → HasA → small specks of dirt 0.35