Assertion list for term "rotational symmetry of order".

Results from Ascent++: 1
parallelogram HasArotational symmetry of order 0.25