(no commit message)
[lambda.git] / topics / _week5_system_F.mdwn
index 242ada4..36c071c 100644 (file)
@@ -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