Assertion list for term "receive the wwvb signal".

Results from Ascent++: 1
clock CapableOfreceive the wwvb signal 0.25