From: chris <chris@web>
Date: Sun, 1 Mar 2015 23:23:59 +0000 (-0500)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3b17694f52b6d28bb08cafd1df6333e03c80d764;ds=sidebyside

---

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