Assertion list
telescope (primary) → IsA
Results from Ascent++: 2
telescope → IsA → instrument 0.51
telescope → IsA → optical instrument 0.45