Translate each English sentence into the language of quantificational logic using the key provided. You may use your own choice of letters in the worksheet — the app checks your answer against the reference regardless of which letters you pick.