inform((_:search,destination,'the oak bistro');(_:search,type,'Taxi'))
user
Can you help me get a taxi to the oak bistro ?
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure ! When do you need to leave by ?
inform((_:search,arrive_by,'06:00');(_:search,leave_at,'dontcare');(_:search,type,'Taxi'))
user
I do n't care about that , I just need to arrive by 06:00 please .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
What is your departure site ?
inform((_:search,departure,'pizza hut city centre');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
pizza hut city centre and I need car type and contact number
inform((_:result,car,'grey skoda');(_:result,phone,'07695539890');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 grey skoda 
 Contact number 	 : 	 07695539890
thank()
user
Thank you , that 's all .
system
I 'm happy we could help ! Please call us again if we can help you in the future .
_:search destination the oak bistro
_:search type Taxi
_:search destination the oak bistro
_:search arrive_by 06:00
_:search leave_at dontcare
_:search type Taxi
_:search destination the oak bistro
_:search arrive_by 06:00
_:search leave_at dontcare
_:search departure pizza hut city centre
_:search type Taxi
_:result car ?
_:result type Taxi
_:search destination the oak bistro
_:search arrive_by 06:00
_:search leave_at dontcare
_:search departure pizza hut city centre
_:search type Taxi
_:result car grey skoda
_:result phone 07695539890
_:result type Taxi