forked from GitHub/gf-rgl
plural articles in ResourceDemo
This commit is contained in:
@@ -127,7 +127,7 @@ fun
|
|||||||
ConjS : Conj -> S -> S -> S ;
|
ConjS : Conj -> S -> S -> S ;
|
||||||
ConjAP : Conj -> AP -> AP -> AP ;
|
ConjAP : Conj -> AP -> AP -> AP ;
|
||||||
ConjNP : Conj -> NP -> NP -> NP ;
|
ConjNP : Conj -> NP -> NP -> NP ;
|
||||||
a_Det, the_Det : Det ;
|
a_Det, the_Det, aPl_Det, thePl_Det : Det ;
|
||||||
this_Det, these_Det : Det ;
|
this_Det, these_Det : Det ;
|
||||||
that_Det, those_Det : Det ;
|
that_Det, those_Det : Det ;
|
||||||
possDet : Pron -> Det ;
|
possDet : Pron -> Det ;
|
||||||
|
|||||||
@@ -131,6 +131,8 @@ lin
|
|||||||
ConjNP co x y = mkNP co x y ;
|
ConjNP co x y = mkNP co x y ;
|
||||||
a_Det = mkDet a_Quant ;
|
a_Det = mkDet a_Quant ;
|
||||||
the_Det = mkDet the_Quant ;
|
the_Det = mkDet the_Quant ;
|
||||||
|
aPl_Det = mkDet a_Quant plNum ;
|
||||||
|
thePl_Det = mkDet the_Quant plNum ;
|
||||||
this_Det = S.this_Det ;
|
this_Det = S.this_Det ;
|
||||||
these_Det = S.these_Det ;
|
these_Det = S.these_Det ;
|
||||||
that_Det = S.that_Det ;
|
that_Det = S.that_Det ;
|
||||||
|
|||||||
Reference in New Issue
Block a user