Assertion list for term "demodulate received symbols".

Results from Ascent++: 1
receiver CapableOfdemodulate received symbols 0.28