Assertion list
large telescope (subgroup of telescope ) → IsA
Results from Ascent++: 1
large telescope → IsA → telescope 0.68