Assertion list
smart tv (subgroup of tv ) → IsA
Results from Ascent++: 3
smart tv → IsA → platform 0.54
smart tv → IsA → tv 0.48
smart tv → IsA → the best option 0.16