Assertion list
led tv (subgroup of tv ) → HasProperty
Results from Ascent++: 3
led tv → HasProperty → thin 0.54
led tv → HasProperty → expensive 0.42
led tv → HasProperty → efficient 0.34