summaryrefslogtreecommitdiff
path: root/examples/phrasebook/SentencesSpa.gf
diff options
context:
space:
mode:
authorcaprotti <caprotti@chalmers.se>2010-05-06 16:36:53 +0000
committercaprotti <caprotti@chalmers.se>2010-05-06 16:36:53 +0000
commit4ecc586a2d665779ef6396e4260c83d9c1aa612c (patch)
tree3977c405eadd6c97d6db74e87762a02736ce463a /examples/phrasebook/SentencesSpa.gf
parentc3fbcf910b8bdf4159770643a76c517dc3229b2b (diff)
Ita-Spa_Words
Diffstat (limited to 'examples/phrasebook/SentencesSpa.gf')
-rw-r--r--examples/phrasebook/SentencesSpa.gf17
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 ;
+ };
}