Assertion list for term "stored in variable spadcounter".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → stored in variable spadcounter 0.28