Assertion list for term "converging mirror".

Results from Ascent++: 1
concave mirror (subgroup of mirror) IsAconverging mirror 0.56