inform((_:search,arrive_by,'01:30');(_:search,departure,'pizza hut cherry hinton');(_:search,type,'Taxi'))
user
i   want to book a taxi . The taxi should depart from pizza hut cherry hinton and should arrive by 01:30 .
request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Do you have a destination and time preference ?
inform((_:search,arrive_by,'01:30');(_:search,destination,'kohinoor');(_:search,type,'Taxi'))
user
Yes , I want to book so I can get to kohinoor by 01:30 .
inform((_:result,car,'red bmw');(_:result,phone,'07276200225');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 red bmw 
 Contact number 	 : 	 07276200225
bye()
user
Thanks so much ! I 'm all set for my trip now ! Bye !
system
Great , I 'm so glad to have helped ! Enjoy your day !
_:search arrive_by 01:30
_:search departure pizza hut cherry hinton
_:search type Taxi
_:search departure pizza hut cherry hinton
_:search leave_at ?
_:search arrive_by 01:30
_:search destination kohinoor
_:search type Taxi
_:search departure pizza hut cherry hinton
_:search leave_at ?
_:search arrive_by 01:30
_:search destination kohinoor
_:search type Taxi
_:result car red bmw
_:result phone 07276200225
_:result type Taxi
_:user dismissed _:system