Assertion list for term "only one focal length".

Results from Ascent++: 2
lens HasAonly one focal length 0.33
prime lens (subgroup of lens) HasAonly one focal length 0.25