By the way, lest you think that the midterm is going to be all and only about semantic types, I did just want to reassure you that I plan to make it a bit more representative than that. The reason the fragment looks the way it does is mainly that the questions that are on it were the ones that I found easy to write, and then I ran out of time. I do plan to have some questions on semantic types, and generally I plan to have questions that are more about understanding how the system works and what it is doing than about things like whether you have memorized how to write the meaning of every—in fact, I intend for it not to require much memorization, I’ll try to provide the pieces that you need on the test itself.

Anyway, this is just a note to tide you over until I get the practice midterm done, so you aren’t bitterly muttering to yourself about how the stuff on the midterm seems to have very little to do with what we actually focused on in class.