From 3b17694f52b6d28bb08cafd1df6333e03c80d764 Mon Sep 17 00:00:00 2001 From: chris Date: Sun, 1 Mar 2015 18:23:59 -0500 Subject: [PATCH] --- topics/_week5_system_F.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.11.0