diff options
Diffstat (limited to 'examples/phrasebook/SentencesSpa.gf')
| -rw-r--r-- | examples/phrasebook/SentencesSpa.gf | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/examples/phrasebook/SentencesSpa.gf b/examples/phrasebook/SentencesSpa.gf index 90f22a3e0..4e293aea0 100644 --- a/examples/phrasebook/SentencesSpa.gf +++ b/examples/phrasebook/SentencesSpa.gf @@ -20,6 +20,23 @@ concrete SentencesSpa of Sentences = NumeralSpa ** SentencesI - [ {name = mkNP (ProDrop youSg_Pron) ; isPron = True ; poss = mkQuant youSg_Pron} ; YouPolMale = {name = mkNP (ProDrop youPol_Pron) ; isPron = True ; poss = mkQuant youPol_Pron} ; + +oper + + CNPlace : Type = {name : CN ; at : Prep ; to : Prep } ; + + mkCNPlace : CN -> Prep -> Prep -> CNPlace = \p,i,t -> { + name = p ; + at = i ; + to = t ; + } ; + + placeNP : Det -> CNPlace -> NPPlace = \det,kind -> + let name : NP = mkNP det kind.name in { + name = name ; + at = mkAdv kind.at name ; + to = mkAdv kind.to name ; + }; } |
