inform((_:search,destination,'curry king');(_:search,type,'Taxi'))
user
You can help by getting me a taxi to curry king
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when you like to leave by ?
inform((_:search,leave_at,'02:30');(_:search,type,'Taxi'))
user
I 'd prefer to leave after 02:30
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can definitely help ! Where are you departing from ?
inform((_:search,departure,'holy trinity church');(_:search,type,'Taxi'))
user
I want to be picked up from holy trinity church
inform((_:result,car,'white lexus');(_:result,phone,'07229542563');(_:result,type,'Taxi')) reqmore()
system
Okay , I have a white lexus and the contact number is 07229542563 . Is there anything else you need today ?
bye()
user
Nothing else . You have been most helpful . Thank you and good bye .
system
Have a great day !
_:search destination curry king
_:search type Taxi
_:search destination curry king
_:search leave_at 02:30
_:search type Taxi
_:search destination curry king
_:search leave_at 02:30
_:search departure holy trinity church
_:search type Taxi
_:search destination curry king
_:search leave_at 02:30
_:search departure holy trinity church
_:search type Taxi
_:result car white lexus
_:result phone 07229542563
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system