Assertion list
new tv (subgroup of tv ) → HasProperty
Results from Ascent++: 4
new tv → HasProperty → smart 0.74
new tv → HasProperty → thin 0.38
new tv → HasProperty → compatible 0.25
new tv → HasProperty → great 0.16