summaryrefslogtreecommitdiff
path: root/examples/query/small/patentsQuery/LexQueryFre.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2012-06-21 06:22:47 +0000
committeraarne <aarne@chalmers.se>2012-06-21 06:22:47 +0000
commit92a106339f5948e30119664dfe9dce1b66afe81b (patch)
treee31ee63adace64e1f6f92e0b662a341c1b67abda /examples/query/small/patentsQuery/LexQueryFre.gf
parentf8e74c50e277b06964f2d820da109197ecde5711 (diff)
QueryFre instances, don't compile yet because of type discrepancies
Diffstat (limited to 'examples/query/small/patentsQuery/LexQueryFre.gf')
-rw-r--r--examples/query/small/patentsQuery/LexQueryFre.gf25
1 files changed, 25 insertions, 0 deletions
diff --git a/examples/query/small/patentsQuery/LexQueryFre.gf b/examples/query/small/patentsQuery/LexQueryFre.gf
new file mode 100644
index 000000000..5fb4e603e
--- /dev/null
+++ b/examples/query/small/patentsQuery/LexQueryFre.gf
@@ -0,0 +1,25 @@
+instance LexQueryFre of LexQuery = open ParadigmsFre, SyntaxFre, ExtraFre, IrregFre, Prelude in {
+
+oper
+ about_Prep = on_Prep ;
+ also_AdV = lin AdV (ss "aussi") ;
+ as_Prep = mkPrep "comme" ;
+ at_Prep = mkPrep "chez" ;
+ called_A = mkA "appelé" ;
+ give_V3 = mkV3 (mkV "montrer") ;
+ information_N = mkN "information" ;
+ other_A = prefixA (mkA "autre") ;
+ name_N = mkN "nom" ;
+ all_NP = mkName "tout" ; ----
+
+-- lexical constructors
+ mkName : Str -> NP =
+ \s -> mkNP (mkPN s) ;
+
+oper
+ mkRelation : Str -> {cn : CN ; prep : Prep} =
+ \s -> {cn = mkCN (mkN s) ; prep = possess_Prep} ;
+
+ that_RP = which_RP ;
+
+} \ No newline at end of file