Assertion list for term "shift one position".

Results from Ascent++: 1
vertical bar (subgroup of bar) CapableOfshift one position 0.25