Ascent++
Search
unit circle
subgroup of
circle
,
4
assertions
CapableOf
1
enable the extension of…
0.68
IsA
1
circle
0.68
ReceivesAction
2
centered at the origin
0.68
subtended by the angle
0.68