Assertion list for term "real part".
Results from Ascent++: 1
complex number → HasA → real part 0.64