Assertion list
lense (aspect of microscope ) → HasProperty

Results from Ascent++: 1
lenseHasProperty small 0.16