blob: 7a00e67db224ac60c33b0138e6e3b4e39c53f96d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
incomplete concrete DialogueI of Dialogue = open Lang, Prelude in {
lincat
Move = Phr ;
Action = {s : ActType => Str} ;
Kind = CN ;
Object = NP ;
Oper0 = V ;
Oper1 = V2 ;
Oper2 = V3 ;
lin
MRequest a = ss (a.s ! ARequest) ;
MAnswer a = ss (a.s ! AAnswer) ;
MQuery k =
PhrUtt NoPConj (UttQS (UseQCl TPres ASimul PPos
(ExistIP (IDetCN whichPl_IDet NoNum NoOrd k)))) NoVoc ;
AOper0 op = mkAction (UseV op) ;
AOper1 _ op x = mkAction (ComplV2 op x) ;
AOper2 _ _ op x y = mkAction (ComplV3 op x y) ;
OAll k = PredetNP all_Predet (DetCN (DetPl (PlQuant IndefArt) NoNum NoOrd) k) ;
OIndef k = DetCN (DetSg (SgQuant IndefArt) NoOrd) k ;
ODef k = DetCN (DetSg (SgQuant DefArt) NoOrd) k ;
param
ActType = ARequest | AAnswer ; -- and some others
oper
-- this should perhaps be language dependent - but at least these
-- variants seem to make sense in all languages
mkAction : VP -> {s : ActType => Str} = \vp -> {
s = table {
ARequest => variants {
aImp vp ;
aImpPlease vp ;
aWant vp ;
aCanYou vp
} ;
AAnswer => variants {
aInf vp
}
}
} ;
aImp : VP -> Str = \vp ->
(PhrUtt NoPConj (UttImpPl PPos (ImpVP vp)) NoVoc).s ;
aImpPlease : VP -> Str = \vp ->
(PhrUtt NoPConj (UttImpPl PPos (ImpVP vp)) please_Voc).s ;
aWant : VP -> Str = \vp ->
(PhrUtt NoPConj (UttS (UseCl TPres ASimul PPos (PredVP (UsePron i_Pron)
(ComplVV want_VV vp)))) NoVoc).s ;
aCanYou : VP -> Str = \vp ->
(PhrUtt NoPConj (UttQS (UseQCl TPres ASimul PPos (QuestCl (PredVP
(UsePron youSg_Pron) (ComplVV can_VV vp))))) NoVoc).s ;
aInf : VP -> Str = \vp ->
(PhrUtt NoPConj (UttVP vp) NoVoc).s ;
}
|
