Assertion list
tv signal (subgroup of signal ) → HasProperty
Results from Ascent++: 2
tv signal → HasProperty → strong 0.68
tv signal → HasProperty → weak 0.40