Assertion list
trigonometric function (subgroup of function ) → IsA
Results from Ascent++: 1
trigonometric function → IsA → functions of an angle 0.25