Assertion list for term "correspond to a logic 1signal".

Results from Ascent++: 1
pulse CapableOfcorrespond to a logic 1signal 0.28