Assertion list
lcd tv (subgroup of tv ) → HasProperty

Results from Ascent++: 3
lcd tvHasProperty thin 0.76
lcd tvHasProperty brighter 0.59
lcd tvHasProperty lighter 0.16