Assertion list for term "signal s.sub.0".

Results from Ascent++: 1
bit CapableOfsignal s.sub.0 0.41