inform((_:search,arrive_by,'20:00');(_:search,type,'Taxi'))
user
I need a taxi arriving by 20:00 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Okay , what is your departure site ?
inform((_:search,departure,'clare college');(_:search,type,'Taxi'))
user
I am leaving from clare college .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
And where will you be headed to ?
inform((_:search,destination,'parkside police station');(_:search,name,'Parkside Police Station');(_:search,type,'Police');(_:search,type,'Taxi'))
user
I need to get to the parkside police station . My boyfriend got himself arrested , again !
inform((_:result,car,'blue bmw');(_:result,phone,'07860072749');(_:result,type,'Taxi')) thank()
system
Oh dear ! I 'm sorry to hear that . I have booked a blue bmw for you . The number is 07860072749
thank()
user
Great , thanks for the help .
system
I 'm glad we could help .
_:search arrive_by 20:00
_:search type Taxi
_:search arrive_by 20:00
_:search departure clare college
_:search type Taxi
_:search arrive_by 20:00
_:search departure clare college
_:search destination parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:search arrive_by 20:00
_:search departure clare college
_:search destination parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:result car blue bmw
_:result phone 07860072749
_:result type Taxi