Assertion list
cathode ray tube (primary) → IsA
Results from Ascent++: 1
cathode ray tube → IsA → a vacuum tube 0.68