. . . . "???x (num(x) ^ ??real(x)) This made sense, i can translate this statement into There exist some x such that x is a number and x is not real." .