Remove contribs and examples

Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb

28 files changed, 0 insertions, 1628 deletions

diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf
deleted file mode 100644
index 0a58ae398..000000000
--- a/examples/attempto/Attempto.gf
+++ /dev/null
@@ -1,262 +0,0 @@
-abstract Attempto = 
-  Numeral, Symbols ** {
-
-flags startcat = ACEText ;
-
-cat CN ;
-cat NP ;
-cat Card ;
----cat Numeral ;
-cat PN ;
-cat A ;
-cat A2 ;
-cat AP ;
-cat RS ;
-cat Pron ;
-cat Prep ;
-cat S ;
-cat VP ;
-cat V ;
-cat VS ;
-cat V2 ;
-cat V3 ;
-cat Adv ;
-cat Conj ;
-cat IP ;
-cat IAdv ;
-cat QS ;
-cat Text ;
-cat RP ;
-
-fun aNP : CN -> NP ;
-fun theNP : CN -> NP ;
-fun cardNP : Card -> CN -> NP ;
-fun noNP : CN -> NP ;
-fun everyNP : CN -> NP ;
-fun eachNP : CN -> NP ;
-fun notEveryNP : CN -> NP ;
-fun notEachNP : CN -> NP ;
-  
-
-fun theCollNP : CN -> NP ;
-fun someCollNP : CN -> NP ;
-fun allCollNP : CN -> NP ;
-fun noCollNP : CN -> NP ;
-
-
-fun eachTheNP : CN -> NP ;
-fun eachSomeNP : CN -> NP ;
-fun eachNumNP : Card -> CN -> NP ;
-
-cat MCN ;
-
-fun someMassNP : MCN -> NP ;
-fun noMassNP : MCN -> NP ;
-fun allMassNP : MCN -> NP ;
-fun notAllMassNP : MCN -> NP ;
-
----fun one_Card : Card ;
----fun two_Card : Card ;
----fun five_Card : Card ;
----fun ten_Card : Card ;
-
-
-fun pnNP : PN -> NP ;
-fun intNP : Int -> NP ;
-fun floatNP : Float -> NP ;
-
-
--- arithmetic expressions with + - * /
-
--- strings "foo" and "foo" & "bar
-
--- sets {a,b,c}
-
--- lists [a,b,c]
-
-fun it_NP : NP ;
-fun he_NP : NP ;
-fun she_NP : NP ;
-fun he_she_NP : NP ;
-fun they_NP : NP ;
-
-
--- reflexive pronouns: itself, himself, herself, himself/herself, themselves
-
---fun someone_NP : NP ;
-fun somebody_NP : NP ;
-fun something_NP : NP ;
---fun noone_NP : NP ;
-fun nobody_NP : NP ;
-fun nothing_NP : NP ;
---fun not_everyoneNP : NP ;
-fun not_everybodyNP : NP ;
-fun not_everythingNP : NP ;
-
-fun at_leastNP : Card -> CN -> NP ;
-fun not_at_leastNP : Card -> CN -> NP ;
-fun at_mostNP : Card -> CN -> NP ;
-fun not_at_mostNP : Card -> CN -> NP ;
-fun more_thanNP : Card -> CN -> NP ;
-fun not_more_thanNP : Card -> CN -> NP ;
-
-fun nothing_butNP : CN -> NP ; -- nothing but apples
-fun nothing_butMassNP : MCN -> NP ; -- nothing but water
-fun nobody_butNP : PN -> NP ; -- nobody but John
-fun no_butNP : CN -> PN -> NP ; -- no man but John
-
-cat Unit ; -- SI measurement units
-
-fun unitNP : Card -> Unit -> NP ;
-fun unit_ofNP : Card -> Unit -> CN -> NP ;      -- 3 kg of apples
-fun unit_ofMassNP : Card -> Unit -> MCN -> NP ; -- 3 l of water
-
-fun apposVarCN : CN -> Var -> CN ;  -- a man X
-fun termNP : Term -> NP ;
-
-fun conjNP : NP -> NP -> NP ;
-
--- 2.2.1
-
-fun adjCN : AP -> CN -> CN ;
-fun positAP : A -> AP ;
-fun comparAP : A -> AP ;
-fun superlAP : A -> AP ; 
-
-
--- 2.2.2
-
-fun relCN : CN -> RS -> CN ;
-fun relNP : NP -> RS -> NP ;
-fun andRS : RS -> RS -> RS ;
-fun orRS : RS -> RS -> RS ;
-
-fun suchCN : CN -> S -> CN ;
-
-fun predRS : RP -> VP -> RS ;
-fun slashRS : RP -> NP -> V2 -> RS ;
-
-fun which_RP : RP ;
-fun eachRP : RP ;
-
--- 2.2.4
-
-fun genNP : NP -> CN -> NP ; -- everybody's customer
-fun ofCN : CN -> NP -> CN ; -- dog of John and Mary
-fun genOwnNP : NP -> CN -> NP ; -- his own customer
-
--- 2.3.1
-
-fun vpS : NP -> VP -> S ;
-fun neg_vpS : NP -> VP -> S ;
-fun not_provably_vpS : NP -> VP -> S ;
-
-fun vVP  : V -> VP ;
-fun vsVP : VS -> S  -> VP ;
-fun v2VP : V2 -> NP -> VP ;
-fun v3VP : V3 -> NP -> NP -> VP ;
-
--- 2.3.2
-
-fun apVP    : AP -> VP ;
-fun compVP  : A -> NP -> VP ;  -- John is richer than Mary
-fun as_asVP : AP -> NP -> VP ; -- John is as rich as Mary
-fun more_thanVP : AP -> NP -> VP ; -- John is as rich as Mary
-
--- John is as fond-of Mary as of Sue
--- John is more fond-of Mary than of Sue
-
-cat PP ;
---cat [PP] {1} ;
---fun ppVP : [PP] -> VP ; -- John is in the garden in the morning
-fun ppVP : PP -> VP ; -- iteration is done by advPP and modVP
-
-fun prepPP : Prep -> NP -> PP ;
-fun advPP : PP -> Adv ;
-
--- 2.3.5
-
-fun canVP : VP -> VP ;
-fun mustVP : VP -> VP ;
-fun have_toVP : VP -> VP ;
-
--- 2.4
-
-fun modVP : VP -> Adv -> VP ;
-
--- 3.2
-
-fun thereNP : NP -> S ;  -- there is/are
-
--- 3.3
-
-fun formulaS : Formula -> S ;
-
--- 3.4.1
-
-fun coordS : Conj -> S -> S -> S ;
-
-fun and_Conj : Conj ;
-fun or_Conj : Conj ;
-fun commaAnd_Conj : Conj ; -- lower precedence
-fun commaOr_Conj : Conj ;
-
--- 3.4.3
-
-fun for_everyS : CN -> S -> S ;
-fun for_eachS : CN -> S -> S ;
-fun for_each_ofS : Card -> CN -> S -> S ; -- for each of 3 men
-fun for_allMassS : MCN -> S -> S ; -- for all water
-
--- 3.4.4
-
-fun if_thenS : S -> S -> S ;
-fun falseS : S -> S ; -- it is false that
-fun not_provableS : S -> S ; -- it is not provable that
-fun possibleS : S -> S ; -- it is possible that
-fun not_possibleS : S -> S ; 
-fun necessaryS : S -> S ; 
-fun not_necessaryS : S -> S ; 
-
--- 3.5
-
-fun npQS : NP -> VP -> QS ;
-fun ipQS : IP -> VP -> QS ;
-fun iadvQS : IAdv -> NP -> VP -> QS ;
-
-fun where_IAdv : IAdv ;
-fun when_IAdv : IAdv ;
-fun whoSg_IP : IP ;
-fun whoPl_IP : IP ;
-
-fun there_ipQS : IP -> QS ; -- there is who
-
-fun whoseIP : CN -> IP ;  -- whose dog
-
--- 3.6
-
-fun np_impVP : NP -> VP -> Text ; -- John, go to the bank!
-
--- 4
-
-cat ACEText ;
-fun consText : Text -> ACEText -> ACEText ;
-
-fun baseText : Text -> ACEText ;
-
-fun sText : S -> Text ;
-fun qsText : QS -> Text ;
-
--- more
-
-fun npVP  : NP -> VP ;              -- is a bank
-fun impVP : VP -> Text ;            -- go to the bank!
-fun numeralCard : Numeral -> Card ; -- fifteen banks
-fun digitsCard : Digits -> Card ;   -- 8 banks
-fun have_V2 : V2 ;                  -- has (an apple)
-fun v2_byVP : V2 -> NP -> VP ;      -- is bought by a customer
-
-
-}
-
-
diff --git a/examples/attempto/Attempto1.gf b/examples/attempto/Attempto1.gf
deleted file mode 100644
index 50526a889..000000000
--- a/examples/attempto/Attempto1.gf
+++ /dev/null
@@ -1,29 +0,0 @@
--- 15.58
-
-abstract Attempto = {
-
-flags startcat = ACEText ;
-
-cat 
-  ACEText ;
-  Query ; 
-  Command ;
-fun 
-  ASpecification : Specification -> ACEText ;
-  AQuery : Query -> ACEText ;
-  ACommand : Command -> ACEText ;
-cat
-  PropositionOrSentenceCoord ;
-  TopicalisedQuestion ;
-fun
-  QQuery : PropositionOrSentenceCoord -> Query -> Query ;
-  QTopicalizer : TopicalisedQuestion -> Query ;
-cat
-  ExistentialQuestionTopic ;
-  SentenceCoord ;
-fun
-  TExistential : ExistentialQuestionTopic -> SentenceCoord -> TopicalisedQuestion ;
-  TUniversal : UniversalTopic -> TopicalisedQuestion -> TopicalisedQuestion ;
-  TQuestion : Question -> TopicalisedQuestion ;
-
-}
diff --git a/examples/attempto/AttemptoEng.gf b/examples/attempto/AttemptoEng.gf
deleted file mode 100644
index 80ccf64fb..000000000
--- a/examples/attempto/AttemptoEng.gf
+++ /dev/null
@@ -1,11 +0,0 @@
---# -path=.:present
-
-concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI - [which_RP] with
-  (Syntax = SyntaxEng),
-  (Symbolic = SymbolicEng),
-  (LexAttempto = LexAttemptoEng) ** open SyntaxEng, ExtraEng in {
-
-lin which_RP = SyntaxEng.which_RP | that_RP ;
-
-} ;
-
diff --git a/examples/attempto/AttemptoFin.gf b/examples/attempto/AttemptoFin.gf
deleted file mode 100644
index b03f7b0b1..000000000
--- a/examples/attempto/AttemptoFin.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:present
-
-concrete AttemptoFin of Attempto = NumeralFin, SymbolsC ** AttemptoI with
-  (Syntax = SyntaxFin),
-  (Symbolic = SymbolicFin),
-  (LexAttempto = LexAttemptoFin) ;
-
diff --git a/examples/attempto/AttemptoFre.gf b/examples/attempto/AttemptoFre.gf
deleted file mode 100644
index 97eed0c73..000000000
--- a/examples/attempto/AttemptoFre.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:present
-
-concrete AttemptoFre of Attempto = NumeralFre, SymbolsC ** AttemptoI with
-  (Syntax = SyntaxFre),
-  (Symbolic = SymbolicFre),
-  (LexAttempto = LexAttemptoFre) ;
-
diff --git a/examples/attempto/AttemptoGer.gf b/examples/attempto/AttemptoGer.gf
deleted file mode 100644
index a5db09cb3..000000000
--- a/examples/attempto/AttemptoGer.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:/Users/aarne/GF/next-lib/present
-
-concrete AttemptoGer of Attempto = SymbolsC, NumeralGer ** AttemptoI with
-  (Syntax = SyntaxGer),
-  (Symbolic = SymbolicGer),
-  (LexAttempto = LexAttemptoGer) ;
-
diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf
deleted file mode 100644
index 9343d8bae..000000000
--- a/examples/attempto/AttemptoI.gf
+++ /dev/null
@@ -1,259 +0,0 @@
-incomplete concrete AttemptoI of Attempto = SymbolsC, Numeral ** open 
-  Syntax, 
-  Symbolic,
-  Prelude,
-  LexAttempto 
-in {
-
-lincat CN = Syntax.CN ;
-lincat NP = Syntax.NP ;
-lincat Card = Syntax.Card ;
---lincat Numeral = Syntax.Numeral ;
-lincat PN = Syntax.PN ;
-lincat A = Syntax.A ;
-lincat A2 = Syntax.A2 ;
-lincat AP = Syntax.AP ;
-lincat RS = Syntax.RS ;
-lincat Pron = Syntax.Pron ;
-lincat Prep = Syntax.Prep ;
-lincat S = Syntax.S ;
-lincat VP = Syntax.VP ;
-lincat V = Syntax.V ;
-lincat VS = Syntax.VS ;
-lincat V2 = Syntax.V2 ;
-lincat V3 = Syntax.V3 ;
-lincat Adv = Syntax.Adv ;
-lincat Conj = Syntax.Conj ;
-lincat IP = Syntax.IP ;
-lincat IAdv = Syntax.IAdv ;
-lincat QS = Syntax.QS ;
-lincat Text = Syntax.Text ;
-lincat ACEText = Syntax.Text ;
-lincat RP = Syntax.RP ;
-
-lincat MCN = Syntax.CN ;
-lincat PP = Syntax.Adv ;
-
-lin aNP = mkNP a_Art ;
-lin theNP = mkNP the_Art ;
-lin cardNP d = mkNP d ;
-lin noNP = mkNP no_Quant ;
-lin everyNP = mkNP every_Det ;
-lin eachNP = mkNP each_Det ;
-lin notEveryNP cn = mkNP not_Predet (mkNP every_Det cn) ;
-lin notEachNP cn = mkNP not_Predet (mkNP each_Det cn) ;
-lin theCollNP = mkNP the_Art plNum ;
-lin someCollNP = mkNP somePl_Det ;
-lin allCollNP cn = mkNP all_Predet (mkNP a_Art plNum cn) ;
-
-lin noCollNP = mkNP no_Quant plNum ;
-lin eachTheNP cn = eachOf (mkNP the_Art plNum cn) ;
-lin eachSomeNP cn = eachOf (mkNP somePl_Det cn) ;
-lin eachNumNP ca cn = eachOf (mkNP ca cn) ;
-
-lin someMassNP = mkNP someSg_Det ;
-lin allMassNP cn = mkNP all_Predet (mkNP cn) ;
-
-lin noMassNP = mkNP no_Quant ;
-lin notAllMassNP cn = mkNP not_Predet (mkNP all_Predet (mkNP cn)) ; 
-
----lin one_Card = mkCard n1_Numeral ;
----lin two_Card = mkCard n2_Numeral ;
----lin five_Card = mkCard n5_Numeral ;
----lin ten_Card = mkCard n10_Numeral ;
-
-lin pnNP = mkNP ;
-lin intNP = symb ;
-lin floatNP = symb ;
-
-lin it_NP = mkNP it_Pron ;
-lin he_NP = mkNP he_Pron ;
-lin she_NP = mkNP she_Pron ;
-lin he_she_NP = mkNP slash_Conj (mkNP he_Pron) (mkNP she_Pron) ;
-lin they_NP = mkNP they_Pron ;
-
-lin conjNP = mkNP and_Conj ;
-lin adjCN = mkCN ;
-
---lin someone_NP : NP ;
-lin somebody_NP = Syntax.somebody_NP ;
-lin something_NP = Syntax.something_NP ;
---lin noone_NP : NP ;
-lin nobody_NP = Syntax.nobody_NP ;
-lin nothing_NP = Syntax.nothing_NP ;
---lin not_everyoneNP : NP ;
-lin not_everybodyNP = mkNP not_Predet Syntax.everybody_NP ;
-lin not_everythingNP = mkNP not_Predet Syntax.everything_NP ;
-
-lin at_leastNP ca = mkNP (mkCard at_least_AdN ca) ;
-lin not_at_leastNP ca cn = mkNP not_Predet (mkNP (mkCard at_least_AdN ca) cn) ;
-lin at_mostNP ca = mkNP (mkCard at_most_AdN ca) ;
-lin not_at_mostNP ca cn = mkNP not_Predet (mkNP (mkCard at_most_AdN ca) cn) ;
-lin more_thanNP ca = mkNP (mkCard (mkAdN more_CAdv) ca) ;
-lin not_more_thanNP ca cn = mkNP not_Predet (mkNP (mkCard (mkAdN more_CAdv) ca) cn) ;
-
-lin nothing_butNP cn = mkNP nothing_NP (mkAdv except_Prep (mkNP a_Art plNum cn)) ;
-lin nothing_butMassNP cn = mkNP nothing_NP (mkAdv except_Prep (mkNP cn)) ;
-lin nobody_butNP pn = mkNP nobody_NP (mkAdv except_Prep (mkNP pn)) ;
-lin no_butNP cn pn = mkNP (mkNP no_Quant plNum cn) (mkAdv except_Prep (mkNP pn)) ;
-
-lincat Unit = CN ;
-
-lin unitNP = mkNP ;
-lin unit_ofNP ca u cn = mkNP (mkNP ca u) (mkAdv part_Prep (mkNP a_Art plNum cn)) ;
-lin unit_ofMassNP ca u cn = mkNP (mkNP ca u) (mkAdv part_Prep (mkNP cn)) ;
-
-lin apposVarCN cn v = mkCN cn (symb v) ;
-
-lin termNP x = symb (ss x.s) ;
-
--- 2.2.1
-
-
-lin adjCN = mkCN ;
-lin positAP = mkAP ;
-lin comparAP = Syntax.comparAP ;
-lin superlAP a = mkAP (mkOrd a) ;
-
-
--- 2.2.2
-
-lin relCN = mkCN ;
-lin relNP = mkNP ;
-
-lin andRS = mkRS and_Conj ;
-lin orRS = mkRS or_Conj ;
-lin eachRP = mkRP part_Prep (mkNP each_Det) Syntax.which_RP ;
-
-lin suchCN cn s = mkCN (mkAP (mkAP such_A) s) cn ;
-
-lin predRS rp vp = mkRS (mkRCl rp vp) ;
-lin slashRS rp np v2 = mkRS (mkRCl rp np v2) ;
-lin which_RP = Syntax.which_RP ;
-
--- 2.2.4
-
-lin genNP = genitiveNP ;
-lin ofCN cn np = mkCN cn (mkAdv possess_Prep np) ;
-lin genOwnNP np cn = genitiveNP np (mkCN own_A cn) ;
-
--- 2.3.1
-
-lin vpS np vp = mkS (mkCl np vp) ;
-lin neg_vpS np vp = mkS negativePol (mkCl np vp) ;
-
-lin not_provably_vpS np vp = mkS negativePol (mkCl np (mkVP vp provably_Adv)) ;
-
-lin vVP  = mkVP ;
-lin vsVP = mkVP ;
-lin v2VP = mkVP ;
-lin v3VP = mkVP ;
-
--- 2.3.2
-
-lin apVP = mkVP ;
-lin compVP a np = mkVP (mkAP a np) ;
-lin as_asVP ap np = mkVP (mkAP as_CAdv ap np) ; -- John is as rich as Mary
-lin more_thanVP ap np = mkVP (mkAP more_CAdv ap np) ;
-
----- John is as fond-of Mary as of Sue
----- John is more fond-of Mary than of Sue
-
---lincat [PP] = Adv ;
-
---lin BasePP p = p ;
-
-lin ppVP = mkVP ;
-
-lin prepPP = mkAdv ;
-lin advPP p = p ;
-
--- 2.3.5
-
-lin canVP = mkVP can_VV ;
-lin mustVP = mkVP must_VV ;
-
-lin have_toVP = mkVP have_VV ;
-
--- 2.4
-
-lin modVP = mkVP ;
-
--- 3.2
-
-lin thereNP np = mkS (mkCl np) ;
-
-
--- 3.3
-
-lin formulaS f = symb (ss f.s) ;
-
--- 3.4.1
-
-lin coordS = mkS ;
-
-lin and_Conj = Syntax.and_Conj ;
-lin or_Conj = Syntax.or_Conj ;
-lin commaAnd_Conj = comma_and_Conj ;
-lin commaOr_Conj = comma_or_Conj ;
-
--- 3.4.3
-
-lin for_everyS cn = mkS (mkAdv for_Prep (mkNP every_Det cn)) ;
-lin for_eachS cn = mkS (mkAdv for_Prep (mkNP each_Det cn)) ;
-lin for_each_ofS card cn = 
-  mkS (mkAdv for_Prep (eachOf (mkNP card cn))) ;
-lin for_allMassS cn =
-  mkS (mkAdv for_Prep (mkNP all_Predet (mkNP cn))) ;
-
--- 3.4.4
-
-lin if_thenS = mkS if_then_Conj ;
-
-lin falseS s = mkS (adj_thatCl false_A s) ;
-lin not_provableS s = mkS negativePol (adj_thatCl provable_A s) ;
-lin possibleS s = mkS (adj_thatCl possible_A s) ;
-lin not_possibleS s = mkS negativePol (adj_thatCl possible_A s) ;
-lin necessaryS s = mkS (adj_thatCl necessary_A s) ;
-lin not_necessaryS s = mkS negativePol (adj_thatCl necessary_A s) ;
-
-
--- 3.5
-
-lin npQS np vp = mkQS (mkCl np vp) ;
-lin ipQS ip vp = mkQS (mkQCl ip vp) ;
-lin iadvQS iadv np vp = mkQS (mkQCl iadv (mkCl np vp)) ;
-
-lin where_IAdv = Syntax.where_IAdv ;
-lin when_IAdv = Syntax.when_IAdv ;
-lin whoSg_IP = Syntax.whoSg_IP ;
-lin whoPl_IP = Syntax.whoPl_IP ;
-
-lin there_ipQS ip = mkQS (mkQCl ip) ; ---- who is there, not there is who
-lin whoseIP = mkIP whose_IDet ; 
-
--- 3.6
-
-lin np_impVP np vp = mkText (mkPhr (mkUtt (mkImp vp)) (mkVoc np)) exclMarkPunct ; 
-        ---- John, go to the bank!
-
-
-lin consText = mkText ;
-lin baseText t = t ;
-lin sText = mkText ;
-lin qsText = mkText ;
-
-
---- more
-
-lin npVP = mkVP ;
-lin impVP vp = mkText (mkImp vp) ;
-lin numeralCard n = mkCard <lin Numeral n : Numeral> ;
-lin digitsCard n = mkCard <lin Digits n : Digits> ;
-lin have_V2 = Syntax.have_V2 ;
-lin v2_byVP v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ;
-
-}
-
-
-
diff --git a/examples/attempto/AttemptoIta.gf b/examples/attempto/AttemptoIta.gf
deleted file mode 100644
index 5b71536fc..000000000
--- a/examples/attempto/AttemptoIta.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:present
-
-concrete AttemptoIta of Attempto = NumeralIta, SymbolsC ** AttemptoI with
-  (Syntax = SyntaxIta),
-  (Symbolic = SymbolicIta),
-  (LexAttempto = LexAttemptoIta) ;
-
diff --git a/examples/attempto/AttemptoSwe.gf b/examples/attempto/AttemptoSwe.gf
deleted file mode 100644
index db8084d9e..000000000
--- a/examples/attempto/AttemptoSwe.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:present
-
-concrete AttemptoSwe of Attempto = NumeralSwe, SymbolsC ** AttemptoI with
-  (Syntax = SyntaxSwe),
-  (Symbolic = SymbolicSwe),
-  (LexAttempto = LexAttemptoSwe) ;
-
diff --git a/examples/attempto/AttemptoUrd.gf b/examples/attempto/AttemptoUrd.gf
deleted file mode 100644
index 10ec91af3..000000000
--- a/examples/attempto/AttemptoUrd.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:./present

-concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with

-  (Syntax = SyntaxUrd),

-  (Symbolic = SymbolicUrd),

-  (LexAttempto = LexAttemptoUrd) ;

-

diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf
deleted file mode 100644
index bba76715b..000000000
--- a/examples/attempto/LexAttempto.gf
+++ /dev/null
@@ -1,31 +0,0 @@
-interface LexAttempto = open Syntax in {
-
-oper
-  possible_A : A ;
-  necessary_A : A ;
-  own_A : A ;
-  have_VV : VV ;
-  provably_Adv : Adv ;
-  provable_A : A ;
-  false_A : A ;
-  such_A : A ;
-
-  genitiveNP : NP -> CN -> NP ;
-
---  m_Unit : Unit ;
---  l_Unit : Unit ;
---  kg_Unit : Unit ;
-
-  each_Det : Det ;
-  that_Subj : Subj ;
-
-  comma_and_Conj : Conj ;
-  comma_or_Conj : Conj ;
-
-  whose_IDet : IDet ;
-
-  eachOf : NP -> NP ;
-
-  adj_thatCl : A -> S -> Cl ;
-
-}
diff --git a/examples/attempto/LexAttemptoEng.gf b/examples/attempto/LexAttemptoEng.gf
deleted file mode 100644
index a81d58963..000000000
--- a/examples/attempto/LexAttemptoEng.gf
+++ /dev/null
@@ -1,38 +0,0 @@
-instance LexAttemptoEng of LexAttempto = 
-  open 
-   ExtraEng,  
-   SyntaxEng, 
-   ParadigmsEng, 
-   ConstructX, 
-   (M = MakeStructuralEng),
-   IrregEng in {
-
-oper
-  possible_A = mkA "possible" ;
-  necessary_A = mkA "necessary" ;
-  own_A = mkA "own" ;
-  have_VV = mkVV have_V ;
-  provably_Adv = ParadigmsEng.mkAdv "provably" ;
-  provable_A = mkA "provable" ;
-  false_A = mkA "false" ;
-  such_A = mkA "such" ;
- 
-  genitiveNP np = mkNP (GenNP np) ;
-
-  kilogram_CN = mkCN (mkN "kilogram") ;
-
-  each_Det = ExtraEng.each_Det ;
-
-  that_Subj = M.mkSubj "that" ;
-
-  comma_and_Conj = mkConj [] ", and" plural ;
-  comma_or_Conj = mkConj [] ", or" singular ;
-  slash_Conj = mkConj [] "/" singular ;
-
-  whose_IDet = M.mkIDet "whose" singular ;
-
-  eachOf np = mkNP (mkNP each_Det) (SyntaxEng.mkAdv part_Prep np) ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
-
-}
diff --git a/examples/attempto/LexAttemptoFin.gf b/examples/attempto/LexAttemptoFin.gf
deleted file mode 100644
index e89fec70c..000000000
--- a/examples/attempto/LexAttemptoFin.gf
+++ /dev/null
@@ -1,40 +0,0 @@
-instance LexAttemptoFin of LexAttempto = 
-  open 
-   ExtraFin,  
-   SyntaxFin, 
-   ParadigmsFin, 
-   ConstructX, 
-   (M = MakeStructuralFin),
-   (E = ExtraFin),
-   (L = LangFin)
-   in {
-
-oper
-  possible_A = mkA "mahdollinen" ;
-  necessary_A = mkA "välttämätön" ;
-  own_A = mkA "oma" ;
-  have_VV = mkVV (caseV genitive (mkV "pitää")) ;
-  provably_Adv = mkAdv "todistettavasti" ;
-  provable_A = mkA "todistettava" ;
-  false_A = mkA (mkN "epätosi" "epätoden" "epätosia") ;
-  such_A = mkA "sellainen" ;
- 
-  genitiveNP np = mkNP (GenNP np) ;
-
-  kilogram_CN = mkCN (mkN "kilo") ;
-
-  each_Det = every_Det ; ----
-
-  that_Subj = M.mkSubj "että" ;
-
-  comma_and_Conj = M.mkConj [] ", ja" plural ;
-  comma_or_Conj = M.mkConj [] ", tai" singular ;
-  slash_Conj = M.mkConj [] "/" singular ;
-
-  whose_IDet = mkIDet (M.mkIQuant "kenen") ;
-
-  eachOf np = mkNP (mkNP each_Det) (SyntaxFin.mkAdv (casePrep elative) np) ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> 
-    mkCl (L.UseComp (E.CompPartAP (mkAP (mkAP a) s))) ;
-}
diff --git a/examples/attempto/LexAttemptoFre.gf b/examples/attempto/LexAttemptoFre.gf
deleted file mode 100644
index e7ce15ba3..000000000
--- a/examples/attempto/LexAttemptoFre.gf
+++ /dev/null
@@ -1,33 +0,0 @@
-instance LexAttemptoFre of LexAttempto = 
-  open ExtraFre, SyntaxFre, ParadigmsFre, ConstructX, 
-    MakeStructuralFre,
-    IrregFre, (P = Prelude) in {
-
-oper
-  possible_A = mkA "possible" ;
-  necessary_A = mkA "nécessaire" ;
-  own_A = mkA "propre" ;
-  have_VV = SyntaxFre.must_VV ;
-  provably_Adv = mkAdv "démontrablement" ;
-  provable_A = mkA "démontrable" ;
-  false_A = mkA "faux" ;
-  such_A = mkA "tel" "telle" ;
-
-  genitiveNP np cn = mkNP (mkNP the_Art cn) (SyntaxFre.mkAdv possess_Prep np) ;
-
-  each_Det = every_Det ; ----
-
-  that_Subj = mkSubj "que" ; ---- qu'
-
-  comma_and_Conj = mkConj [] ", et" plural ;
-  comma_or_Conj = mkConj [] ", ou" singular ;
-  slash_Conj = mkConj [] "/" singular ;
-
-  whose_IDet = mkIDet (mkIQuant "de qui") ; ----
-
-  eachOf np = mkNP (mkPredet "chacun" "chacune" genitive P.True) np ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> 
-    mkCl (mkVP (mkVP (mkAP a)) (SyntaxFre.mkAdv that_Subj s)) ;
-
-}
diff --git a/examples/attempto/LexAttemptoGer.gf b/examples/attempto/LexAttemptoGer.gf
deleted file mode 100644
index 2f903b843..000000000
--- a/examples/attempto/LexAttemptoGer.gf
+++ /dev/null
@@ -1,32 +0,0 @@
-instance LexAttemptoGer of LexAttempto = 
-  open ExtraGer, SyntaxGer, ParadigmsGer, ConstructX,
-    MakeStructuralGer, 
-    IrregGer, Prelude in {
-
-oper
-  possible_A = mkA "möglich" ;
-  necessary_A = mkA "nötig" ;
-  own_A = mkA "eigen" ;
-  have_VV = SyntaxGer.must_VV ;
-  provably_Adv = mkAdv "beweisbar" ;
-  provable_A = mkA "beweisbar" ;
-  false_A = mkA "falsch" ;
-  such_A = mkA "solch" ;
-
-  genitiveNP np cn = mkNP (mkNP the_Art cn) (SyntaxGer.mkAdv possess_Prep np) ;
-
-  each_Det = every_Det ;
-
-  that_Subj = mkSubj "daß" ;
-
-  comma_and_Conj = mkConj [] ", und" plural ;
-  comma_or_Conj = mkConj [] ", oder" singular ;
-  slash_Conj = mkConj [] "/" singular ;
-
-  whose_IDet = mkIDet (mkIQuant "wessen") ;
-
-  eachOf np = mkNP (mkPredet (mkA "jed") "von" dative True singular) np ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
-
-}
diff --git a/examples/attempto/LexAttemptoIta.gf b/examples/attempto/LexAttemptoIta.gf
deleted file mode 100644
index 09d71999f..000000000
--- a/examples/attempto/LexAttemptoIta.gf
+++ /dev/null
@@ -1,33 +0,0 @@
-instance LexAttemptoIta of LexAttempto = 
-  open ExtraIta, SyntaxIta, ParadigmsIta, ConstructX, 
-    MakeStructuralIta, (P = Prelude)
-    in {
-
-oper
-  possible_A = mkA "possibile" ;
-  necessary_A = mkA "necessario" ;
-  own_A = mkA "proprio" ;
-  have_VV = SyntaxIta.must_VV ;
-  provably_Adv = mkAdv "dimostrabilmente" ;
-  provable_A = mkA "dimostrabile" ;
-  false_A = mkA "falso" ;
-  such_A = mkA "tale" ;
-
-  genitiveNP np cn = mkNP (mkNP the_Art cn) (SyntaxIta.mkAdv possess_Prep np) ;
-
-  each_Det = every_Det ; ----
-
-  that_Subj = mkSubj "che" ;
-
-  comma_and_Conj = mkConj [] ", e" plural ;
-  comma_or_Conj = mkConj [] ", o" singular ;
-  slash_Conj = mkConj [] "/" singular ;
-
-  whose_IDet = mkIDet (mkIQuant "de chi") ; ----
-
-  eachOf np = mkNP (mkPredet "ciascuno" "ciascuna" genitive P.True) np ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> 
-    mkCl (mkVP (mkVP (mkAP a)) (SyntaxIta.mkAdv that_Subj s)) ;
-
-}
diff --git a/examples/attempto/LexAttemptoSwe.gf b/examples/attempto/LexAttemptoSwe.gf
deleted file mode 100644
index bb205a041..000000000
--- a/examples/attempto/LexAttemptoSwe.gf
+++ /dev/null
@@ -1,30 +0,0 @@
-instance LexAttemptoSwe of LexAttempto = 
-  open ExtraSwe, SyntaxSwe, ParadigmsSwe, ConstructX, 
-    MakeStructuralSwe, IrregSwe in {
-
-oper
-  possible_A = mkA "möjlig" ;
-  necessary_A = mkA "nödvändig" ;
-  own_A = mkA "egen" "eget" "egna" "egnare" "egnast" ;
-  have_VV = must_VV ;
-  provably_Adv = mkAdv "bevisbart" ;
-  provable_A = mkA "bevisbar" ;
-  false_A = mkA "falsk" ;
-  such_A = mkA "sådan" ;
-
-  genitiveNP np = mkNP (GenNP np) ;
-
-  each_Det = every_Det ; ----
-
-  that_Subj = mkSubj "att" ;
-
-  comma_and_Conj = mkConj [] ", och" plural ;
-  comma_or_Conj = mkConj [] ", eller" singular ;
-  slash_Conj = mkConj [] "/" singular ;
-  whose_IDet = mkIDet (mkIQuant "vems" "vems" "vems" dDefIndef) ;
-
-  eachOf np = mkNP (mkPredet "var och en" "vart och ett" "av" singular) np ;
-
-  adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
-
-}
diff --git a/examples/attempto/LexAttemptoUrd.gf b/examples/attempto/LexAttemptoUrd.gf
deleted file mode 100644
index c38885a25..000000000
--- a/examples/attempto/LexAttemptoUrd.gf
+++ /dev/null
@@ -1,39 +0,0 @@
-instance LexAttemptoUrd of LexAttempto = 

-  open 

-   ExtraUrd,  

-   SyntaxUrd, 

-   ParadigmsUrd, 

-   ConstructX, 

-   (M = MakeStructuralUrd)

---   IrregUrd 

-   in {

-

-oper

-  possible_A = mkA "mmkn" ;

-  necessary_A = mkA "Zrwry" ;

-  own_A = mkA "apna" ;

-  have_VV = mkVV have_V ;

-  provably_Adv = ParadigmsUrd.mkAdv "sabt" ;

-  provable_A = mkA "sabt" ;

-  false_A = mkA "GlT" ;

-  such_A = mkA "aisa" ;

- 

-  genitiveNP np = mkNP (GenNP np) ;

-

-  kilogram_CN = mkCN (mkN "klwgram") ;

-

-  each_Det = ExtraUrd.each_Det ;

-

-  that_Subj = M.mkSubj "kh" ;

-

-  comma_and_Conj = mkConj [] "awr" plural ;

-  comma_or_Conj = mkConj [] "ya" singular ;

-  slash_Conj = mkConj [] "/" singular ;

-

-  whose_IDet = M.mkIDet "ks ka" singular ;

-

-  eachOf np = mkNP (mkNP each_Det) (SyntaxUrd.mkAdv part_Prep np) ;

-

-  adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;

-

-}

diff --git a/examples/attempto/Symbols.gf b/examples/attempto/Symbols.gf
deleted file mode 100644
index 3f92d3b21..000000000
--- a/examples/attempto/Symbols.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-abstract Symbols = {
-
-cat Var ; Formula ; Term ;
-
-fun plus_Term : Term -> Term -> Term ;
-fun minus_Term : Term -> Term -> Term ;
-fun div_Term : Term -> Term -> Term ;
-fun times_Term : Term -> Term -> Term ;
-fun neg_Term : Term -> Term ;
-fun int_Term : Int -> Term ;
-fun var_Term : Var -> Term ;
-
-fun eq_Formula : Term -> Term -> Formula ;
-fun lt_Formula : Term -> Term -> Formula ;
-fun gt_Formula : Term -> Term -> Formula ;
-fun le_Formula : Term -> Term -> Formula ;
-fun ge_Formula : Term -> Term -> Formula ;
-fun ne_Formula : Term -> Term -> Formula ;
-
-fun X_Var : Var ;
-fun Y_Var : Var ;
-
-}
diff --git a/examples/attempto/SymbolsC.gf b/examples/attempto/SymbolsC.gf
deleted file mode 100644
index b92885bb9..000000000
--- a/examples/attempto/SymbolsC.gf
+++ /dev/null
@@ -1,25 +0,0 @@
-concrete SymbolsC of Symbols = open Precedence, Prelude in {
-
-lincat Term = TermWithPrec ;
-lincat Formula = SS ;
-lincat Var = SS ;
-
-lin plus_Term  = mkpInfixL "+" p1 ;
-lin minus_Term = mkpInfixL "-" p1 ;
-lin div_Term   = mkpInfixL "/" p2 ;
-lin times_Term = mkpInfixL "*" p2 ;
-lin neg_Term   = mkpFun1 "-" ;
-lin int_Term i = mkpConst i.s ;
-lin var_Term i = mkpConst i.s ;
-
-lin eq_Formula = infixSS "=" ;
-lin lt_Formula = infixSS "<" ;
-lin gt_Formula = infixSS ">" ;
-lin le_Formula = infixSS "=<" ;
-lin ge_Formula = infixSS ">=" ;
-lin ne_Formula = infixSS "\\=" ;
-
-lin X_Var = ss "X" ;
-lin Y_Var = ss "Y" ;
-
-}
diff --git a/examples/attempto/TestAttempto.gf b/examples/attempto/TestAttempto.gf
deleted file mode 100644
index 1b953ed2d..000000000
--- a/examples/attempto/TestAttempto.gf
+++ /dev/null
@@ -1,84 +0,0 @@
-abstract TestAttempto = Attempto ** {
-
-fun
-  card_N : CN ;
-  water_MCN : MCN ;
-  john_PN : PN ;
-  apple_N : CN ;
-  sleep_V : V ;
-  young_A : A ;
-  dog_N : CN ;
-  animal_N : CN ;
-  wait_V : V ;
-  man_N : CN ;
-  woman_N : CN ;
-  give_V3 : V3 ;
-  tired_A : A ;
-  rich_A : A ;
-  customer_N : CN ;
-  enter_V2 : V2 ;
-  bank_N : CN ;
-  satisfied_A : A ;
-  lucky_A : A ;
-  well_known_A : A ;
-  important_A : A ;
-  expensive_A : A ;
-  fill_in_V2 : V2 ;
-  form_N : CN ;
-  age_N : CN ;
-  teacher_N : CN ;
-  successful_A : A ;
-  fond_A2 : A2 ;
-  garden_N : CN ;
-  morning_N : CN ;
-  code_N : CN ;
-  drinkable_A : A ;
-  work_V : V ;
-  admitted_A : A ;
-  eat_V2 : V2 ;
-  burger_N : CN ; 
-  earn_V2 : V2 ;
-  income_N : CN ;
-  england_PN : PN ;
-  beginning_N : CN ;
-  office_N : CN ;  
-  interested_A2 : A2 ;
-  morning_N : CN ;
-  classroom_N : CN ;
-  manually_Adv : Adv ;
-  slot_N : CN ;
-  patiently_Adv : Adv ;
-  course_N : CN ;
-  carefully_Adv : Adv ;
-  time_N : CN ;
-  believe_VS : VS ;
-  seriously_Adv : Adv ;
-  clerk_N : CN ;
-  screen_N : CN ;
-  blink_V : V ;
-  bed_N : CN ;
-  container_N : CN ;
-  automated_teller_N : CN ;
-  reject_V2 : V2 ;
-  accept_V2 : V2 ;
-  type_V2 : V2 ;
-  know_VS : VS ;
-  manager_N : CN ;
-  oversleep_V : V ;
-  valid_A : A ;
-  see_V2 : V2 ;
-  bark_V : V ;
-  go_V2 : V2 ;
-  brother_N : CN ;
-  mary_PN : PN ;
-  machine_N : CN ;
-  correct_A : A ;
-
-  kilogram_Unit : Unit ;
-
-  in_Prep : Prep ;
-  at_Prep : Prep ;
-  into_Prep : Prep ;
-
-
-}
diff --git a/examples/attempto/TestAttemptoEng.gf b/examples/attempto/TestAttemptoEng.gf
deleted file mode 100644
index a01acfafe..000000000
--- a/examples/attempto/TestAttemptoEng.gf
+++ /dev/null
@@ -1,88 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoEng of TestAttempto = AttemptoEng ** 
-  open SyntaxEng, ParadigmsEng, IrregEng, (C = ConstructX) in {
-
-lin card_N = mkkN "card" ;
-lin water_MCN = mkCN (mkkN "water") ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkkN "apple" ;
-lin sleep_V = IrregEng.sleep_V ;
-lin young_A = mkA "young" ;
-lin dog_N = mkkN "dog" ;
-lin animal_N = mkkN "animal" ;
-lin wait_V = mkV "wait" ;
-lin man_N = mkCN (mkN "man" "men") ;
-lin woman_N = mkCN (mkN "woman" "women") ;
-lin give_V3 = mkV3 give_V (mkPrep []) (mkPrep "to") ;
-lin tired_A = mkA "tired" ;
-lin rich_A = mkA "rich" ;
-lin customer_N = mkkN "customer" ;
-lin enter_V2 = mkV2 "enter" ;
-lin bank_N = mkkN "bank" ;
-lin satisfied_A = mkA "satisfied" ;
-lin lucky_A = mkA "lucky" ;
-lin well_known_A = mkA "well-known" ;
-lin important_A = mkA "important" ;
-lin expensive_A = mkA "expensive" ;
-lin fill_in_V2 = mkV2 (partV (mkV "fill") "in") ;
-lin form_N = mkkN "form" ;
-lin age_N = mkkN "age" ;
-lin teacher_N = mkkN "teacher" ;
-lin successful_A = mkA "successful" ;
-lin fond_A2 = mkA2 (mkA "fond") (mkPrep "of") ;
-lin garden_N = mkkN "garden" ;
-lin morning_N = mkkN "morning" ;
-lin code_N = mkkN "code" ;
-lin drinkable_A = mkA "drinkable" ;
-lin work_V = mkV "work" ;
-lin admitted_A = mkA "admitted" ;
-lin eat_V2 = mkV2 eat_V ;
-lin burger_N = mkkN "burger" ;
-lin earn_V2 = mkV2 "earn" ;
-lin income_N = mkkN "income" ;
-lin england_PN = mkPN "England" ;
-lin beginning_N = mkkN "beginning" ;
-lin office_N = mkkN "office" ;
-lin interested_A2 = mkA2 (mkA "interested") (mkPrep "in") ;
-lin morning_N = mkkN "morning" ;
-lin classroom_N = mkkN "classroom" ;
-lin manually_Adv = mkAdv "manually" ;
-lin slot_N = mkkN "slot" ;
-lin patiently_Adv = mkAdv "patiently" ;
-lin course_N = mkkN "course" ;
-lin carefully_Adv = mkAdv "carefully" ;
-lin time_N = mkkN "time" ;
-lin believe_VS = mkVS (mkV "believe") ;
-lin seriously_Adv = mkAdv "seriously" ;
-lin clerk_N = mkkN "clerk" ;
-lin screen_N = mkkN "screen" ;
-lin blink_V = mkV "blink" ;
-lin bed_N = mkkN "bed" ;
-lin container_N = mkkN "container" ;
-lin automated_teller_N = mkkN "automated" ;
-lin reject_V2 = mkV2 "reject" ;
-lin accept_V2 = mkV2 "accept" ;
-lin type_V2 = mkV2 "type" ;
-lin know_VS = mkVS IrregEng.know_V ;
-lin manager_N = mkkN "manager" ;
-lin oversleep_V = mkV "oversleep" "overslept" "overslept" ;
-lin valid_A = mkA "valid" ;
-lin see_V2 = mkV2 see_V ;
-lin bark_V = mkV "bark" ;
-lin go_V2 = mkV2 go_V to_Prep ;
-lin brother_N = mkkN "brother" ;
-lin mary_PN = mkPN "mary" ;
-lin machine_N = mkkN "machine" ;
-lin correct_A = mkA "correct" ;
-
-lin kilogram_Unit = mkkN "kilogram" ;
-
-oper mkkN : Str -> CN = \n -> mkCN (ParadigmsEng.mkN n) ;
-
-lin
-  in_Prep = SyntaxEng.in_Prep ;
-  at_Prep = mkPrep "at" ;
-  into_Prep = mkPrep "into" ;
-
-}
diff --git a/examples/attempto/TestAttemptoFin.gf b/examples/attempto/TestAttemptoFin.gf
deleted file mode 100644
index ba6caf86b..000000000
--- a/examples/attempto/TestAttemptoFin.gf
+++ /dev/null
@@ -1,87 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoFin of TestAttempto = AttemptoFin ** 
-  open SyntaxFin, ParadigmsFin, (C = ConstructX) in {
-
-lin card_N = mkkN "kortti" ;
-lin water_MCN = mkCN (mkN "vesi" "veden" "vesiä") ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkkN "omena" ;
-lin sleep_V = mkV "nukkua" ;
-lin young_A = mkA (mkN "nuori" "nuoria") ;
-lin dog_N = mkkN "koira" ;
-lin animal_N = mkkN "eläin" ;
-lin wait_V = mkV "odottaa" ;
-lin man_N = mkCN (mkN "mies" "miehiä") ;
-lin woman_N = mkCN (mkN "nainen") ;
-lin give_V3 = dirV3 (mkV "antaa") allative ;
-lin tired_A = mkA "väsynyt" ;
-lin rich_A = mkA "rikas" ;
-lin customer_N = mkkN "asiakas" ;
-lin enter_V2 = mkV2 (mkV "astua") illative ; ---- astua sisään
-lin bank_N = mkkN "pankki" ;
-lin satisfied_A = mkA "tyytyväinen" ;
-lin lucky_A = mkA "onnekas" ;
-lin well_known_A = mkA "tunnettu" ;
-lin important_A = mkA "tärkeä" ;
-lin expensive_A = mkA "kallis" ;
-lin fill_in_V2 = mkV2 (mkV "täyttää") ;
-lin form_N = mkkN "kaavake" ;
-lin age_N = mkkN "ikä" ;
-lin teacher_N = mkkN "opettaja" ;
-lin successful_A = mkA "menestyksekäs" ;
-lin fond_A2 = mkA2 (mkA "kiintynyt") (casePrep illative) ;
-lin garden_N = mkCN (mkN "puu" (mkN "tarha")) ;
-lin morning_N = mkkN "aamu" ;
-lin code_N = mkkN "koodi" ;
-lin drinkable_A = mkA "juotava" ;
-lin work_V = mkV "työskennellä" ;
-lin admitted_A = mkA "hyväksytty" ;
-lin eat_V2 = mkV2 (mkV "syödä") partitive ;
-lin burger_N = mkkN "hampurilainen" ;
-lin earn_V2 = mkV2 "ansaita" ;
-lin income_N = mkkN "tulo" ; ---- tulot
-lin england_PN = mkPN "Englanti" ;
-lin beginning_N = mkkN "alku" ;
-lin office_N = mkkN "toimisto" ;
-lin interested_A2 = mkA2 (mkA "kiinnostunut") (casePrep elative) ;
-lin classroom_N = mkkN "luokkahuone" ;
-lin manually_Adv = mkAdv "käsin" ;
-lin slot_N = mkkN "aukko" ;
-lin patiently_Adv = mkAdv "kärsivällisesti" ;
-lin course_N = mkkN "kurssi" ;
-lin carefully_Adv = mkAdv "huolellisesti" ;
-lin time_N = mkCN (mkN "aika" "ajan" "aikoja") ;
-lin believe_VS = mkVS (mkV "uskoa") ;
-lin seriously_Adv = mkAdv "vakavasti" ;
-lin clerk_N = mkCN (mkN "virkailija" "virkailijoita") ;
-lin screen_N = mkkN "kuvaruutu" ;
-lin blink_V = mkV "vilkkua" ;
-lin bed_N = mkkN "sänky" ;
-lin container_N = mkkN "astia" ;
-lin automated_teller_N = mkkN "pankkiautomaatti" ;
-lin reject_V2 = mkV2 "hylätä" ;
-lin accept_V2 = mkV2 "hyväksyä" ;
-lin type_V2 = mkV2 "konekirjoittaa" ; ---- kirjoittaa koneella
-lin know_VS = mkVS (mkV "tietää") ;
-lin manager_N = mkkN "johtaja" ;
-lin oversleep_V = mkV "nukkua" ; ---- nukkua pommiin
-lin valid_A = mkA "pätevä" ;
-lin see_V2 = mkV2 (mkV "nähdä") ;
-lin bark_V = mkV "haukkua" ;
-lin go_V2 = mkV2 (mkV "mennä") illative ;
-lin brother_N = mkCN (mkN "veli" "veljen" "veljiä") ;
-lin mary_PN = mkPN "Mary" ; ----
-lin machine_N = mkkN "kone" ;
-lin correct_A = mkA "oikea" ;
-
-lin kilogram_Unit = mkkN "kilo" ;
-
-oper mkkN : Str -> CN = \n -> mkCN (ParadigmsFin.mk1N n) ;
-
-lin
-  in_Prep = SyntaxFin.in_Prep ;
-  at_Prep = casePrep adessive ;
-  into_Prep = casePrep illative ;
-
-}
diff --git a/examples/attempto/TestAttemptoFre.gf b/examples/attempto/TestAttemptoFre.gf
deleted file mode 100644
index 6d133ddba..000000000
--- a/examples/attempto/TestAttemptoFre.gf
+++ /dev/null
@@ -1,89 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoFre of TestAttempto = AttemptoFre ** 
-  open SyntaxFre, ParadigmsFre, IrregFre, (C = ConstructX) in {
-
-lin card_N = mkkN "carte" ;
-lin water_MCN = mkgN "eau" feminine ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkkN "pomme" ;
-lin sleep_V = mkV IrregFre.dormir_V2 ;
-lin young_A = mkA "jeune" ;
-lin dog_N = mkkN "chien" ;
-lin animal_N = mkkN "animal" ;
-lin wait_V = mkV "attendre" ;
-lin man_N = mkgN "homme" masculine ;
-lin woman_N = mkkN "femme" ;
-lin give_V3 = mkV3 (mkV "donner") accusative dative ;
-lin tired_A = mkA "fatigué" ;
-lin rich_A = mkA "riche" ;
-lin customer_N = mkkN "client" ;
-lin enter_V2 = mkV2 "entrer" ;
-lin bank_N = mkkN "banque" ;
-lin satisfied_A = mkA "content" ;
-lin lucky_A = mkA "fortuné" ;
-lin well_known_A = mkA "connu" ;
-lin important_A = mkA "important" ;
-lin expensive_A = mkA "cher" ;
-lin fill_in_V2 = mkV2 "remplir" ;
-lin form_N = mkgN "formulaire" masculine ;
-lin age_N = mkgN "âge" masculine ;
-lin teacher_N = mkkN "professeur" ;
-lin successful_A = mkA "réussi" ;
-lin fond_A2 = mkA2 (mkA "attaché") dative ;
-lin garden_N = mkkN "jardin" ;
-lin morning_N = mkkN "matin" ;
-lin code_N = mkgN "code" masculine ;
-lin drinkable_A = mkA "potable" ;
-lin work_V = mkV "travailler" ;
-lin admitted_A = mkA "admis" ;
-lin eat_V2 = mkV2 "manger" ;
-lin burger_N = mkkN "hamburger" ;
-lin earn_V2 = mkV2 "gagner" ;
-lin income_N = mkkN "revenu" ;
-lin england_PN = mkPN "Angleterre" ;
-lin beginning_N = mkkN "début" ;
-lin office_N = mkkN "bureau" ;
-lin interested_A2 = mkA2 (mkA "interessé") (mkPrep "par") ;
-lin classroom_N = mkkN "classe" ;
-lin manually_Adv = mkAdv "manuellement" ;
-lin slot_N = mkkN "trou" ;
-lin patiently_Adv = mkAdv "patiemment" ;
-lin course_N = mkkN "cours" ;
-lin carefully_Adv = mkAdv "soigneusement" ;
-lin time_N = mkkN "temps" ;
-lin believe_VS = mkVS (mkV croire_V2) ;
-lin seriously_Adv = mkAdv "sérieusement" ;
-lin clerk_N = mkkN "employé" ;
-lin screen_N = mkkN "écran" ;
-lin blink_V = mkV "clignoter" ;
-lin bed_N = mkkN "lit" ;
-lin container_N = mkkN "récipient" ;
-lin automated_teller_N = mkgN "automate" masculine ;
-lin reject_V2 = mkV2 "rejeter" ;
-lin accept_V2 = mkV2 "accepter" ;
-lin type_V2 = mkV2 "taper" ;
-lin know_VS = mkVS (mkV savoir_V2) ;
-lin manager_N = mkkN "directeur" ;
-lin oversleep_V = mkV dormir_V2 ; ----
-lin valid_A = mkA "valide" ;
-lin see_V2 = voir_V2 ;
-lin bark_V = mkV "aboyer" ;
-lin go_V2 = mkV2 aller_V dative ;
-lin brother_N = mkgN "frčre" masculine ;
-lin mary_PN = mkPN "Mary" ;
-lin machine_N = mkkN "machine" ;
-lin correct_A = mkA "correct" ;
-
-lin kilogram_Unit = mkkN "kilo" ;
-
-oper 
-  mkkN : Str -> CN = \n -> mkCN (ParadigmsFre.mkN n) ;
-  mkgN : Str -> Gender -> CN = \n,g -> mkCN (ParadigmsFre.mkN n g) ;
-
-lin
-  in_Prep = SyntaxFre.in_Prep ;
-  at_Prep = SyntaxFre.to_Prep ;
-  into_Prep = mkPrep "dans" ;
-
-}
diff --git a/examples/attempto/TestAttemptoGer.gf b/examples/attempto/TestAttemptoGer.gf
deleted file mode 100644
index 377903a98..000000000
--- a/examples/attempto/TestAttemptoGer.gf
+++ /dev/null
@@ -1,89 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoGer of TestAttempto = AttemptoGer ** 
-  open SyntaxGer, ParadigmsGer, IrregGer, (C = ConstructX) in {
-
-lin card_N = mkkN "Karte" ;
-lin water_MCN = mkgN "Wasser" "Wasser" neuter ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkgN "Apfel" "Äpfel" masculine ;
-lin sleep_V = IrregGer.schlafen_V ;
-lin young_A = mkA "jung" ;
-lin dog_N = mkgN "Hund" "Hunde" masculine ;
-lin animal_N = mkgN "Tier" "Tiere" neuter ;
-lin wait_V = mkV "warten" ;
-lin man_N = mkgN "Mann" "Männer" masculine ;
-lin woman_N = mkgN "Frau" "Frauen" feminine ;
-lin give_V3 = accdatV3 geben_V ;
-lin tired_A = mkA "müde" ;
-lin rich_A = mkA "reich" ;
-lin customer_N = mkgN "Kunde" "Kunden" masculine ;
-lin enter_V2 = mkV2 (mkV "ein" treten_V) (mkPrep "in" accusative) ;
-lin bank_N = mkgN "Bank" "Banken" feminine ;
-lin satisfied_A = mkA "zufrieden" ;
-lin lucky_A = mkA "glücklich" ;
-lin well_known_A = mkA "bekannt" ;
-lin important_A = mkA "wichtig" ;
-lin expensive_A = mkA "teuer" ;
-lin fill_in_V2 = mkV2 (mkV "ab" (mkV "füllen")) ;
-lin form_N = mkgN "Formular" "Formulare" neuter ;
-lin age_N = mkgN "Alter" "Älter" masculine ;
-lin teacher_N = mkgN "Lehrer" "Lehrer" masculine ;
-lin successful_A = mkA "erfolgreich" ;
-lin fond_A2 = mkA2 (mkA "verliebt") (mkPrep "in" dative) ;
-lin garden_N = mkgN "Garten" "Gärten" masculine ;
-lin morning_N = mkgN "Morgen" "Morgen" masculine ;
-lin code_N = mkgN "Code" "Codes" masculine ;
-lin drinkable_A = mkA "trinkbar" ;
-lin work_V = mkV "arbeiten" ;
-lin admitted_A = mkA "zugelassen" ;
-lin eat_V2 = mkV2 essen_V ;
-lin burger_N = mkgN "Hamburger" "Hamburger" masculine ;
-lin earn_V2 = mkV2 (no_geV (mkV "verdienen")) ;
-lin income_N = mkgN "Einkommen" "Einkommen" neuter ;
-lin england_PN = mkPN "England" ;
-lin beginning_N = mkgN "Anfang" "Anfänge" masculine ;
-lin office_N = mkgN "Büro" "Büros" neuter ;
-lin interested_A2 = mkA2 (mkA "interessiert") (mkPrep "an" dative) ; ----
-lin classroom_N = mkkN "Klasse" ;
-lin manually_Adv = mkAdv "manuell" ;
-lin slot_N = mkgN "Hohl" "Höhle" masculine ; ----
-lin patiently_Adv = mkAdv "geduldig" ;
-lin course_N = mkkN "Kurse" ; ----
-lin carefully_Adv = mkAdv "vorsichtig" ;
-lin time_N = mkgN "Zeit" "Zeiten" feminine ;
-lin believe_VS = mkVS (mkV "glauben") ;
-lin seriously_Adv = mkAdv "seriös" ; ----
-lin clerk_N = mkgN "Angestellt" "Angestellten" masculine ; ----
-lin screen_N = mkgN "Schirm" "Schirme" masculine ;
-lin blink_V = mkV "blinken" ; ----
-lin bed_N = mkgN "Bett" "Bette" neuter ;
-lin container_N = mkgN "Gehälter" "Gehälter" masculine ;
-lin automated_teller_N = mkgN "Automat" "Automate" neuter ;
-lin reject_V2 = mkV2 (mkV "verwerfen" "verwirft" "verwarf" "verwürfe" "verworfen") ;
-lin accept_V2 = mkV2 (mkV "an" nehmen_V) ;
-lin type_V2 = mkV2 schreiben_V ;
-lin know_VS = mkVS wissen_V ;
-lin manager_N = mkgN "Manager" "Manager" masculine ; ----
-lin oversleep_V = schlafen_V ; ----
-lin valid_A = mkA "gültig" ;
-lin see_V2 = mkV2 sehen_V ;
-lin bark_V = mkV "bellen" ;
-lin go_V2 = mkV2 gehen_V to_Prep ;
-lin brother_N = mkgN "Bruder" "Brüder" masculine ;
-lin mary_PN = mkPN "Mary" ;
-lin machine_N = mkkN "Maschine" ;
-lin correct_A = mkA "korrekt" ;
-
-lin kilogram_Unit = mkgN "Kilo" "Kilo" neuter ;
-
-oper 
-  mkkN : Str -> CN = \n -> mkCN (ParadigmsGer.mkN n) ;
-  mkgN : Str -> Str -> Gender -> CN = \s,n,g -> mkCN (ParadigmsGer.mkN s n g) ;
-
-lin
-  in_Prep = SyntaxGer.in_Prep ;
-  at_Prep = SyntaxGer.to_Prep ;
-  into_Prep = mkPrep "in" accusative ;
-
-}
diff --git a/examples/attempto/TestAttemptoIta.gf b/examples/attempto/TestAttemptoIta.gf
deleted file mode 100644
index bdbabe737..000000000
--- a/examples/attempto/TestAttemptoIta.gf
+++ /dev/null
@@ -1,89 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoIta of TestAttempto = AttemptoIta ** 
-  open SyntaxIta, ParadigmsIta, (C = ConstructX) in {
-
-lin card_N = mkkN "carta" ;
-lin water_MCN = mkgN "acqua" feminine ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkkN "mela" ;
-lin sleep_V = mkV "dormire" ;
-lin young_A = mkA "giovane" ;
-lin dog_N = mkkN "cane" ;
-lin animal_N = mkkN "animale" ;
-lin wait_V = mkV "aspettare" ;
-lin man_N = mkCN (mkN "uomo" "uomini" masculine) ;
-lin woman_N = mkkN "donna" ;
-lin give_V3 = mkV3 (mkV "dare") accusative dative ;
-lin tired_A = mkA "stanco" ;
-lin rich_A = mkA "ricco" ;
-lin customer_N = mkkN "cliente" ;
-lin enter_V2 = mkV2 "entrare" ;
-lin bank_N = mkkN "banco" ;
-lin satisfied_A = mkA "contento" ;
-lin lucky_A = mkA "fortunato" ;
-lin well_known_A = mkA "conosciuto" ;
-lin important_A = mkA "importante" ;
-lin expensive_A = mkA "caro" ;
-lin fill_in_V2 = mkV2 "riempire" ; ----
-lin form_N = mkkN "modulo" ;
-lin age_N = mkgN "etā" feminine ;
-lin teacher_N = mkkN "professore" ;
-lin successful_A = mkA "riuscito" ;
-lin fond_A2 = mkA2 (mkA "affezionato") dative ;
-lin garden_N = mkkN "giardino" ;
-lin morning_N = mkkN "mattino" ;
-lin code_N = mkgN "codice" masculine ;
-lin drinkable_A = mkA "potabile" ;
-lin work_V = mkV "lavorare" ;
-lin admitted_A = mkA "ammesso" ;
-lin eat_V2 = mkV2 "mangiare" ;
-lin burger_N = mkkN "hamburger" ;
-lin earn_V2 = mkV2 "guadagnare" ;
-lin income_N = mkkN "reddito" ;
-lin england_PN = mkPN "Inghilterra" ;
-lin beginning_N = mkkN "inizio" ;
-lin office_N = mkkN "ufficio" ;
-lin interested_A2 = mkA2 (mkA "interessato") (mkPrep "per") ;
-lin classroom_N = mkgN "classe" feminine ;
-lin manually_Adv = mkAdv "manualmente" ;
-lin slot_N = mkkN "slot" ;
-lin patiently_Adv = mkAdv "pazientemente" ;
-lin course_N = mkkN "corso" ;
-lin carefully_Adv = mkAdv "attentamente" ;
-lin time_N = mkkN "tempo" ;
-lin believe_VS = mkVS (mkV "credere") ; ----
-lin seriously_Adv = mkAdv "seriosamente" ;
-lin clerk_N = mkkN "impiegato" ;
-lin screen_N = mkkN "schermo" ;
-lin blink_V = mkV "lampeggiare" ; 
-lin bed_N = mkkN "letto" ;
-lin container_N = mkkN "recipiente" ;
-lin automated_teller_N = mkgN "bancomat" masculine ;
-lin reject_V2 = mkV2 "rifiutare" ;
-lin accept_V2 = mkV2 "accettare" ;
-lin type_V2 = mkV2 "digitare" ;
-lin know_VS = mkVS (mkV "sapere") ; ----
-lin manager_N = mkkN "direttore" ;
-lin oversleep_V = mkV "dormire" ; ----
-lin valid_A = mkA "valido" ;
-lin see_V2 = mkV2 (mkV "vedere") ; ----
-lin bark_V = mkV "abbaiare" ;
-lin go_V2 = mkV2 (mkV "viaggiare") dative ; ----
-lin brother_N = mkgN "fratello" masculine ;
-lin mary_PN = mkPN "Mary" ;
-lin machine_N = mkkN "macchina" ;
-lin correct_A = mkA "corretto" ;
-
-lin kilogram_Unit = mkkN "chilo" ;
-
-oper 
-  mkkN : Str -> CN = \n -> mkCN (ParadigmsIta.mkN n) ;
-  mkgN : Str -> Gender -> CN = \n,g -> mkCN (ParadigmsIta.mkN n g) ;
-
-lin
-  in_Prep = SyntaxIta.in_Prep ;
-  at_Prep = SyntaxIta.to_Prep ;
-  into_Prep = mkPrep "dentro" ;
-
-}
diff --git a/examples/attempto/TestAttemptoSwe.gf b/examples/attempto/TestAttemptoSwe.gf
deleted file mode 100644
index cda44bf51..000000000
--- a/examples/attempto/TestAttemptoSwe.gf
+++ /dev/null
@@ -1,87 +0,0 @@
---# -path=.:present
-
-concrete TestAttemptoSwe of TestAttempto = AttemptoSwe ** 
-  open SyntaxSwe, ParadigmsSwe, IrregSwe, (C = ConstructX) in {
-
-lin card_N = mkkN "kort" neutrum ;
-lin water_MCN = mkCN (mkN "vatten" "vattnet" "vatten" "vattnen") ;
-lin john_PN = mkPN "John" ;
-lin apple_N = mkkN "äpple" neutrum ;
-lin sleep_V = IrregSwe.sova_V ;
-lin young_A = mkA "ung" ;
-lin dog_N = mkkN "hund" utrum ;
-lin animal_N = mkkN "djur" neutrum ;
-lin wait_V = mkV "vänta" ;
-lin man_N = mkCN (mkN "man" "mannen" "män" "männen") ;
-lin woman_N = mkkN "kvinna" utrum ;
-lin give_V3 = mkV3 giva_V (mkPrep []) (mkPrep "till") ;
-lin tired_A = mkA "trött" ;
-lin rich_A = mkA "rik" ;
-lin customer_N = mkCN (mkN "kund" "kunder") ;
-lin enter_V2 = mkV2 (mkV (mkV "träder") "in") (mkPrep "i") ;
-lin bank_N = mkCN (mkN "bank" "banker") ;
-lin satisfied_A = mkA "nöjd" "nöjt" ;
-lin lucky_A = mkA "lycklig" ;
-lin well_known_A = mkA "välkänd" ;
-lin important_A = mkA "viktig" ;
-lin expensive_A = mkA "dyr" ;
-lin fill_in_V2 = mkV2 (mkV (mkV "fyller") "i") ;
-lin form_N = mkkN "formulär" neutrum ;
-lin age_N = mkkN "ålder" utrum ;
-lin teacher_N = mkkN "lärare" utrum ;
-lin successful_A = mkA "framgångsrik" ;
-lin fond_A2 = mkA2 (mkA "förtjust") (mkPrep "i") ;
-lin garden_N = mkkN "trädgård" utrum ;
-lin morning_N = mkCN (mkN "morgon" "morgonen" "morgnar" "morgnarna") ;
-lin code_N = mkCN (mkN "kod" "koder") ;
-lin drinkable_A = mkA "drickbar" ;
-lin work_V = mkV "arbeta" ;
-lin admitted_A = mkA "godkänd" ;
-lin eat_V2 = mkV2 äta_V ;
-lin burger_N = mkkN "hamburgare" utrum ;
-lin earn_V2 = mkV2 "tjäna" ;
-lin income_N = mkCN (mkN "inkomst" "inkomster") ;
-lin england_PN = mkPN "England" ;
-lin beginning_N = mkCN (mkN "början" "början" "början" "början") ;
-lin office_N = mkkN "kontor" neutrum ;
-lin interested_A2 = mkA2 (compoundA (mkA "intresserad" "intresserat")) (mkPrep "i") ;
-lin classroom_N = mkCN (mkN "klassrum" "klassrummet" "klassrum" "klassrummen") ;
-lin manually_Adv = mkAdv "manuellt" ;
-lin slot_N = mkkN "hål" neutrum ;
-lin patiently_Adv = mkAdv "tålamodigt" ;
-lin course_N = mkCN (mkN "kurs" "kurser") ;
-lin carefully_Adv = mkAdv "försiktigt" ;
-lin time_N = mkCN (mkN "tid" "tider") ;
-lin believe_VS = mkVS (mkV "tro") ;
-lin seriously_Adv = mkAdv "seriöst" ;
-lin clerk_N = mkCN (mkN "kontorist" "kontorister") ;
-lin screen_N = mkkN "skärm" neutrum ;
-lin blink_V = mkV "blinka" ;
-lin bed_N = mkkN "säng" utrum ;
-lin container_N = mkkN "behållare" utrum ;
-lin automated_teller_N = mkCN (mkN "automat" "automater") ;
-lin reject_V2 = mkV2 "förkasta" ;
-lin accept_V2 = mkV2 "acceptera" ;
-lin type_V2 = mkV2 skriva_V ; ----
-lin know_VS = mkVS veta_V ;
-lin manager_N = mkCN (mkN "chef" "chefer") ;
-lin oversleep_V = mkV "försova" "försov" "försovit" ;
-lin valid_A = mkA "giltig" ;
-lin see_V2 = mkV2 se_V ;
-lin bark_V = mkV "skäller" ;
-lin go_V2 = mkV2 gå_V to_Prep ;
-lin brother_N = mkCN (mkN "bror" "brodern" "bröder" "bröderna") ;
-lin mary_PN = mkPN "Mary" ;
-lin machine_N = mkCN (mkN "maskin" "maskiner") ;
-lin correct_A = mkA "korrekt" ;
-
-oper mkkN : Str -> Gender -> CN = \n,g -> mkCN (ParadigmsSwe.mkN n g) ;
-
-lin kilogram_Unit = mkCN (mkN "kilo" "kilot" "kilo" "kilon") ;
-
-lin
-  in_Prep = SyntaxSwe.in_Prep ;
-  at_Prep = mkPrep "på" ;
-  into_Prep = mkPrep "in i" ;
-
-}
diff --git a/examples/attempto/TestAttemptoUrd.gf b/examples/attempto/TestAttemptoUrd.gf
deleted file mode 100644
index 87e827842..000000000
--- a/examples/attempto/TestAttemptoUrd.gf
+++ /dev/null
@@ -1,89 +0,0 @@
---# -path=.:./present:c:/gf/lib/src/prelude:c:/gf/lib/src/abstract:c:/gf/lib/src/api:c:/gf/lib/src/urdu:c:/gf/lib/src/common 

-

-concrete TestAttemptoUrd of TestAttempto = AttemptoUrd ** 

---  open SyntaxUrd, ParadigmsUrd, IrregUrd, (C = ConstructX) in {

-open SyntaxUrd, ParadigmsUrd,  (C = ConstructX) in {

-

-lin card_N = mkkN "kard" ;

-lin water_MCN = mkCN (mkkN "pany") ;

-lin john_PN = mkPN "John" ;

-lin apple_N = mkkN "seb" ;

-lin sleep_V = mkV "swna" ;

-lin young_A = mkA "jwan" ;

-lin dog_N = mkkN "kta" ;

-lin animal_N = mkkN "janwr" ;

-lin wait_V = compoundV "antz-ar" (mkV "krna") ;

---lin man_N = mkCN (mkN "mrd" masculine) ;

-lin woman_N = mkCN (mkN "ewrt" feminine) ;

-lin give_V3 = mkV3 (mkV "dyna") "" "" ;

-lin tired_A = mkA "kh-ka" ;

-lin rich_A = mkA "amyr" ;

-lin customer_N = mkkN "gahk" ;

-lin enter_V2 = mkV2 (compoundV "daKl" (mkV "hwna")) "" ;

-lin bank_N = mkkN "bynk" ;

-lin satisfied_A = mkA "mt-mn" ;

-lin lucky_A = mkA "Kwx qsmt" ;

-lin well_known_A = mkA "mxhwr" ;

-lin important_A = mkA "ahm" ;

-lin expensive_A = mkA "mhnga" ;

-lin fill_in_V2 = mkV2 (mkV "bh-rna") "kw" ;

-lin form_N = mkkN "qsm" ;

-lin age_N = mkkN "emr" ;

-lin teacher_N = mkkN "astad" ;

-lin successful_A = mkA "kamyab" ;

---lin fond_A2 = mkA2 (mkA "fond") (mkPrep "of") ;

-lin garden_N = mkkN "baG" ;

-lin morning_N = mkkN "Sbh" ;

-lin code_N = mkkN "kwd" ;

-lin drinkable_A = mkA "drinkable" ;

-lin work_V = compoundV "kam" (mkV "krna") ;

-lin admitted_A = mkA "manna" ;

-lin eat_V2 = mkV2 (mkV "kh-ana") "" ;

-lin burger_N = mkkN "brgr" ;

-lin earn_V2 = mkV2 "kmana" ;

-lin income_N = mkkN "kmay" ;

-lin england_PN = mkPN "England" ;

-lin beginning_N = mkkN "AGaz" ;

-lin office_N = mkkN "dftr" ;

---lin interested_A2 = mkA2 (mkA "interested") (mkPrep "in") ;

---lin morning_N = mkkN "morning" ;

-lin classroom_N = mkkN "klas rwm" ;

-lin manually_Adv = mkAdv "Kwd" ;

-lin slot_N = mkkN "jgh" ;

-lin patiently_Adv = mkAdv "sbr sE" ;

-lin course_N = mkkN "kwrs" ;

-lin carefully_Adv = mkAdv "ahtyat sE" ;

-lin time_N = mkkN "wqt" ;

---lin believe_VS = mkVS (mkV "believe") ;

-lin seriously_Adv = mkAdv "twjh sE" ;

-lin clerk_N = mkkN "klrk" ;

-lin screen_N = mkkN "stryn" ;

-lin blink_V = mkV "cmkna" ;

-lin bed_N = mkkN "bstr" ;

-lin container_N = mkkN "kntynr" ;

-lin automated_teller_N = mkkN "Kwd bKwd" ;

-lin reject_V2 = mkV2 (mkV "rject") "kw" ;

-lin accept_V2 = mkV2 (compoundV "qbwl" (mkV "krna")) "" ;

-lin type_V2 = mkV2 (compoundV "typ2" (mkV "krna")) "" ;

---lin know_VS = mkVS IrregEng.know_V ;

-lin manager_N = mkkN "mnyjr" ;

---lin oversleep_V = mkV "oversleep" "overslept" "overslept" ;

-lin valid_A = mkA "lagw" ;

-lin see_V2 = mkV2 (mkV "dykh-na") "" ;

-lin bark_V = mkV "bh-wkna" ;

-lin go_V2 = mkV2 (mkV "jana") "" ;

-lin brother_N = mkkN "bh-ay" ;

-lin mary_PN = mkPN "mary" ;

-lin machine_N = mkkN "mxin" ;

-lin correct_A = mkA "SyH" ;

-

-lin kilogram_Unit = mkkN "klw gram" ;

-

-oper mkkN : Str -> CN = \n -> mkCN (ParadigmsUrd.mkN n) ;

-

-lin

-  in_Prep = mkPrep "myN" ;

-  at_Prep = mkPrep "pr" ;

-  into_Prep = mkPrep "myN" ;

-

-}