Assertion list for term "closed in the pumping event".
Results from Ascent++: 1
control valve (subgroup of valve) → ReceivesAction → closed in the pumping event 0.30