-
Notifications
You must be signed in to change notification settings - Fork 0
/
samples.txt
62 lines (42 loc) · 1.24 KB
/
samples.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
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 : walk(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)
grab peter for ray
M : bring(peter,ray)