Assertion list
input (aspect of neural network ) → HasProperty
Results from Ascent++: 3
input → HasProperty → positive 0.25
input → HasProperty → zero 0.25
input → HasProperty → negative 0.16