Test 5
The exercises are numbered in a way that corresponds to the packet. For instance, exercise 5.1 is related to the material on packet page 5.1.
When you have completed an exercise use the back button in your browser to return to this page. (I have discovered that the back button does not work very efficiently if you are using Internet Explorer for Windows. In this case it might be better to save this page in your favorites to return to it.)
Some of these exercises contain jpeg images and so they may take a few seconds to load over a dial-up connection. Also, I have discovered that the Safari web browser for Mac OS X does not display these images. So, if you have Mac OS X, you will have to use Internet Explorer or some other alternative browser.
Also, the exercises that don't contain jpeg images really require that the appropriate font be installed, otherwise the quantifiers will not appear correctly.
5.5 Predicate Symbolization I (requires font)
5.5 Predicate Symbolization II