Assertion list
tv (primary) → IsA
Results from Ascent++: 2
tv → IsA → device 0.39
tv → IsA → shared device 0.25