next-lib renamed to lib, lib to old-lib

1 files changed, 0 insertions, 123 deletions

diff --git a/next-lib/src/finnish/VerbFin.gf b/next-lib/src/finnish/VerbFin.gf
deleted file mode 100644
index 7b9c36b4a..000000000
--- a/next-lib/src/finnish/VerbFin.gf
+++ /dev/null
@@ -1,123 +0,0 @@
---1 Verb Phrases in Finnish
-
-concrete VerbFin of Verb = CatFin ** open Prelude, ResFin in {
-
-  flags optimize=all_subs ;
-
-  lin
-    UseV = predV ;
-
-    SlashV2a v = predV v ** {c2 = v.c2} ;
-
-    Slash2V3 v np = 
-      insertObj 
-        (\\fin,b,_ => appCompl fin b v.c2 np) (predV v) ** {c2 = v.c3} ;
-    Slash3V3 v np = 
-      insertObj 
-        (\\fin,b,_ => appCompl fin b v.c3 np) (predV v) ** {c2 = v.c2} ;
-
-    ComplVV v vp = 
-      insertObj 
-        (\\_,b,a => infVP v.sc b a vp v.vi) 
-        (predV {s = v.s ; 
-                sc = case vp.sc of {
-                  NPCase Nom => v.sc ;   -- minun täytyy pestä auto
-                  c => c                 -- minulla täytyy olla auto
-                  } ;
-                qp = v.qp
-               }
-         ) ;
-
-    ComplVS v s  = insertExtrapos (etta_Conj ++ s.s) (predV v) ;
-    ComplVQ v q  = insertExtrapos (          q.s) (predV v) ;
-    ComplVA v ap = 
-      insertObj 
-        (\\_,b,agr => 
-           ap.s ! False ! (NCase agr.n (npform2case agr.n v.c2.c))) --- v.cs.s ignored
-        (predV v) ;
-
-    SlashV2S v s = 
-      insertExtrapos (etta_Conj ++ s.s) (predV v) ** {c2 = v.c2} ;
-    SlashV2Q v q = 
-      insertExtrapos (q.s) (predV v) ** {c2 = v.c2} ;
-    SlashV2V v vp = 
-      insertObj (\\_,b,a => infVP v.sc b a vp v.vi) (predV v) ** {c2 = v.c2} ;
-      ---- different infinitives
-    SlashV2A v ap = 
-      insertObj 
-        (\\fin,b,_ => 
-          ap.s ! False ! (NCase Sg (npform2case Sg v.c3.c))) ----agr to obj
-        (predV v) ** {c2 = v.c2} ;
-
-    ComplSlash vp np = insertObj (\\fin,b,_ => appCompl fin b vp.c2 np) vp ;
-
-    UseComp comp = 
-      insertObj (\\_,_ => comp.s) (predV (verbOlla ** {sc = NPCase Nom ; qp = "ko"})) ;
-
-    SlashVV v vp = 
-      insertObj 
-        (\\_,b,a => infVP v.sc b a vp v.vi) 
-        (predV {s = v.s ; 
-                sc = case vp.sc of {
-                  NPCase Nom => v.sc ;   -- minun täytyy pestä auto
-                  c => c                 -- minulla täytyy olla auto
-                  } ;
-                qp = v.qp
-               }
-         ) ** {c2 = vp.c2} ; ---- correct ??
-
-    SlashV2VNP v np vp = 
-      insertObj 
-        (\\fin,b,a => appCompl fin b v.c2 np ++ infVP v.sc b a vp v.vi) 
-          (predV v) ** {c2 = vp.c2} ;
-
-    AdvVP vp adv = insertObj (\\_,_,_ => adv.s) vp ;
-
-    AdVVP adv vp = insertObj (\\_,_,_ => adv.s) vp ;
-
-    ReflVP v = insertObj (\\fin,b,agr => appCompl fin b v.c2 (reflPron agr)) v ;
-
-    PassV2 v = let vp = predV v in {
-      s = \\_ => vp.s ! VIPass ;
-      s2 = \\_,_,_ => [] ;
-      ext = [] ;
-      qp = v.qp ;
-      sc = v.c2.c  -- minut valitaan ; minua rakastetaan ; minulle kuiskataan 
-      } ;          ---- talon valitaan: should be marked like inf.
-
-----b    UseVS, UseVQ = \v -> v ** {c2 = {s = [] ; c = NPAcc ; isPre = True}} ;
-
-    CompAP ap = {
-      s = \\agr => 
-          let
-            n = agr.n ; 
-            c = case agr.n of {
-              Sg => Nom ;  -- minä olen iso
-              Pl => Part   -- me olemme isoja
-              }            --- definiteness of NP ?
-          in ap.s ! False ! (NCase agr.n c)
-      } ;
-    CompNP np = {s = \\_ => np.s ! NPCase Nom} ;
-    CompAdv a = {s = \\_ => a.s} ;
-
-}
-
-
---2 The object case
---
--- The rules involved are ComplV2 and ComplVV above.
--- The work is done jointly in ResFin.infVP and appCompl. 
--- Cases to test: l -table (to see negated forms)
---```
---   minun täytyy ostaa auto
---   PredVP (UsePron i_Pron) (ComplVV must_VV 
---     (ComplV2 buy_V2 (DetCN (DetSg (SgQuant DefArt) NoOrd) (UseN car_N))))
---   minä tahdon ostaa auton
---   PredVP (UsePron i_Pron) (ComplVV want_VV 
---     (ComplV2 buy_V2 (DetCN (DetSg (SgQuant DefArt) NoOrd) (UseN car_N))))
---   minulla täytyy olla auto
---   PredVP (UsePron i_Pron) (ComplVV must_VV 
---     (ComplV2 have_V2 (DetCN (DetSg (SgQuant DefArt) NoOrd) (UseN car_N))))
---```
--- Unfortunately, there is no nice way to say "I want to have a car".
--- (Other than the paraphrases "I want a car" or "I want to own a car".)