montague-script 1.78 KB
Newer Older
1 2 3 4 5 6
##########################################################################
#                                                                        #
#                 ACG development toolkit                                #
#                                                                        #
#                  Copyright 2008 INRIA                                  #
#                                                                        #
7
#  More information on "http://acg.gforge.inria.fr/"                     #
8 9 10 11 12 13 14 15 16 17 18 19
#  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           #
#                                                                        #
##########################################################################

20
load d montague-drt.acg;
21 22
list ;
abstract print;
23
#abstract analyse beats (every farmer) a donkey) : s;
24 25 26 27
abstract analyse beats (every farmer) (a J) : s;
abstract analyse beats (every farmer) (a donkey) : s;
select object;
print;
28 29
montague analyse beats (every farmer) (a donkey) : s;
montague analyse beats it : np => s;
30
montague analyse beats it (every (who (owns (a donkey)) farmer)) : s;
31
montague analyse CLOSE (beats it (every (who (owns (a donkey)) farmer))) : s';