forked from GitHub/gf-core
Some more Slash constructors
This commit is contained in:
@@ -17,6 +17,13 @@ concrete SentenceBul of Sentence = CatBul ** open Prelude, ResBul in {
|
|||||||
SlashV2 np v2 =
|
SlashV2 np v2 =
|
||||||
mkClause (np.s ! Nom) np.a (predV v2) ** {c2 = v2.c2} ;
|
mkClause (np.s ! Nom) np.a (predV v2) ** {c2 = v2.c2} ;
|
||||||
|
|
||||||
|
AdvSlash slash adv = {
|
||||||
|
s = \\t,a,b,o => slash.s ! t ! a ! b ! o ++ adv.s ;
|
||||||
|
c2 = slash.c2
|
||||||
|
} ;
|
||||||
|
|
||||||
|
SlashPrep cl prep = cl ** {c2 = prep.s} ;
|
||||||
|
|
||||||
EmbedS s = {s = "," ++ "֌" ++ s.s} ;
|
EmbedS s = {s = "," ++ "֌" ++ s.s} ;
|
||||||
EmbedQS qs = {s = qs.s ! QIndir} ;
|
EmbedQS qs = {s = qs.s ! QIndir} ;
|
||||||
|
|
||||||
@@ -26,4 +33,8 @@ concrete SentenceBul of Sentence = CatBul ** open Prelude, ResBul in {
|
|||||||
UseQCl t a p cl = {
|
UseQCl t a p cl = {
|
||||||
s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! q
|
s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! q
|
||||||
} ;
|
} ;
|
||||||
|
UseSlash t a p cl = {
|
||||||
|
s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! Main ;
|
||||||
|
c2 = cl.c2
|
||||||
|
} ;
|
||||||
}
|
}
|
||||||
Reference in New Issue
Block a user