inform((_:search,type,'Taxi'))
user
I need to book a taxi .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can help with that ? What are your departure and destination sites , and what time do you need it ?
inform((_:search,arrive_by,'14:15');(_:search,departure,'ely');(_:search,destination,'sidney sussex college');(_:search,type,'Taxi'))
user
I need to leave from ely and get to sidney sussex college by 14:15 .
inform((_:result,car,'blue honda');(_:result,phone,'07229655312');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 blue honda 
 Contact number 	 : 	 07229655312
thank()
user
Thanks so much ! That 'll be it for me for today .
system
Thank you for using the Cambridge TownInfo centre . We 're here 24/7 if you need help with anything else . Have a great day .
_:search type Taxi
_:search leave_at ?
_:search arrive_by 14:15
_:search departure ely
_:search destination sidney sussex college
_:search type Taxi
_:search leave_at ?
_:search arrive_by 14:15
_:search departure ely
_:search destination sidney sussex college
_:search type Taxi
_:result car blue honda
_:result phone 07229655312
_:result type Taxi