Assertion list for term "set to n+1".

Results from Ascent++: 1
number (aspect of sequence) ReceivesActionset to n+1 0.31