Assertion list
complex number (primary) → IsA
Results from Ascent++: 1
complex number → IsA → number 0.50