Assertion list for term "receive downlink signal".

Results from Ascent++: 1
antenna CapableOfreceive downlink signal 0.27