Assertion list for term "stored in different memory channels".
Results from Ascent++: 1
internal node (subgroup of node) → ReceivesAction → stored in different memory channels 0.84