Assertion list
convex mirror (subgroup of mirror ) → ReceivesAction
Results from Ascent++: 1
convex mirror → ReceivesAction → preferred 0.72