Assertion list for term "placed in correct vertical position".
Results from Ascent++: 1
clock → ReceivesAction → placed in correct vertical position 0.27