inform((_:search,type,'Taxi'))
user
Can you help me out with a taxi booking ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,leave_at,'18:15');(_:search,type,'Taxi'))
user
I need to leave after 18:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , no problem at all . What are your pickup and dropoff locations ?
inform((_:search,destination,'bridge guest house');(_:search,type,'Taxi'))
user
I need to be dropped off at bridge guest house .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where will you be picked up from ?
inform((_:search,departure,'the cambridge corn exchange');(_:search,type,'Taxi'))
user
I need to be picked up from The Cambridge Corn Exchange .
inform((_:result,car,'blue Toyota');(_:result,phone,'07852954476');(_:result,type,'Taxi')) reqmore()
system
Your taxi has been booked . Look for a blue Toyota . The contact number is 07852954476 . Anything else ?
thank()
user
No that 's all thank you Goodbye
system
You are very welcome . Please let us know if we can be of further assistance .
_:search type Taxi
_:search arrive_by ?
_:search leave_at 18:15
_:search type Taxi
_:search arrive_by ?
_:search leave_at 18:15
_:search departure ?
_:search destination bridge guest house
_:search type Taxi
_:search arrive_by ?
_:search leave_at 18:15
_:search destination bridge guest house
_:search departure the cambridge corn exchange
_:search type Taxi
_:search arrive_by ?
_:search leave_at 18:15
_:search destination bridge guest house
_:search departure the cambridge corn exchange
_:search type Taxi
_:result car blue Toyota
_:result phone 07852954476
_:result type Taxi
_:system inquired _:user