Assertion list
convex mirror (subgroup of mirror ) → HasA

Results from Ascent++: 1
convex mirrorHasA wider field of view 0.25