From c5b963769539c8a7c9bd154585686d263c7d6d8a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 22 Dec 2010 14:11:55 +0000 Subject: removed GF/deprecated --- deprecated/old-lib/resource/german/ExtGer.gf | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 deprecated/old-lib/resource/german/ExtGer.gf (limited to 'deprecated/old-lib/resource/german/ExtGer.gf') diff --git a/deprecated/old-lib/resource/german/ExtGer.gf b/deprecated/old-lib/resource/german/ExtGer.gf deleted file mode 100644 index b87b483e6..000000000 --- a/deprecated/old-lib/resource/german/ExtGer.gf +++ /dev/null @@ -1,26 +0,0 @@ ---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"} ; --- ---} -- cgit v1.2.3