Assertion list for term "rotating elements".

Results from Ascent++: 1
binder HasArotating elements 0.25