Assertion list for term "rising edge".
Results from Ascent++: 1
clock → HasA → rising edge 0.25