Assertion list for term "only one lens".

Results from Ascent++: 1
simple microscope (subgroup of microscope) HasAonly one lens 0.68