Assertion list
concave mirror (subgroup of mirror ) → IsA

Results from Ascent++: 1
concave mirrorIsA converging mirror 0.56