What is the correct translation of the following statement into mathematical logic? “Some real numbers are rational”