inform((_:search,departure,'london kings cross train station');(_:search,destination,'saigon city');(_:search,type,'Taxi'))
user
i need a taxi pick up at london kings cross train station going to saigon city
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok , what time do you want to leave by ?
inform((_:search,leave_at,'05:00');(_:search,type,'Taxi'))
user
I want to leave by 05:00 .
system
Booking completed ! 
 Booked car type 	 : 	 yellow bmw 
 Contact number 	 : 	 07229816957
_:search departure london kings cross train station
_:search destination saigon city
_:search type Taxi
_:search departure london kings cross train station
_:search destination saigon city
_:search leave_at 05:00
_:search type Taxi