diff options
Diffstat (limited to 'next-lib/src/arabic/ExtAra.gf')
| -rw-r--r-- | next-lib/src/arabic/ExtAra.gf | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/next-lib/src/arabic/ExtAra.gf b/next-lib/src/arabic/ExtAra.gf deleted file mode 100644 index 120c7caea..000000000 --- a/next-lib/src/arabic/ExtAra.gf +++ /dev/null @@ -1,26 +0,0 @@ -concrete ExtAra of ExtAraAbs = CatAra ** open ResAra 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 "هَثي" --- } ; --- s2 = \\agr => infVP vp agr --- } ; --- --- can_Aux = {s = \\p => posneg p "عَن"} ; ---- cannt --- must_Aux = {s = \\p => posneg p "مُست"} ; --- -} |
