X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week5_system_F.mdwn;h=36c071cd9e305f2f9ac1e0edc2e2a7daf8c2e1d1;hp=242ada430c4430e6076b668dbb6c4d819a6ad6a8;hb=3b17694f52b6d28bb08cafd1df6333e03c80d764;hpb=be11c9fb4e8f436be20b5ccd5fb5a03794815440

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 242ada43..36c071cd 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -192,11 +192,11 @@ The classic case study motivating polymorphism in natural language
 comes from coordination.  (The locus classicus is Partee and Rooth
 1983.)
 
-                                      Type of the argument of "and":
+                                      Type of the arguments of "and":
     Ann left and Bill left.           t
     Ann left and slept.               e->t
-    Ann and Bill left.                (e->t)-t  (i.e, generalize quantifiers)
     Ann read and reviewed the book.   e->e->t
+    Ann and Bill left.                (e->t)-t  (i.e, generalize quantifiers)
 
 In English (likewise, many other languages), *and* can coordinate
 clauses, verb phrases, determiner phrases, transitive verbs, and many