inform((_:search,arrive_by,'21:15');(_:search,destination,'broxbourne train station');(_:search,type,'Taxi'))
user
I need a taxi to come to broxbourne train station by 21:15 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! Where are you coming from ?
inform((_:search,departure,'bankok city');(_:search,type,'Taxi'))
user
I am coming from bankok city .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Please confirm . Are you departing from broxbourne train station or bankok city ?
request((_:result,car,?);(_:result,type,'Taxi')) inform((_:search,departure,'bangkok city');(_:search,type,'Taxi'))
user
To be picked up from bangkok city , must arrive at the broxbourne train station by 21:15 . Please give me contact number and type of car as well .
inform((_:result,car,'blue lexus');(_:result,phone,'07268032250');(_:result,type,'Taxi')) reqmore()
system
Your booking is complete . A blue lexus will be picking you up . Their contact number is 07268032250 .   Anything else ?
thank()
user
That 's all . Thank you very much .
system
You are very welcome . Please let us know if we can be any further help .
_:search arrive_by 21:15
_:search destination broxbourne train station
_:search type Taxi
_:search arrive_by 21:15
_:search destination broxbourne train station
_:search departure bankok city
_:search type Taxi
_:search arrive_by 21:15
_:search destination ?
_:result car ?
_:result type Taxi
_:search departure bangkok city
_:search type Taxi
_:search arrive_by 21:15
_:search destination ?
_:search departure bangkok city
_:search type Taxi
_:result car blue lexus
_:result phone 07268032250
_:result type Taxi
_:system inquired _:user