Assertion list
k tv (subgroup of tv ) → HasProperty
Results from Ascent++: 5
k tv → HasProperty → stupid 0.34
k tv → HasProperty → expensive 0.32
k tv → HasProperty → affordable 0.29
k tv → HasProperty → compatible 0.16
k tv → HasProperty → perfect 0.00