summaryrefslogtreecommitdiff
path: root/examples/phrasebook/SentencesFre.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook/SentencesFre.gf')
-rw-r--r--examples/phrasebook/SentencesFre.gf47
1 files changed, 0 insertions, 47 deletions
diff --git a/examples/phrasebook/SentencesFre.gf b/examples/phrasebook/SentencesFre.gf
deleted file mode 100644
index f600a5d29..000000000
--- a/examples/phrasebook/SentencesFre.gf
+++ /dev/null
@@ -1,47 +0,0 @@
-concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
- IsMass,
- QProp,
- IFemale, YouFamFemale, YouPolFemale, WeFemale, YouPlurFamFemale, YouPlurPolFemale, YouPlurPolMale, TheyFemale,
- PYesToNo,
- SHaveNo,SHaveNoMass,
- Superlative
- ]
- with
- (Syntax = SyntaxFre),
- (Symbolic = SymbolicFre),
- (Lexicon = LexiconFre) **
- open SyntaxFre, ExtraFre, (P = ParadigmsFre), Prelude in {
-
- lincat
- Superlative = {s : Ord ; isPre : Bool} ;
- lin
- IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
- QProp a =
- lin QS {s = \\_ => (EstcequeS (mkS a)).s} ;
- 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} ;
- WeFemale =
- {name = mkNP we8fem_Pron ; isPron = True ; poss = mkQuant we_Pron} ;
- YouPlurFamFemale =
- {name = mkNP youPl8fem_Pron ; isPron = True ; poss = mkQuant youPl_Pron} ;
- YouPlurPolMale =
- {name = mkNP youPl_Pron ; isPron = True ; poss = mkQuant youPol_Pron};
- YouPlurPolFemale =
- {name = mkNP youPl8fem_Pron ; isPron = True ; poss = mkQuant youPol_Pron};
- TheyFemale =
- {name = mkNP they8fem_Pron ; isPron = True ; poss = mkQuant they_Pron} ;
-
-
- PYesToNo = mkPhrase (lin Utt (ss "si")) ;
-
- SHaveNo p k = mkS negativePol (mkCl p.name have_de (mkNP aPl_Det k)) ;
- SHaveNoMass p k = mkS negativePol (mkCl p.name (ComplCN have_de k)) ;
-
- oper
- have_de : V2 = P.mkV2 (P.mkV have_V2) P.genitive ;
-
-}