forked from GitHub/gf-core
29 lines
691 B
Plaintext
29 lines
691 B
Plaintext
--# -path=.:../abstract:../common:../../prelude
|
|
|
|
concrete ExtRus of ExtRusAbs = CatRus ** open ResRus 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"} ;
|
|
--
|
|
}
|