Assertion list for term "indexed by outbox write pointer".
Results from Ascent++: 2
memory → ReceivesAction → indexed by outbox write pointer 0.31
array → ReceivesAction → indexed by outbox write pointer 0.28