Assertion list
synchronous rotation (subgroup of rotation ) → HasProperty
Results from Ascent++: 1
synchronous rotation → HasProperty → true 0.68