Assertion list
large telescope (subgroup of telescope ) → CapableOf
Results from Ascent++: 2
large telescope → CapableOf → begin orbiting for first time 0.25
large telescope → CapableOf → see in visible light 0.25