cvg2-script 2.97 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
##########################################################################
#                                                                        #
#                 ACG development toolkit                                #
#                                                                        #
#                  Copyright 2008 INRIA                                  #
#                                                                        #
#  More information on "http://acg.gforge.loria.fr/"                     #
#  License: CeCILL, see the LICENSE file or "http://www.cecill.info"     #
#  Authors: see the AUTHORS file                                         #
#                                                                        #
#                                                                        #
#                                                                        #
#                                                                        #
#  $Rev::                              $:  Revision of last commit       #
#  $Author::                           $:  Author of last commit         #
#  $Date::                             $:  Date of last commit           #
#                                                                        #
##########################################################################

POGODALLA Sylvain's avatar
POGODALLA Sylvain committed
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
load d ../data/strings.acg;
load d ../data/cvg2.acg;
compose CVG_strings CVG_syntax as CVG_phonology;
# Scope ambiguity
CVG_phonology CVG_syntax CVG_simple_semantics analyse  LIKE SO EV :S ;
# Semantics
CVG_semantics RC_ty analyse G_q everybody' (lambda x.G_q somebody'(lambda y. like' x y)) : t;
CVG_semantics RC_ty analyse G_q somebody' (lambda y.G_q everybody'(lambda x. like' x y)) : t;

# Embedded polar question
CVG_phonology CVG_syntax CVG_simple_semantics analyse WHETHER (LIKE SANDY KIM): S ;
# Semantics
CVG_semantics RC_ty analyse whether' (like' kim' sandy') : k;

# Embedded consituent question
CVG_phonology CVG_syntax CVG_simple_semantics analyse G WHAT_FILLER (lambda t. LIKE t KIM) :Q ;
# Semantics
CVG_semantics RC_ty analyse what_filler (lambda y.like' kim' y) : k1;

# Embedded consituent question
CVG_phonology CVG_syntax CVG_simple_semantics analyse  LIKE WHAT_IN_SITU KIM : S ;
# Semantics
CVG_semantics RC_ty analyse G_w12 what_in_situ12 (lambda y.like' kim' y) : k2;


# Binary consituent question
CVG_phonology CVG_syntax CVG_simple_semantics analyse G WHO_FILLER (lambda y . LIKE WHAT_IN_SITU y) :Q ;
# Semantics
CVG_semantics RC_ty analyse G_w12 what_in_situ12 (lambda y. who_filler (lambda x.  like' x y)) : k2 ;


# Baker ambiguity
CVG_phonology CVG_syntax CVG_simple_semantics analyse G WHO_FILLER (lambda x. WONDERED (G WHO_FILLER ( lambda y. LIKE WHAT_IN_SITU y)) x) :Q ;
# Semantics
CVG_semantics RC_ty analyse who_filler (lambda z.(wonder2' (G_w12 what_in_situ12 (lambda y. who_filler (lambda x.like' x y))) z)) : k1 ;

CVG_semantics RC_ty analyse G_w12 what_in_situ12 (lambda y.who_filler (lambda z.wonder1' (who_filler (lambda x.like' x y)) z)) : k2 ;