Assertion list
reflector telescope (subgroup of telescope ) → IsA
Results from Ascent++: 1
reflector telescope → IsA → cheaper to manufacture 0.25