inform((_:search,destination,"little saint mary 's church");(_:search,leave_at,'05:45');(_:search,type,'Taxi'))
user
i   want to book a taxi . The taxi should go to little saint mary 's church and should leave after 05:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
What is your departure site ?
inform((_:search,departure,'el shaddai');(_:search,type,'Taxi')) request((_:result,phone,?);(_:result,type,'Taxi'))
user
I am departing from el shaddai . Can you provide me with   what car will be picking me up and contact number ?
inform((_:result,car,'black lexus');(_:result,phone,'07566754071');(_:result,type,'Taxi'))
system
Yes , it 's booked for you ! 
 Booked car type 	 : 	 black lexus 
 Contact number 	 : 	 07566754071
thank()
user
Thank you .   I think that is all I need today .
system
You 're welcome and thanks for using our help desk . Goodbye .
_:search destination little saint mary 's church
_:search leave_at 05:45
_:search type Taxi
_:search destination little saint mary 's church
_:search leave_at 05:45
_:search departure el shaddai
_:search type Taxi
_:result phone ?
_:result type Taxi
_:search destination little saint mary 's church
_:search leave_at 05:45
_:search departure el shaddai
_:search type Taxi
_:result car black lexus
_:result phone 07566754071
_:result type Taxi