Assertion list
led tv (subgroup of tv ) → IsA
Results from Ascent++: 2
led tv → IsA → lcd tvs 0.84
led tv → IsA → great choice 0.30