projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
be11c9f
)
(no commit message)
author
chris
<chris@web>
Sun, 1 Mar 2015 23:23:59 +0000
(18:23 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sun, 1 Mar 2015 23:23:59 +0000
(18:23 -0500)
topics/_week5_system_F.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week5_system_F.mdwn
b/topics/_week5_system_F.mdwn
index
242ada4
..
36c071c
100644
(file)
--- 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.)
comes from coordination. (The locus classicus is Partee and Rooth
1983.)
- Type of the argument of "and":
+ Type of the argument
s
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