Assertion list
unit circle (subgroup of circle ) → CapableOf
Results from Ascent++: 1
unit circle → CapableOf → enable the extension of trigono… 0.68