Assertion list
concave mirror (subgroup of mirror ) → ReceivesAction

Results from Ascent++: 1
concave mirrorReceivesAction used as shaving mirrors 0.71