Assertion list
oled tv (subgroup of tv ) → IsA
Results from Ascent++: 1
oled tv → IsA → self-illuminating system 0.25