Assertion list
digital signal (subgroup of signal ) → HasA
Results from Ascent++: 3
digital signal → HasA → discrete levels 0.25
digital signal → HasA → first digital value 0.25
digital signal → HasA → second digital value 0.25