GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

insertObject in Grammar

Browse Source
This commit is contained in:
aarne
2007-10-23 14:11:22 +00:00
parent b326744a46
commit 8f100593c0
1 changed files with 15 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
examples/tutorial/syntax/GrammarEng.gf
View File

@@ -43,18 +43,12 @@ concrete GrammarEng of Grammar = open Prelude, MorphoEng in {
QuestV2 ip np v2 = { QuestV2 ip np v2 = {
s = \\ord,pol => s = \\ord,pol =>
let let
vp : VerbPhrase = {s = \\q,b,n => predVerb v2 q b n} ; vp : VerbPhrase = predVerb v2
in in
bothWays (ip.s ++ (predVP np vp).s ! ord ! pol) v2.c bothWays (ip.s ++ (predVP np vp).s ! ord ! pol) v2.c
} ; } ;
ComplV2 v2 np = { ComplV2 v np = insertObject (v.c ++ np.s) (predVerb v) ;
s = \\q,b,n =>
let vp = predVerb v2 q b n in {
fin = vp.fin ;
inf = vp.inf ++ v2.c ++ np.s
}
} ;
ComplAP ap = { ComplAP ap = {
s = \\_,b,n => { s = \\_,b,n => {
@@ -84,7 +78,7 @@ concrete GrammarEng of Grammar = open Prelude, MorphoEng in {
UseN n = n ; UseN n = n ;
UseA a = a ; UseA a = a ;
UseV v = {s = \\q,b,n => predVerb v q b n} ; UseV = predVerb ;
this_Det = {s = "this" ; n = Sg} ; this_Det = {s = "this" ; n = Sg} ;
that_Det = {s = "that" ; n = Sg} ; that_Det = {s = "that" ; n = Sg} ;
@@ -131,8 +125,8 @@ concrete GrammarEng of Grammar = open Prelude, MorphoEng in {
do : Bool -> Number -> Str = \b,n -> do : Bool -> Number -> Str = \b,n ->
posneg b ((mkV "do").s ! n) ; posneg b ((mkV "do").s ! n) ;
predVerb : Verb -> Order -> Bool -> Number -> {fin,inf : Str} = predVerb : Verb -> VerbPhrase = \verb -> {
\verb,q,b,n -> s = \\q,b,n =>
let let
inf = verb.s ! Pl ; inf = verb.s ! Pl ;
fin = verb.s ! n ; fin = verb.s ! n ;
@@ -141,7 +135,16 @@ concrete GrammarEng of Grammar = open Prelude, MorphoEng in {
case <q,b> of { case <q,b> of {
<Dir,True> => {fin = [] ; inf = fin} ; <Dir,True> => {fin = [] ; inf = fin} ;
_ => {fin = aux ; inf = inf} _ => {fin = aux ; inf = inf}
} ; }
} ;
insertObject : Str -> VerbPhrase -> VerbPhrase =
\obj,vp -> {
s = \\q,b,n => let vps = vp.s ! q ! b! n in {
fin = vps.fin ;
inf = vps.inf ++ obj
}
} ;
posneg : Bool -> Str -> Str = \b,do -> case b of { posneg : Bool -> Str -> Str = \b,do -> case b of {
True => do ; True => do ;