Assertion list for term "stored at -20".

Results from Ascent++: 1
sample ReceivesActionstored at -20 0.51