-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.txt
163 lines (114 loc) · 3.43 KB
/
test.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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
where is peter's office
M : speak_e(the(lambda x:e.(hasoffice(peter,x))))
speak_e(l3_508)
search ray's office for peter
M : searchroom(peter,the(lambda x:e.(hasoffice(ray,x))))
searchroom(peter,l3_512)
ask peter about ray
M : askperson(peter,ray)
askperson(peter,ray)
remind peter about the bwi meeting in jivko's office
M : remind(peter,bwi_m,the(lambda x:e.(hasoffice(jivko,x))))
remind(peter,bwi_m,l3_432)
is ray a person
M : speak_t(person(ray))
speak_t(True)
which is the group
M : speak_e(the(lambda x:e.(group(x))))
speak_e(bwi)
is shiqi a room
M : speak_t(room(shiqi))
speak_t(False)
check jivko's office for ray
M : searchroom(ray,the(lambda x:e.(hasoffice(jivko,x))))
searchroom(ray,l3_432)
is peter a room person
M : speak_t(and(room(peter),person(peter)))
speak_t(False)
which is peter's office
M : speak_e(the(lambda x:e.(hasoffice(peter,x))))
speak_e(l3_508)
bring peter to ray
M : bring(peter,ray)
bring(peter,ray)
bring peter ray
M : bring(ray,peter)
bring(ray,peter)
is 3512 ray's office
M : speak_t(equals(l3_512,the(lambda x:e.(hasoffice(peter,x)))))
speak_t(True)
walk to 3512
M : at(l3_512)
at(l3_512)
bring ray peter
M : bring(peter,ray)
fetch peter for ray
M : bring(peter,ray)
take ray to peter
M : bring(ray,peter)
bring peter ray
M : bring(ray,peter)
take ray peter
M : bring(peter,ray)
peter 's office
NP : the(lambda x:e.(and(office(x),possesses(peter,x))))
room 3506 is ray 's office
D : declare_equal(3506,the(lambda x:e.(and(office(x),possesses(ray,x)))))
is room 3506 ray 's office
I : equals(3506,the(lambda x:e.(and(office(x),possesses(ray,x)))))
walk to room 3506
M : at(3506)
bring the heavy blue object to ray
M : bring(the(lambda 1:e.(and(and(heavy(1),blue(1)),object(1)))),ray)
bring the yellow light object to ray
M : bring(the(lambda 1:e.(and(and(yellow(1),light(1)),object(1)))),ray)
fetch doctor stone for ray
M : bring(peter,ray)
the chair 's office
NP : the(lambda x:e.(and(office(x),possesses(bruce,x))))
bring peter to the chair
M : bring(peter, bruce)
bring doctor mooney to the chair
M : bring(ray, bruce)
fetch the chair for ray
M : bring(bruce, ray)
ray 's chair
NP : the(lambda x:e.(and(chair(x),possesses(ray,x))))
the chair 's chair
NP : the(lambda x:e.(and(chair(x),possesses(bruce,x))))
please bring peter to ray
M : bring(peter,ray)
bring ray to peter
M : bring(ray,peter)
bring peter to ray
M : bring(peter,ray)
bring ray to peter
M : bring(ray,peter)
please bring ray to peter
M : bring(ray,peter)
bring peter ray
M : bring(ray,peter)
bring ray peter
M : bring(peter,ray)
get peter to ray
M : bring(peter,ray)
grab ray for peter
M : bring(ray,peter)
peter 's office
NP : the(lambda x:e.(and(office(x),possesses(peter,x))))
room 3506 is ray 's office
D : declare_equal(3506,the(lambda x:e.(and(office(x),possesses(ray,x)))))
please grab peter for ray
M : bring(peter,ray)
is room 3506 ray 's office
I : equals(3506,the(lambda x:e.(and(office(x),possesses(ray,x)))))
walk to room 3506
M : at(3506)
walk to ray 's office or peter 's office
M : at(or_e(the(lambda x:e.(and(office(x),possesses(ray,x)))),the(lambda x:e.(and(office(x),possesses(peter,x))))))
bring the heavy blue object to ray
M : bring(the(lambda 1:e.(and(and(heavy(1),blue(1)),object(1)))),ray)
bring the blue heavy object to ray
M : bring(the(lambda 1:e.(and(and(blue(1),heavy(1)),object(1)))),ray)
bring the blue heavy yellow light object to ray
M : bring(the(lambda 1:e.(and(and(and(blue(1),heavy(1)),and(yellow(1),light(1))),object(1)))),ray)