Assertion list
color crt (subgroup of cathode ray tube ) → HasA
Results from Ascent++: 1
color crt → HasA → three electron guns 0.68