completed QuestionBul module

This commit is contained in:
krasimir
2008-02-22 14:10:50 +00:00
parent 038bb07c33
commit dd8331ce2b
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