Assertion list for term "stored with the stream".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → stored with the stream 0.27