Assertion list for term "correspond to detected value".

Results from Ascent++: 1
signal CapableOfcorrespond to detected value 0.33