Assertion list
mirror (aspect of telescope ) → MadeOf
Results from Ascent++: 2
mirror → MadeOf → beryllium 0.55
mirror → MadeOf → quartz 0.22