inform((_:search,arrive_by,'03:45');(_:search,destination,'a and b guest house');(_:search,type,'Taxi'))
user
I need a taxi to go to a and b guest house and arrive by 03:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Okay , I will just need your departure site first please
inform((_:search,departure,'all saints church');(_:search,type,'Taxi'))
user
I am leaving from all saints church .
system
Booking completed ! 
 Booked car type 	 : 	 white ford 
 Contact number 	 : 	 0701197295
_:search arrive_by 03:45
_:search destination a and b guest house
_:search type Taxi
_:search arrive_by 03:45
_:search destination a and b guest house
_:search departure all saints church
_:search type Taxi