Assertion list
mirror (primary) → DefinedAs
Results from Ascent++: 1
mirror → DefinedAs → reflecting surface 0.27