inform((_:search,destination,'kohinoor');(_:search,type,'Taxi'))
user
Can you arrange for a taxi to bring me to kohinoor ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,arrive_by,'12:45');(_:search,type,'Taxi'))
user
I want to arrive no later than 12:45 please
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where would you like to be picked up from ?
inform((_:search,departure,'wandlebury country park');(_:search,type,'Taxi'))
user
I 'm leaving from wandlebury country park .
inform((_:result,car,'black volvo');(_:result,phone,'07270738865');(_:result,type,'Taxi'))
system
I have a black volvo coming to pick you up .   Their contact number is 07270738865 if you have any questions .   Thank you !
thank()
user
Thank you that is all I need today .
system
Enjoy your trip !
_:search destination kohinoor
_:search type Taxi
_:search destination kohinoor
_:search arrive_by 12:45
_:search type Taxi
_:search destination kohinoor
_:search arrive_by 12:45
_:search departure wandlebury country park
_:search type Taxi
_:search destination kohinoor
_:search arrive_by 12:45
_:search departure wandlebury country park
_:search type Taxi
_:result car black volvo
_:result phone 07270738865
_:result type Taxi