Assertion list
output (aspect of detector ) → HasProperty

Results from Ascent++: 9
outputHasProperty high 0.77
outputHasProperty low 0.68
outputHasProperty equal 0.35
outputHasProperty zero 0.35
outputHasProperty digital 0.25
outputHasProperty inverted 0.25
outputHasProperty positive 0.25
outputHasProperty readable 0.25
outputHasProperty stable 0.25