Assertion list
convex mirror (subgroup of mirror ) → IsA

Results from Ascent++: 1
convex mirrorIsA curved mirrors 0.25