inform((_:search,leave_at,'03:00');(_:search,type,'Taxi'))
user
I need a taxi to leave after 03:00
request((_:search,departure,?);(_:search,type,'Taxi'))
system
What is your departure site ?
inform((_:search,departure,'anatolia');(_:search,type,'Taxi'))
user
I 'm departing from anatolia .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I 'd be happy to book that for you , what is your destination ?
inform((_:search,destination,'the cambridge corn exchange');(_:search,type,'Taxi'))
user
I need to get to the Cambridge Corn Exchange .
inform((_:result,car,'black volvo');(_:result,phone,'07025112262');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 black volvo 
 Contact number 	 : 	 07025112262
thank()
user
Thank you so much .
system
If that is all I can help you with , have a great day !
_:search leave_at 03:00
_:search type Taxi
_:search leave_at 03:00
_:search departure anatolia
_:search type Taxi
_:search leave_at 03:00
_:search departure anatolia
_:search destination the cambridge corn exchange
_:search type Taxi
_:search leave_at 03:00
_:search departure anatolia
_:search destination the cambridge corn exchange
_:search type Taxi
_:result car black volvo
_:result phone 07025112262
_:result type Taxi