Assertion list
input (aspect of gate ) → HasProperty
Results from Ascent++: 10
input → HasProperty → high 0.84
input → HasProperty → low 0.75
input → HasProperty → true 0.68
input → HasProperty → false 0.61
input → HasProperty → zero 0.58
input → HasProperty → equal 0.56
input → HasProperty → positive 0.55
input → HasProperty → active 0.37
input → HasProperty → inverted 0.34
input → HasProperty → negative 0.29