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

1 files changed, 26 insertions, 0 deletions

diff --git a/old-lib/resource/german/ExtGer.gf b/old-lib/resource/german/ExtGer.gf
new file mode 100644
index 000000000..b87b483e6
--- /dev/null
+++ b/old-lib/resource/german/ExtGer.gf
@@ -0,0 +1,26 @@
+--concrete ExtGer of ExtGerAbs = CatGer ** open ResGer in {
+--
+--  lincat
+--
+--    Aux = {s : Polarity => Str} ;
+--    
+--  lin
+-- 
+--    PredAux np aux vp = mkClause (np.s ! Nom) np.a {
+--      s = \\t,ant,b,ord,agr => 
+--        let 
+--          fin  = aux.s ! b ;
+--          vf : Str -> Str -> {fin, inf : Str} = \x,y -> 
+--            {fin = x ; inf = y} ;
+--        in
+--        case ant of {
+--          Simul => vf fin [] ;
+--          Anter => vf fin "have"
+--          } ;
+--      s2 = \\agr => infVP vp agr
+--      } ;
+--
+--    can_Aux  = {s = \\p => posneg p "can"} ; ---- cannt
+--    must_Aux = {s = \\p => posneg p "must"} ;
+--
+--}