(no commit message)
authorchris <chris@web>
Sun, 1 Mar 2015 23:23:59 +0000 (18:23 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sun, 1 Mar 2015 23:23:59 +0000 (18:23 -0500)
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.)
 
 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 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 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
 
 In English (likewise, many other languages), *and* can coordinate
 clauses, verb phrases, determiner phrases, transitive verbs, and many