inform((_:search,arrive_by,'09:00');(_:search,destination,'riverboat georgina');(_:search,type,'Taxi'))
user
I need a taxi to arrive at 09:00 at the Riverboat Georgina .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can definitely help ! Where are you departing from ?
inform((_:search,departure,'riverboat georgina');(_:search,type,'Taxi'))
user
I 'm leaving from riverboat georgina .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I 'd love to help ! Where are you going ?
inform((_:search,destination,'pizza hut city centre');(_:search,type,'Taxi'))
user
My destination is pizza hut city centre .
inform((_:result,car,'red volkswagen');(_:result,type,'Taxi'))
system
Your booking is complete , a red volkswagen will pick you up .
thank()
user
Thank you , may I have the contact number ?
inform((_:result,phone,'07803183128');(_:result,type,'Taxi')) thank()
system
Sure ! The contact number is 07803183128 .
thank()
user
Thank you so much for your help !
reqmore()
system
Can I help you with anything else today ?
thank()
user
That 's all , thank you !
system
You 're welcome . Enjoy your meal !
_:search arrive_by 09:00
_:search destination riverboat georgina
_:search type Taxi
_:search arrive_by 09:00
_:search destination riverboat georgina
_:search departure riverboat georgina
_:search type Taxi
_:search arrive_by 09:00
_:search departure riverboat georgina
_:search destination pizza hut city centre
_:search type Taxi
_:search arrive_by 09:00
_:search departure riverboat georgina
_:search destination pizza hut city centre
_:search type Taxi
_:result car red volkswagen
_:result type Taxi
_:search arrive_by 09:00
_:search departure riverboat georgina
_:search destination pizza hut city centre
_:search type Taxi
_:result car red volkswagen
_:result phone 07803183128
_:result type Taxi
_:search arrive_by 09:00
_:search departure riverboat georgina
_:search destination pizza hut city centre
_:search type Taxi
_:result car red volkswagen
_:result phone 07803183128
_:result type Taxi
_:system inquired _:user