2.4ex I

Let's finish off this tutorial with a taste for the sort of homework exercise to come! What you'll do is a) press the "start" link just below, b) read a sentence of English, and c) type in it's symbolization and press TAB. (The computer checks your work only when you move out of the field.)

Remember to type the ">" symbol for horseshoe and the "=" symbol for the triple bar.

Symbolize each of the following five sentences. Once you have finished with any one five and moved on, the program will check your work. As long as your answer is logically equivalent to a correct answer, your answer will be counted as correct too.

Hints:

If the program seems to be taking some time to work, note the "status line" at the bottom left. It keeps you up to date.
Also, and most importantly, if you just can't get an answer, you can get help. Enter "?" instead of a symbolization; the correct answer will pop up.
Finally, you can enter text without the shift-key. The program will understand. Once you finish with an SL sentence, hit the TAB key, and your sentence will be converted to the appropriate character automatically.

Start...

Use the following interpretation and symbolize each of the following in the space provided: