inform((_:search,arrive_by,'21:00');(_:search,type,'Taxi'))
user
I need a taxi today arriving at 21:00 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I need a little more information .   Where are you leaving from ?
inform((_:search,departure,'whipple museum of the history of science');(_:search,type,'Taxi'))
user
Oh I 'm sorry - I need to be picked up at the whipple museum of the history of science .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is your destination ?
inform((_:search,destination,'restaurant two two');(_:search,type,'Taxi'))
user
I want to go to restaurant two two .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
And do you want to be picked up from whipple museum at 2100 or get to restaurant two two at 2100 ?
inform((_:search,arrive_by,'21:00');(_:search,destination,'Restaurant Two Two');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
I 'd like to arrive at Restaurant Two Two by 21:00 please .
inform((_:result,car,'grey lexus');(_:result,phone,'07398176919');(_:result,type,'Taxi'))
system
Great I have you booked in a grey lexus and the contact number is 07398176919 .
thank()
user
Great thanks ! That 's all I need .
system
Glad I could help . Let us know if there 's ever anything else we can help you with .
_:search arrive_by 21:00
_:search type Taxi
_:search arrive_by 21:00
_:search departure whipple museum of the history of science
_:search type Taxi
_:search arrive_by 21:00
_:search departure whipple museum of the history of science
_:search destination restaurant two two
_:search type Taxi
_:search departure ?
_:search leave_at ?
_:search arrive_by 21:00
_:search destination Restaurant Two Two
_:search type Restaurant
_:search type Taxi
_:search departure ?
_:search leave_at ?
_:search arrive_by 21:00
_:search destination Restaurant Two Two
_:search type Restaurant
_:search type Taxi
_:result car grey lexus
_:result phone 07398176919
_:result type Taxi