summaryrefslogtreecommitdiff
path: root/examples/phrasebook/SentencesLav.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook/SentencesLav.gf')
-rw-r--r--examples/phrasebook/SentencesLav.gf50
1 files changed, 0 insertions, 50 deletions
diff --git a/examples/phrasebook/SentencesLav.gf b/examples/phrasebook/SentencesLav.gf
deleted file mode 100644
index 33d34b99d..000000000
--- a/examples/phrasebook/SentencesLav.gf
+++ /dev/null
@@ -1,50 +0,0 @@
-concrete SentencesLav of Sentences = NumeralLav ** SentencesI - [
- LAnguage,
- PLanguage,
- NPNationality,
- mkNPNationality,
- NameNN,
- IFemale,
- YouFamFemale,
- YouPolFemale,
- WeFemale,
- YouPlurFamFemale,
- YouPlurPolFemale,
- TheyFemale
-]
-with
- (Syntax = SyntaxLav),
- (Symbolic = SymbolicLav),
- (Lexicon = LexiconLav) **
-open
- Prelude,
- SyntaxLav,
- (P = ParadigmsLav),
- ExtraLav
-in {
-
- lincat
- LAnguage = NPLanguage ;
-
- lin
- PLanguage x = mkPhrase (mkUtt x.lang) ;
-
- NameNN = mkNP (P.mkN "NN") ;
-
- IFemale = mkPerson i8fem_Pron ;
- YouFamFemale = mkPerson youSg8fem_Pron ;
- YouPolFemale = mkPerson youPol8fem_Pron ;
- WeFemale = mkPerson we8fem_Pron ;
- YouPlurFamFemale, YouPlurPolFemale = mkPerson youPl8fem_Pron ;
- TheyFemale = mkPerson they8fem_Pron ;
-
- oper
- NPLanguage : Type = {lang : NP ; modif : Adv} ;
- NPNationality : Type = {lang : NPLanguage ; country : NP ; prop : A} ;
-
- mkNPNationality : NPLanguage -> NP -> A -> NPNationality = \la,co,pro -> {
- lang = la ;
- country = co ;
- prop = pro
- } ;
-}