Assertion list for term "be a pulse signal".

Results from Ascent++: 1
clock CapableOfbe a pulse signal 0.29