Assertion list
smart tv (subgroup of tv ) → HasA
Results from Ascent++: 2
smart tv → HasA → app 0.25
smart tv → HasA → the built 0.16