summaryrefslogtreecommitdiff
path: root/examples/phrasebook/SentencesIta.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook/SentencesIta.gf')
-rw-r--r--examples/phrasebook/SentencesIta.gf23
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
+ } ;
+
+
+
}