Work on relative clauses is coming along nicely. There’s a link on the antics part of the site to where I’m keeping all my notes on the matter, which should be updated every week or so around Monday. (Eventually, I’ll make a directory for all of my older stuff, as well.) The latest is a patch to my initial stab at embedding a domain restriction argument in the quantifier phrase. I’d flopped around the arguments so that the type of the relativized NP was quite silly looking and posed a problem to RC stacking. A sneak peek at where I’m at now (types are in parens because I’m too lazy to escape the angle brackets :-P):

[[every boy who left who came before John]] = λE(e,t)[λM(e,t)[ ∀x [(left’(x) & came’(x) & E(x) & boy’(x)) -> M(x)]]]

emma :: Feb.20.2007 :: misc, semantics, linguistics :: 3 Comments »