Assertion list
convex mirror (subgroup of mirror ) → CapableOf
Results from Ascent++: 2
convex mirror → CapableOf → produce virtual images 0.84
convex mirror → CapableOf → eliminate blind spots 0.25