1
0
forked from GitHub/gf-rgl

completed QuestionBul module

This commit is contained in:
krasimir
2008-02-22 14:10:50 +00:00
parent df7dce5d61
commit cb5d1bc735
3 changed files with 22 additions and 14 deletions

View File

@@ -21,7 +21,7 @@ concrete SentenceBul of Sentence = CatBul ** open Prelude, ResBul in {
EmbedQS qs = {s = qs.s ! QIndir} ;
UseCl t a p cl = {
s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! ODir
s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! Main
} ;
UseQCl t a p cl = {
s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! q