ExtAdvS in Pol

This commit is contained in:
aarne
2011-09-01 08:14:27 +00:00
parent 938662db44
commit c053e1f904

View File

@@ -74,6 +74,7 @@ lin
-- AdvS : Adv -> S -> S ; -- today, I will go home
AdvS adv s = { s = adv.s ++ s.s };
ExtAdvS adv s = { s = adv.s ++ "," ++ s.s };
-- SlashPrep : Cl -> Prep -> ClSlash ; -- (with whom) he walks
SlashPrep c p = { s=c.s; c=p };