Assertion list for term "correspond to digital value".

Results from Ascent++: 1
input signal (subgroup of signal) CapableOfcorrespond to digital value 0.25