diff options
Diffstat (limited to 'next-lib/src/german/ExtGer.gf')
| -rw-r--r-- | next-lib/src/german/ExtGer.gf | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/next-lib/src/german/ExtGer.gf b/next-lib/src/german/ExtGer.gf deleted file mode 100644 index b87b483e6..000000000 --- a/next-lib/src/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"} ; --- ---} |
