Assertion list for term "restricted to new intarder generation".
Results from Ascent++: 1
speed → ReceivesAction → restricted to new intarder generation 0.25