inform((_:search,departure,'dojo noodle bar');(_:search,destination,'ugly duckling');(_:search,type,'Taxi'))
user
Hi .   Can you book me a taxi to the Ugly Duckling from Dojo Noodle Bar ?
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to leave , and what time do you want to arrive by ?
inform((_:search,arrive_by,'19:30');(_:search,type,'Taxi'))
user
The taxi needs to arrive by 19:30 .
inform((_:result,car,'red volkswagen');(_:result,phone,'07820586917');(_:result,type,'Taxi')) reqmore()
system
I have booked you a red volkswagen . The contact number is : 07820586917 . Can I help you with anything else today ?
thank()
user
Thanks , that 's everything .
system
Thank you for choosing us for your booking . Have a great day !
_:search departure dojo noodle bar
_:search destination ugly duckling
_:search type Taxi
_:search departure dojo noodle bar
_:search destination ugly duckling
_:search leave_at ?
_:search arrive_by 19:30
_:search type Taxi
_:search departure dojo noodle bar
_:search destination ugly duckling
_:search leave_at ?
_:search arrive_by 19:30
_:search type Taxi
_:result car red volkswagen
_:result phone 07820586917
_:result type Taxi
_:system inquired _:user