Commit 2736311c authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

No commit message

No commit message
parent 13e5abcf
CVG_syntax CVG_simple_semantics analyse LIKE EV SO :S ;
CVG_syntax analyse WHETHER (LIKE SANDY KIM): S ;
CVG_syntax analyse G WHAT_FILLER (lambda t. LIKE KIM t) :Q ;
CVG_syntax analyse G WHO_FILLER (lambda y . LIKE y WHAT_IN_SITU)) :Q ;
CVG_syntax analyse G WHO_FILLER (lambda x. WONDERED (G WHO_FILLER ( lambda y. LIKE WHAT_IN_SITU y)) x) :Q ;
CVG_semantics analyse G_q everybody' (lambda x.G_q somebody'(lambda y. like' x y)) : t;
CVG_semantics analyse G_q somebody' (lambda y.G_q everybody'(lambda x. like' x y)) : t;
CVG_syntax CVG_simple_semantics analyse WHETHER (LIKE SANDY KIM): S ;
CVG_syntax CVG_simple_semantics analyse G WHAT_FILLER (lambda t. LIKE KIM t) :Q ;
CVG_syntax CVG_simple_semantics analyse G WHO_FILLER (lambda y . LIKE y WHAT_IN_SITU) :Q ;
CVG_syntax CVG_simple_semantics analyse G WHO_FILLER (lambda x. WONDERED (G WHO_FILLER ( lambda y. LIKE WHAT_IN_SITU y)) x) :Q ;
......@@ -25,7 +25,7 @@ signature simple_syntax =
barked : NP -> S;
liked:NP -> NP -> S;
thought: S -> NP -> S;
wondered : S -> NP -> S;
wondered : Q -> NP -> S;
whether : S -> S;
Chris,Kim,Dana,Sandy : NP;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment