Assertion list for term "use a concave mirror".

Results from Ascent++: 1
reflecting telescope (subgroup of telescope) CapableOfuse a concave mirror 0.31