Assertion list for term "stored in lasttopcolor".
Results from Ascent++: 1
value (aspect of color) → ReceivesAction → stored in lasttopcolor 0.44