Assertion list
unit circle (subgroup of circle ) → ReceivesAction
Results from Ascent++: 2
unit circle → ReceivesAction → centered at the origin 0.68
unit circle → ReceivesAction → subtended by the angle 0.68