Assertion list
k tv (subgroup of tv ) → IsA
Results from Ascent++: 1
k tv → IsA → on the market 0.47