Assertion list
plane mirror (subgroup of mirror ) → ReceivesAction
Results from Ascent++: 1
plane mirror → ReceivesAction → characterized by planar or flat… 0.68