inform((_:search,destination,'cambridge lodge restaurant');(_:search,leave_at,'04:00');(_:search,type,'Taxi'))
user
I need a 04:00 taxi at the Cambridge Lodge Restaurant .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you leave from ?
inform((_:search,departure,'birmingham new street train station');(_:search,type,'Taxi'))
user
I 'm leaving from birmingham new street train station .
inform((_:result,car,'red lexus');(_:result,phone,'07427709999');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 red lexus 
 Contact number 	 : 	 07427709999
thank()
user
That is all I need , thank you !
system
You 're quite welcome . Thanks so much for using the Cambridge TownInfo Centre . Have a great day ! Goodbye .
_:search destination cambridge lodge restaurant
_:search leave_at 04:00
_:search type Taxi
_:search destination cambridge lodge restaurant
_:search leave_at 04:00
_:search departure birmingham new street train station
_:search type Taxi
_:search destination cambridge lodge restaurant
_:search leave_at 04:00
_:search departure birmingham new street train station
_:search type Taxi
_:result car red lexus
_:result phone 07427709999
_:result type Taxi