Assertion list for term "spin in half-pipe".

Results from Ascent++: 1
size CapableOfspin in half-pipe 0.32