-
Notifications
You must be signed in to change notification settings - Fork 0
/
output_a.txt
102 lines (102 loc) · 5.94 KB
/
output_a.txt
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
Grammar with 101 productions (start state = S[])
S[GAP=?f, SEM=<WHQUERY(?vp(?v,?f),?np,?whq(?f))>, VAR=?v] -> WHICH-QUERY[SEM=?whq] BUS-NP[SEM=?np, VAR=?f] BUS-VP[SEM=?vp, VAR=?v]
S[GAP='t1', SEM=<WHQUERY(?vp(?v,?f,t1),?np,?whq(t1))>, VAR=?v] -> TIME-QUERY[SEM=?whq] BUS-NP[SEM=?np, VAR=?f] BUS-VP[SEM=?vp, VAR=?v]
S[GAP=?r, SEM=<WHQUERY(?vp,?np,?whq(?f))>, VAR=?v] -> HOW-LONG-QUERY[SEM=?whq, VAR=?r] BUS-NP[SEM=?np, VAR=?f] BUS-VP[SEM=?vp, VAR=?v]
BUS-NP[SEM=<?det(?cnp)>, VAR=?v] -> DET[SEM=?det] BUS-CNP[SEM=?cnp, VAR=?v]
BUS-NP[SEM=?cnp, VAR=?v] -> BUS-CNP[SEM=?cnp, VAR=?v]
BUS-CNP[SEM=<(?cnp & ?dest(?v))>, VAR=?v] -> BUS-CNP[SEM=?cnp, VAR=?v] BUS-DEST[SEM=?dest]
BUS-CNP[SEM=<(?cnp & ?source(?v))>, VAR=?v] -> BUS-CNP[SEM=?cnp, VAR=?v] BUS-SOURCE[SEM=?source]
BUS-CNP[SEM=<(?cnp & ?x)>, VAR=?k] -> BUS-CNP[SEM=?cnp, VAR=?v] BUS-NAME-NP[SEM=?x, VAR=?k]
BUS-CNP[SEM=<?n(?v)>, VAR=?v] -> BUS-N[SEM=?n, VAR=?v]
BUS-TIME[SEM=<TIME(?v,?time)>, VAR=?v] -> TIME-MOD[SEM=?time, VAR=?v]
BUS-TIME[SEM=<TIME(?v,?time)>, VAR=?v] -> P-TIME[SEM=?p] TIME-MOD[SEM=?time, VAR=?v]
BUS-VP[SEM=<\r f t.?v(r,f,TIME(t))>, VAR=?r] -> BUS-V[SEM=?v, VAR=?r]
BUS-VP[SEM=<\r f.?v(r,f,?time)>, VAR=?r] -> BUS-V[SEM=?v, VAR=?r] BUS-TIME[SEM=?time]
BUS-VP[SEM=<?cvp>, VAR=?v] -> BUS-CVP[SEM=?cvp, VAR=?v]
BUS-CVP[SEM=<(?cvp & ?cvpp)>, VAR=?n] -> BUS-CVP[SEM=?cvp, VAR=?n] BUS-CVP[SEM=?cvpp, VAR=?k]
BUS-CVP[SEM=?cvp, VAR=?n] -> BUS-CVP-DEST[SEM=?cvp, VAR=?n]
BUS-CVP[SEM=?cvp, VAR=?n] -> BUS-CVP-SOURCE[SEM=?cvp, VAR=?n]
BUS-CVP-DEST[SEM=<(?v(?n) & ?dest(?v))>, VAR=?n] -> BUS-V[SEM=?v, VAR=?n] BUS-DEST[SEM=?dest]
BUS-CVP-SOURCE[SEM=<(?v(?n) & ?source(?v))>, VAR=?n] -> BUS-V[SEM=?v, VAR=?n] BUS-SOURCE[SEM=?source]
BUS-V[SEM=<\r f t.?v(r,f,t)>, VAR=?r] -> ARRIVE-V[SEM=?v, VAR=?r]
BUS-V[SEM=<\r f t.?v(r,f,t)>, VAR=?r] -> DEPARTURE-V[SEM=?v, VAR=?r]
ARRIVE-V[SEM=<\r f t.ARRIVE1(r,f,t)>, VAR=<a1>] -> 'arrives'
ARRIVE-V[SEM=<\r f t.ARRIVE1(r,f,t)>, VAR=<a1>] -> 'arrive'
DEPARTURE-V[SEM=<\r f t.DEPART1(r,f,t)>, VAR=<d1>] -> 'departs'
DEPARTURE-V[SEM=<\r f t.DEPART1(r,f,t)>, VAR=<d1>] -> 'depart'
CITY-NP[SEM=<NAME(?v,?x)>, VAR=?v] -> CITY-NAME[SEM=?x, VAR=?v] CITY-N[SEM=?n]
CITY-NP[SEM=<DET(?x)>, VAR=?v] -> DET[SEM=?det] CITY-N[SEM=?x, VAR=?v]
BUS-NAME-NP[SEM=<BUSNAME(?v,?x)>, VAR=?v] -> BUS-NAME[SEM=?x, VAR=?v]
BUS-SOURCE[SEM=<(\f.SOURCE(f)(?y))(?x)>, VAR=?y] -> 'from' CITY-NP[SEM=?x, VAR=?y]
BUS-DEST[SEM=<\f.DEST(f,?x)>, VAR=?y] -> 'to' CITY-NP[SEM=?x, VAR=?y]
BUS-DEST[SEM=<\f.DEST(f,?x)>, VAR=?y] -> 'for' CITY-NP[SEM=?x, VAR=?y]
BUS-DEST[SEM=<\f.DEST(f,?x)>, VAR=?y] -> 'in' CITY-NP[SEM=?x, VAR=?y]
TIME-QUERY[SEM=<\x.WH(x,WHAT1)>] -> 'What' 'time' 'does'
TIME-QUERY[SEM=<\x.WH(x,WHEN1)>] -> 'When' 'does'
WHICH-QUERY[SEM=<\x.WH(x,WHICH1)>] -> 'Which'
HOW-LONG-QUERY[SEM=<\x.WH(x,HOWLONG1)>, VAR=<r1>] -> 'How' 'long' 'does'
DET[SEM=<THE>] -> 'the'
BUS-N[SEM=<BUS1>, VAR=<f1>] -> 'bus'
BUS-N[SEM=<BUS1>, VAR=<f1>] -> 'buses'
P-TIME[SEM=<AT>] -> 'at'
P-TIME[SEM=<ON>] -> 'on'
P-TIME[SEM=<IN>] -> 'in'
CITY-NAME[SEM=<'HCMC'>, VAR=<h1>] -> 'Hồ' 'Chí' 'Minh'
CITY-NAME[SEM=<'HUE'>, VAR=<h2>] -> 'Huế'
CITY-NAME[SEM=<'DANANG'>, VAR=<h3>] -> 'Đà' 'Nẵng'
BUS-NAME[SEM=<'B1'>, VAR=<h4>] -> 'B1'
BUS-NAME[SEM=<'B2'>, VAR=<h5>] -> 'B2'
BUS-NAME[SEM=<'B3'>, VAR=<h6>] -> 'B3'
BUS-NAME[SEM=<'B4'>, VAR=<h7>] -> 'B4'
BUS-NAME[SEM=<'B5'>, VAR=<h8>] -> 'B5'
BUS-NAME[SEM=<'B6'>, VAR=<h9>] -> 'B6'
BUS-NAME[SEM=<'B7'>, VAR=<h10>] -> 'B7'
CITY-N[SEM=<CITY>, VAR=<c1>] -> 'city'
TIME-MOD[SEM=<0:00HR>, VAR=<t1>] -> '0:00HR'
TIME-MOD[SEM=<0:30HR>, VAR=<t1>] -> '0:30HR'
TIME-MOD[SEM=<1:00HR>, VAR=<t1>] -> '1:00HR'
TIME-MOD[SEM=<1:30HR>, VAR=<t1>] -> '1:30HR'
TIME-MOD[SEM=<2:00HR>, VAR=<t1>] -> '2:00HR'
TIME-MOD[SEM=<2:30HR>, VAR=<t1>] -> '2:30HR'
TIME-MOD[SEM=<3:00HR>, VAR=<t1>] -> '3:00HR'
TIME-MOD[SEM=<3:30HR>, VAR=<t1>] -> '3:30HR'
TIME-MOD[SEM=<4:00HR>, VAR=<t1>] -> '4:00HR'
TIME-MOD[SEM=<4:30HR>, VAR=<t1>] -> '4:30HR'
TIME-MOD[SEM=<05:00HR>, VAR=<t1>] -> '05:00HR'
TIME-MOD[SEM=<5:30HR>, VAR=<t1>] -> '5:30HR'
TIME-MOD[SEM=<6:00HR>, VAR=<t1>] -> '6:00HR'
TIME-MOD[SEM=<6:30HR>, VAR=<t1>] -> '6:30HR'
TIME-MOD[SEM=<7:00HR>, VAR=<t1>] -> '7:00HR'
TIME-MOD[SEM=<7:30HR>, VAR=<t1>] -> '7:30HR'
TIME-MOD[SEM=<8:00HR>, VAR=<t1>] -> '8:00HR'
TIME-MOD[SEM=<8:30HR>, VAR=<t1>] -> '8:30HR'
TIME-MOD[SEM=<9:00HR>, VAR=<t1>] -> '9:00HR'
TIME-MOD[SEM=<9:30HR>, VAR=<t1>] -> '9:30HR'
TIME-MOD[SEM=<10:00HR>, VAR=<t1>] -> '10:00HR'
TIME-MOD[SEM=<10:30HR>, VAR=<t1>] -> '10:30HR'
TIME-MOD[SEM=<11:00HR>, VAR=<t1>] -> '11:00HR'
TIME-MOD[SEM=<11:30HR>, VAR=<t1>] -> '11:30HR'
TIME-MOD[SEM=<12:00HR>, VAR=<t1>] -> '12:00HR'
TIME-MOD[SEM=<12:30HR>, VAR=<t1>] -> '12:30HR'
TIME-MOD[SEM=<13:00HR>, VAR=<t1>] -> '13:00HR'
TIME-MOD[SEM=<13:30HR>, VAR=<t1>] -> '13:30HR'
TIME-MOD[SEM=<14:00HR>, VAR=<t1>] -> '14:00HR'
TIME-MOD[SEM=<14:30HR>, VAR=<t1>] -> '14:30HR'
TIME-MOD[SEM=<15:00HR>, VAR=<t1>] -> '15:00HR'
TIME-MOD[SEM=<15:30HR>, VAR=<t1>] -> '15:30HR'
TIME-MOD[SEM=<16:00HR>, VAR=<t1>] -> '16:00HR'
TIME-MOD[SEM=<16:30HR>, VAR=<t1>] -> '16:30HR'
TIME-MOD[SEM=<17:00HR>, VAR=<t1>] -> '17:00HR'
TIME-MOD[SEM=<17:30HR>, VAR=<t1>] -> '17:30HR'
TIME-MOD[SEM=<18:00HR>, VAR=<t1>] -> '18:00HR'
TIME-MOD[SEM=<18:30HR>, VAR=<t1>] -> '18:30HR'
TIME-MOD[SEM=<19:00HR>, VAR=<t1>] -> '19:00HR'
TIME-MOD[SEM=<19:30HR>, VAR=<t1>] -> '19:30HR'
TIME-MOD[SEM=<20:00HR>, VAR=<t1>] -> '20:00HR'
TIME-MOD[SEM=<20:30HR>, VAR=<t1>] -> '20:30HR'
TIME-MOD[SEM=<21:00HR>, VAR=<t1>] -> '21:00HR'
TIME-MOD[SEM=<21:30HR>, VAR=<t1>] -> '21:30HR'
TIME-MOD[SEM=<22:00HR>, VAR=<t1>] -> '22:00HR'
TIME-MOD[SEM=<22:30HR>, VAR=<t1>] -> '22:30HR'
TIME-MOD[SEM=<23:00HR>, VAR=<t1>] -> '23:00HR'
TIME-MOD[SEM=<23:30HR>, VAR=<t1>] -> '23:30HR'