File size: 8,354 Bytes
784a7e2
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
> find the bookstore and then find the nelson fitness center
= f (bookstore & f (nelson fitness center))
<f (bookstore & f (nelson fitness center)) <EOS>

> stay on the angell st first find the bookstore and then find the chipotle
= g (angell st) & f (bookstore & f (chipotle))
<g (angell st) & f (bookstore & f (chipotle)) <EOS>

> do not enter angell st first find the barus building and then find the marston hall
= g (! angell st) & f (barus building & f (marston hall))
<g (! angell st) & f (barus building & f (marston hall)) <EOS>

> stay on the thayer st and find the chipotle
= g (thayer st) & f (chipotle)
<g (thayer st) & f (chipotle) <EOS>

> go to the citizen's bank and then go to the bookstore
= f (citizen's bank & f (bookstore))
<f (citizen's bank & f (bookstore)) <EOS>

> do not enter brook st first find the cvs and then find the chipotle
= g (! brook st) & f (cvs & f (chipotle))
<g (! brook st) & f (cvs & f (chipotle)) <EOS>

> do not enter thayer st and find the marston hall
= g (! thayer st) & f (marston hall)
<g (! thayer st) & f (marston hall) <EOS>

> do not enter brook st first find the bookstore and then find the chipotle
= g (! brook st) & f (bookstore & f (chipotle))
<g (! brook st) & f (bookstore & f (chipotle)) <EOS>

> do not enter brook st first find the starbucks and then find the bookstore
= g (! brook st) & f (starbucks & f (bookstore))
<g (! brook st) & f (starbucks & f (bookstore)) <EOS>

> stay on the thayer st first find the chipotle and then find the starbucks
= g (thayer st) & f (chipotle & f (starbucks))
<g (thayer st) & f (chipotle & f (starbucks)) <EOS>

> do not enter brook st first find the chipotle and then find the cvs
= g (! brook st) & f (chipotle & f (cvs))
<g (! brook st) & f (chipotle & f (cvs)) <EOS>

> go to the science library and then go to the watson center
= f (science library & f (watson center))
<f (science library & f (watson center)) <EOS>

> go to the cvs and then go to the bookstore
= f (cvs & f (bookstore))
<f (cvs & f (bookstore)) <EOS>

> go to the science library and then go to the chipotle
= f (science library & f (chipotle))
<f (science library & f (chipotle)) <EOS>

> find the barus building and then find the fedex office
= f (barus building & f (fedex office))
<f (barus building & f (fedex office)) <EOS>

> go to the science library and then go to the citizen's bank
= f (science library & f (citizen's bank))
<f (science library & f (citizen's bank)) <EOS>

> stay on the thayer st first find the bookstore and then find the chipotle
= g (thayer st) & f (bookstore & f (chipotle))
<g (thayer st) & f (bookstore & f (chipotle)) <EOS>

> go to the watson center and then go to the cvs
= f (watson center & f (cvs))
<f (watson center & f (cvs)) <EOS>

> go to the marston hall and then go to the nelson fitness center
= f (marston hall & f (nelson fitness center))
<f (marston hall & f (nelson fitness center)) <EOS>

> go to the chipotle and then go to the kabob and curry
= f (chipotle & f (kabob and curry))
<f (chipotle & f (kabob and curry)) <EOS>

> stay on the thayer st first find the cvs and then find the bookstore
= g (thayer st) & f (cvs & f (bookstore))
<g (thayer st) & f (cvs & f (bookstore)) <EOS>

> do not enter angell st and find the barus building
= g (! angell st) & f (barus building)
<g (! angell st) & f (barus building) <EOS>

> find the cvs and then find the starbucks
= f (cvs & f (starbucks))
<f (cvs & f (starbucks)) <EOS>

> go to the cvs and then go to the fedex office
= f (cvs & f (fedex office))
<f (cvs & f (fedex office)) <EOS>

> go to the science library and then go to the starbucks
= f (science library & f (starbucks))
<f (science library & f (starbucks)) <EOS>

> go to the barus building and then go to the chipotle
= f (barus building & f (chipotle))
<f (barus building & f (chipotle)) <EOS>

> do not enter brook st first find the bookstore and then find the chipotle
= g (! brook st) & f (bookstore & f (chipotle))
<g (! brook st) & f (bookstore & f (chipotle)) <EOS>

> find the fedex office and then find the chipotle
= f (fedex office & f (chipotle))
<f (fedex office & f (chipotle)) <EOS>

> do not enter brook st first find the bookstore and then find the starbucks
= g (! brook st) & f (bookstore & f (starbucks))
<g (! brook st) & f (bookstore & f (starbucks)) <EOS>

> find the citizen's bank and then find the kabob and curry
= f (citizen's bank & f (kabob and curry))
<f (citizen's bank & f (kabob and curry)) <EOS>

> do not enter angell st first find the watson center and then find the marston hall
= g (! angell st) & f (watson center & f (marston hall))
<g (! angell st) & f (watson center & f (marston hall)) <EOS>

> go to the barus building and then go to the marston hall
= f (barus building & f (marston hall))
<f (barus building & f (marston hall)) <EOS>

> find the kabob and curry and then find the citizen's bank
= f (kabob and curry & f (citizen's bank))
<f (kabob and curry & f (citizen's bank)) <EOS>

> do not enter angell st first find the citizen's bank and then find the watson center
= g (! angell st) & f (citizen's bank & f (watson center))
<g (! angell st) & f (citizen's bank & f (watson center)) <EOS>

> do not enter brook st and find the chipotle
= g (! brook st) & f (chipotle)
<g (! brook st) & f (chipotle) <EOS>

> find the fedex office and then find the marston hall
= f (fedex office & f (marston hall))
<f (fedex office & f (marston hall)) <EOS>

> go to the citizen's bank
= f (citizen's bank)
<f (citizen's bank) <EOS>

> stay on the thayer st first find the kabob and curry and then find the bookstore
= g (thayer st) & f (kabob and curry & f (bookstore))
<g (thayer st) & f (kabob and curry & f (bookstore)) <EOS>

> do not enter angell st first find the marston hall and then find the watson center
= g (! angell st) & f (marston hall & f (watson center))
<g (! angell st) & f (marston hall & f (watson center)) <EOS>

> find the science library and then find the fedex office
= f (science library & f (fedex office))
<f (science library & f (fedex office)) <EOS>

> do not leave the thayer st and find the chipotle
= g (thayer st) & f (chipotle)
<g (thayer st) & f (chipotle) <EOS>

> find the marston hall and then find the science library
= f (marston hall & f (science library))
<f (marston hall & f (science library)) <EOS>

> go to the watson center and then go to the nelson fitness center
= f (watson center & f (nelson fitness center))
<f (watson center & f (nelson fitness center)) <EOS>

> do not enter angell st first find the citizen's bank and then find the marston hall
= g (! angell st) & f (citizen's bank & f (marston hall))
<g (! angell st) & f (citizen's bank & f (marston hall)) <EOS>

> do not enter brook st first find the science library and then find the bookstore
= g (! brook st) & f (science library & f (bookstore))
<g (! brook st) & f (science library & f (bookstore)) <EOS>

> stay on the brook st and find the marston hall
= g (brook st) & f (marston hall)
<g (brook st) & f (marston hall) <EOS>

> go to the marston hall and then go to the cvs
= f (marston hall & f (cvs))
<f (marston hall & f (cvs)) <EOS>

> stay away from thayer st and find the barus building
= g (! thayer st) & f (barus building)
<g (! thayer st) & f (barus building) <EOS>

> do not enter brook st first find the bookstore and then find the chipotle
= g (! brook st) & f (bookstore & f (chipotle))
<g (! brook st) & f (bookstore & f (chipotle)) <EOS>

> do not enter brook st first find the chipotle and then find the bookstore
= g (! brook st) & f (chipotle & f (bookstore))
<g (! brook st) & f (chipotle & f (bookstore)) <EOS>

> stay away from thayer st and find the bookstore
= g (! thayer st) & f (bookstore)
<g (! thayer st) & f (bookstore) <EOS>

> go to the nelson fitness center and then go to the chipotle
= f (nelson fitness center & f (chipotle))
<f (nelson fitness center & f (chipotle)) <EOS>

> find the bookstore and then find the marston hall
= f (bookstore & f (marston hall))
<f (bookstore & f (marston hall)) <EOS>

> find the kabob and curry and then find the starbucks
= f (kabob and curry & f (starbucks))
<f (kabob and curry & f (starbucks)) <EOS>

> stay on the thayer st first find the kabob and curry and then find the cvs
= g (thayer st) & f (kabob and curry & f (cvs))
<g (thayer st) & f (kabob and curry & f (cvs)) <EOS>