inform((_:search,arrive_by,'06:45');(_:search,destination,'adc theatre');(_:search,type,'Taxi'))
user
I need to book a taxi to arrive by 06:45 to go to ADC Theatre .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Okay , what is your departure site ?
inform((_:search,departure,'wagamama');(_:search,type,'Taxi'))
user
I need to be picked up from Wagamama .
system
Booking completed ! 
 Booked car type 	 : 	 black lexus 
 Contact number 	 : 	 07069964497
_:search arrive_by 06:45
_:search destination adc theatre
_:search type Taxi
_:search arrive_by 06:45
_:search destination adc theatre
_:search departure wagamama
_:search type Taxi