inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi')) thank()
system
I can help with that ! What time would you need the taxi , and where are you headed ?
inform((_:search,destination,'clare college');(_:search,leave_at,'15:00');(_:search,type,'Taxi'))
user
To clare college around 15:00 , please
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like to leave from ?
inform((_:search,departure,'hamilton lodge');(_:search,type,'Taxi'))
user
From hamilton lodge . Can I get the car and contact number for that ?
inform((_:result,car,'black Honda');(_:result,departure,'Hamilton Lodge');(_:result,leave_at,'15:00');(_:result,phone,'07421449332');(_:result,type,'Taxi')) reqmore()
system
You taxi booking is a complete . A black Honda will pick you up at Hamilton Lodge by 15:00 . Their contact number is 07421449332 . Is there anything else today ?
thank()
user
That will be all , thank you .
bye()
system
thank you for choosing us
thank()
user
Thanks again for the help . Have a great day .
system
Thank you , you too .
_:search type Taxi
_:search departure ?
_:search destination clare college
_:search leave_at 15:00
_:search type Taxi
_:search destination clare college
_:search leave_at 15:00
_:search departure hamilton lodge
_:search type Taxi
_:search destination clare college
_:search leave_at 15:00
_:search departure hamilton lodge
_:search type Taxi
_:result car black Honda
_:result departure Hamilton Lodge
_:result leave_at 15:00
_:result phone 07421449332
_:result type Taxi
_:system inquired _:user
_:search destination clare college
_:search leave_at 15:00
_:search departure hamilton lodge
_:search type Taxi
_:result car black Honda
_:result departure Hamilton Lodge
_:result leave_at 15:00
_:result phone 07421449332
_:result type Taxi
_:system inquired _:user
_:system dismissed _:user