Translate the following argument into QL, providing a symbolization key and specifying the UD when necessary, then construct a proof to show that the argument is valid. Carl is not on the team. For Carl is a sprinter, and Carl is faster than any sprinter on the team. But no one is faster than himself.

There are two major tests of readiness for college: the act and the sat. act scores are reported on a scale from 1 to 36. the distribution of act scores in recent years has been roughly normal with mean µ = 20.9 and standard deviation s = 4.8. sat scores are reported on a scale from 400 to 1600. sat scores have been roughly normal with mean µ = 1026 and standard deviation s = 209. reports on a student's act or sat usually give the percentile as well as the actual score. the percentile is just the cumulative proportion stated as a percent: the percent of all scores that were lower than this one. tanya scores 1260 on the sat. what is her percentile (± 1)?