summaryrefslogtreecommitdiff
path: root/examples/phrasebook/SentencesRon.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook/SentencesRon.gf')
-rw-r--r--examples/phrasebook/SentencesRon.gf71
1 files changed, 0 insertions, 71 deletions
diff --git a/examples/phrasebook/SentencesRon.gf b/examples/phrasebook/SentencesRon.gf
deleted file mode 100644
index 70d3e34d0..000000000
--- a/examples/phrasebook/SentencesRon.gf
+++ /dev/null
@@ -1,71 +0,0 @@
-
-concrete SentencesRon of Sentences = NumeralRon ** SentencesI - [
- IsMass,
- IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
- ThePlace, Nationality, CitiNat, Citizenship, ACitizen, PCitizenship, PropCit
-]
- with
- (Syntax = SyntaxRon),
- (Symbolic = SymbolicRon),
- (Lexicon = LexiconRon) **
- open SyntaxRon, ExtraRon, (R = ResRon), (P = ParamX), (PR = ParadigmsRon) in {
-
-oper
- NPNationalityRon : Type = {lang : NP ;
- country : NP ;
- propObj : A;
- propPers : R.Gender => P.Number => Str};
- CitizenshipRon : Type = {pers : R.Gender => P.Number => Str;
- prop : A};
-
-
- mkNPNationalityRon : NP -> NP -> A -> Str -> Str -> Str -> Str -> NPNationalityRon = \la,co,pro, s1,s2,s3,s4 ->
- {lang = la ;
- country = co ;
- propObj = pro ;
- propPers = mkCitiPers s1 s2 s3 s4
- } ;
-
- mkCitizenshipRon : A -> Str -> Str -> Str -> Str -> CitizenshipRon = \aobj, ap1, ap2, ap3, ap4 -> {pers = mkCitiPers ap1 ap2 ap3 ap4; prop = aobj};
-
- mkCitiPers : Str -> Str -> Str -> Str -> (R.Gender => P.Number => Str) = \francez, franceza, francezi, franceze ->
-table {R.Masc => table {P.Sg => francez;
- P.Pl => francezi};
- R.Fem => table {P.Sg => franceza;
- P.Pl => franceze}};
-
-
-lincat
- Nationality = NPNationalityRon ;
- Citizenship = CitizenshipRon ;
-
-lin
- IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
-
- IFemale = {name = mkNP i8fem_Pron ; isPron = True ; poss = mkQuant i_Pron} ;
- YouFamFemale = {name = mkNP youSg8fem_Pron ; isPron = True ; poss = mkQuant youSg_Pron} ;
- YouPolFemale = {name = mkNP youPol8fem_Pron ; isPron = True ; poss = mkQuant youPol_Pron};
- IMale = {name = mkNP i_Pron ; isPron = True ; poss = mkQuant i_Pron} ;
- YouFamMale = {name = mkNP youSg_Pron ; isPron = True ; poss = mkQuant youSg_Pron} ;
- YouPolMale = {name = mkNP youPol_Pron ; isPron = True ; poss = mkQuant youPol_Pron} ;
- ThePlace kind = let name : NP = mkNP the_Quant kind.name ;
- condAt : Bool = needIndefPlace kind.name kind.at ;
- condTo : Bool = needIndefPlace kind.name kind.to in {
- name = name ;
- at = if_then_else Adv condAt (mkAdv kind.at (mkNP the_Art kind.name)) (mkAdv kind.at name);
- to = if_then_else Adv condTo (mkAdv kind.at (mkNP the_Art kind.name)) (mkAdv kind.to name)
- } ;
-CitiNat n = {pers = n.propPers; prop = n.propObj} ;
-ACitizen p n = mkCl p.name (PR.mkAdv (n.pers ! (p.name.a.g) ! (p.name.a.n))) ;
-PCitizenship x = mkPhrase (mkUtt (mkAP x.prop)) ;
-PropCit p = p.prop ;
-
-
-oper needIndefPlace : CN -> Prep -> Bool = \cn,prep ->
- case <cn.isComp,prep.needIndef> of
- {<True,_> => True ;
- <False,True> => False ;
- _ => True
- };
-}
-