Assertion list
complex number (primary) → HasA
Results from Ascent++: 2
complex number → HasA → imaginary part 0.64
complex number → HasA → real part 0.64