Formalize in First-Order Logic:

Some students took French in spring 2001.

Every student who takes French passes it.

Only one student took Greek in spring 2001.

The best score in Greek is always higher than the best score in French.