@Arjun Sir: Can we write the statement as follows?

$\exists x( Real(x) \implies Rational(x) )$

In English: There exists an x such that, if x is real then it is rational.

$\exists x( Real(x) \implies Rational(x) )$

In English: There exists an x such that, if x is real then it is rational.