Assertion list for term "reduce the resolution of the telescope".

Results from Ascent++: 1
mirror CapableOfreduce the resolution of the telescope 0.25