Assertion list
optical telescope (subgroup of telescope ) → CapableOf
Results from Ascent++: 2
optical telescope → CapableOf → focus light 0.84
optical telescope → CapableOf → use lens 0.25