Assertion list for term "allowed to cool down over several cycles".
Results from Ascent++: 2
pad → ReceivesAction → allowed to cool down over several cycles 0.25
rotor → ReceivesAction → allowed to cool down over several cycles 0.25