Assertion list
input signal (subgroup of signal ) → HasProperty
Results from Ascent++: 13
input signal → HasProperty → low 0.64
input signal → HasProperty → equal 0.52
input signal → HasProperty → digital 0.40
input signal → HasProperty → positive 0.39
input signal → HasProperty → negative 0.37
input signal → HasProperty → periodic 0.37
input signal → HasProperty → binary 0.35
input signal → HasProperty → linear 0.35
input signal → HasProperty → high 0.34
input signal → HasProperty → certain 0.29
input signal → HasProperty → strong 0.29
input signal → HasProperty → unchanged 0.25
input signal → HasProperty → weak 0.23