inform((_:search,destination,'lensfield hotel');(_:search,type,'Taxi'))
user
I need a taxi to take me to the lensfield hotel .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
What is your departure site , and what time do you need the taxi ?
inform((_:search,departure,'tang chinese');(_:search,type,'Taxi'))
user
I will be departing from Tang Chinese .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Great . And do you have a departure or arrival time ?
inform((_:search,leave_at,'05:00');(_:search,type,'Taxi'))
user
I want to leave after 05:00 please .
inform((_:result,car,'yellow ford');(_:result,phone,'07421738274');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 yellow ford 
 Contact number 	 : 	 07421738274
thank()
user
Thanks for your help . Have a great day .
system
Happy to be of service . Have a great day !
_:search destination lensfield hotel
_:search type Taxi
_:search destination lensfield hotel
_:search leave_at ?
_:search departure tang chinese
_:search type Taxi
_:search destination lensfield hotel
_:search departure tang chinese
_:search arrive_by ?
_:search leave_at 05:00
_:search type Taxi
_:search destination lensfield hotel
_:search departure tang chinese
_:search arrive_by ?
_:search leave_at 05:00
_:search type Taxi
_:result car yellow ford
_:result phone 07421738274
_:result type Taxi