inform((_:search,destination,'cambridge museum of technology');(_:search,type,'Taxi'))
user
help me get a taxi to the cambridge museum of technology please
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure . What is your departure site ?
inform((_:search,departure,'rice boat');(_:search,type,'Taxi'))
user
I 'll be departing from rice boat
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Okay . Can you give me a time that you 'd prefer to leave after or arrive by ?
inform((_:search,leave_at,'13:45');(_:search,type,'Taxi'))
user
Have the taxi leave after 13:45 please
system
Booking completed ! 
 Booked car type 	 : 	 white audi 
 Contact number 	 : 	 07774899596
_:search destination cambridge museum of technology
_:search type Taxi
_:search destination cambridge museum of technology
_:search departure rice boat
_:search type Taxi
_:search destination cambridge museum of technology
_:search departure rice boat
_:search arrive_by ?
_:search leave_at 13:45
_:search type Taxi