inform((_:search,departure,'golden wok');(_:search,type,'Taxi'))
user
I need a taxi departing from golden wok .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok , what time do you want to leave by ?
inform((_:search,leave_at,'17:30');(_:search,type,'Taxi'))
user
I 'd like to leave after 17:30 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where is your destination ?
inform((_:search,destination,'holy trinity church');(_:search,type,'Taxi'))
user
I 'm going to holy trinity church .
inform((_:result,car,'yellow skoda');(_:result,phone,'07866277583');(_:result,type,'Taxi'))
system
Alright , I have a yellow skoda for you and the contact number is 07866277583 .
thank() inform((_:search,car,'yellow skoda');(_:search,leave_at,'17:30');(_:search,type,'Taxi'))
user
I will look for the yellow skoda after 17:30 . Thanks for all your help .
reqmore()
system
You 're welcome . Is there anything else I can help you with today ?
user
not really . am good to go
system
Great ! Have a nice day !
_:search departure golden wok
_:search type Taxi
_:search departure golden wok
_:search leave_at 17:30
_:search type Taxi
_:search departure golden wok
_:search leave_at 17:30
_:search destination holy trinity church
_:search type Taxi
_:search departure golden wok
_:search destination holy trinity church
_:result car yellow skoda
_:result phone 07866277583
_:result type Taxi
_:search car yellow skoda
_:search leave_at 17:30
_:search type Taxi
_:search departure golden wok
_:search destination holy trinity church
_:result car yellow skoda
_:result phone 07866277583
_:result type Taxi
_:search car yellow skoda
_:search leave_at 17:30
_:search type Taxi
_:system inquired _:user