Assertion list
oled tv (subgroup of tv ) → HasProperty
Results from Ascent++: 2
oled tv → HasProperty → expensive 0.68
oled tv → HasProperty → impressive 0.16