Assertion list
complex number (primary) → HasProperty

Results from Ascent++: 1
complex numberHasProperty useful 0.34