Assertion list
smart tv (subgroup of tv ) → HasProperty
Results from Ascent++: 3
smart tv → HasProperty → great 0.42
smart tv → HasProperty → vulnerable 0.26
smart tv → HasProperty → expensive 0.25