inform((_:search,destination,'soul tree nightclub');(_:search,type,'Taxi'))
user
I 'd like to book a taxi to soul tree nightclub .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
It would be my pleasure to book that for you . What time would you like to leave or arrive ?
inform((_:search,leave_at,'15:30');(_:search,type,'Taxi'))
user
I want to leave after 15:30
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where should they pick you up from ?
inform((_:search,departure,'soul tree nightclub');(_:search,type,'Taxi'))
user
From the soul tree nightclub
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi')) inform((_:result,area,'same location');(_:result,type,'Hotel'))
system
I 'm confused you said your arriving and leaving from the same location ?
inform((_:search,destination,'tenpin');(_:search,type,'Taxi'))
user
I 'm sorry , I 'm going to tenpin .
inform((_:result,car,'red skoda');(_:result,phone,'07972444473');(_:result,type,'Taxi')) reqmore()
system
Booking completed ! Is there anything else I can help you with ? 
 Booked car type 	 : 	 red skoda 
 Contact number 	 : 	 07972444473
thank()
user
Great , thank you so much .
reqmore()
system
Do you need additional help today ?
thank()
user
No , that will be all . Thank you .
system
Okay , have a nice day .
_:search destination soul tree nightclub
_:search type Taxi
_:search destination soul tree nightclub
_:search arrive_by ?
_:search leave_at 15:30
_:search type Taxi
_:search destination soul tree nightclub
_:search arrive_by ?
_:search leave_at 15:30
_:search departure soul tree nightclub
_:search type Taxi
_:search arrive_by ?
_:search leave_at 15:30
_:search departure ?
_:result area same location
_:result type Hotel
_:search destination tenpin
_:search type Taxi
_:search arrive_by ?
_:search leave_at 15:30
_:search departure ?
_:result area same location
_:search destination tenpin
_:search type Taxi
_:result car red skoda
_:result phone 07972444473
_:result type Taxi
_:system inquired _:user
_:search arrive_by ?
_:search leave_at 15:30
_:search departure ?
_:result area same location
_:search destination tenpin
_:search type Taxi
_:result car red skoda
_:result phone 07972444473
_:result type Taxi
_:system inquired _:user