Assertion list for term "stacked through separator".

Results from Ascent++: 1
anode ReceivesActionstacked through separator 0.25