Assertion list for term "correspond to filtered pilot signal".

Results from Ascent++: 1
vector CapableOfcorrespond to filtered pilot signal 0.25