diff options
Diffstat (limited to 'examples/phrasebook/SentencesIta.gf')
| -rw-r--r-- | examples/phrasebook/SentencesIta.gf | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/examples/phrasebook/SentencesIta.gf b/examples/phrasebook/SentencesIta.gf index ecbf29eb7..93b8355ff 100644 --- a/examples/phrasebook/SentencesIta.gf +++ b/examples/phrasebook/SentencesIta.gf @@ -7,6 +7,10 @@ concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [ (Lexicon = LexiconIta) ** open SyntaxIta, ExtraIta, Prelude in { + lincat + Place = NPPlace ; -- {name : NP ; at : Adv ; to : Adv ; } ; + + lin IFemale = {name = mkNP (ProDrop i8fem_Pron) ; isPron = True ; poss = mkQuant i_Pron} ; @@ -21,6 +25,25 @@ concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [ 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 + } ; + + + } |
