Assertion list for term "allow single controlled rotation".

Results from Ascent++: 1
turnstile CapableOfallow single controlled rotation 0.25