summaryrefslogtreecommitdiff
path: root/next-lib/src/german/ExtGer.gf
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/german/ExtGer.gf')
-rw-r--r--next-lib/src/german/ExtGer.gf26
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"} ;
---
---}