Assertion list for term "first digital value".

Results from Ascent++: 1
digital signal (subgroup of signal) HasAfirst digital value 0.25