inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Where in the centre can I dine ? I want something expensive .
inform((_:result,food,'asian oriental');(_:result,name,'kymmoy');(_:result,type,'Restaurant'))
system
well then may I suggest kymmoy , they serve asian oriental and that 's where I go to dine
inform((_:search,food,'polish');(_:search,type,'Restaurant'))
user
Can you recommend a Polish restaurant instead ?
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Polish');(_:result,type,'Restaurant')) reqmore()
system
Unfortunately , we no longer have any Polish restaurants in town . The only one we had closed last month . Can I find something else for you ?
inform((_:search,food,'gastropub');(_:search,type,'Restaurant'))
user
How about one with gastropub food ?
select((_:result,name,'the backstreet bistro');(_:result,name,'the slug and lettuce');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
There are two options - the backstreet bistro and the slug and lettuce . Do either of those sound good to you ?
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant')) inform((_:search,name,'the slug and lettuce');(_:search,type,'Restaurant'))
user
Yes can you give me the address and phone number of the slug and lettuce ?
inform((_:result,address,'34 - 35 Green Street');(_:result,phone,"do n't have");(_:result,type,'Restaurant'))
system
Sure . I do n't have their telephone number but their address is 34 - 35 Green Street .
inform((_:search,arrive_by,'17:15');(_:search,day,'monday');(_:search,type,'Train'))
user
Thanks ! I also need a train arriving at 17:15 on Monday .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where you be departing from ?
inform((_:search,departure,'Longon Kings Cross');(_:search,type,'Train'))
user
I 'm departing from Longon Kings Cross .
inform((_:result,arrive_by,'16:08');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train that arrives at 16:08 . Would you like to book it ?
request((_:result,duration,?);(_:result,type,'Train'))
user
What 's the travel time on that train ?
inform((_:result,duration,'51 minutes');(_:result,type,'Train'))
system
The travel time is 51 minutes .
request((_:result,leave_at,?);(_:result,type,'Train'))
user
What time does it depart ?
inform((_:result,duration,'51 minutes');(_:result,type,'Train')) reqmore()
system
51 minutes is the length of the ride , anything else today ?
thank()
user
That will be all . Thank you .
inform((_:result,departure,'london kings cross');(_:result,leave_at,'15:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train departs from london kings cross at 15:17 . Do you want me to book the train for you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
No . I just need to know the departure time and how long it takes .
inform((_:result,duration,'51-minute');(_:result,leave_at,'15:17');(_:result,type,'Train')) reqmore()
system
It departs at 15:17 , and is a 51-minute ride . Can I help you with anything else ?
thank()
user
No , that is all for now . Thanks .
system
You 're welcome , have a great day .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result food asian oriental
_:result name kymmoy
_:result type Restaurant
_:search food polish
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result name kymmoy
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:result type Restaurant
_:system inquired _:user
_:search food gastropub
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:system inquired _:user
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:result type Restaurant
_:result address ?
_:result phone ?
_:search name the slug and lettuce
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:system inquired _:user
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:result type Restaurant
_:search arrive_by 17:15
_:search day monday
_:search type Train
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:system inquired _:user
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:result type Restaurant
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:system inquired _:user
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:result arrive_by 16:08
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:system inquired _:user
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:result arrive_by 16:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result type Train
_:result leave_at ?
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:result arrive_by 16:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:result duration 51 minutes
_:result type Train
_:system inquired _:user
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:result arrive_by 16:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:system inquired _:user
_:result departure london kings cross
_:result leave_at 15:17
_:result type Train
_:result leave_at ?
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/e2f58ccc
_:search/e2f58ccc type Restaurant
_:result food Polish
_:search food gastropub
_:result name the backstreet bistro
_:result name the slug and lettuce
_:result count 2
_:search name the slug and lettuce
_:result address 34 - 35 Green Street
_:result phone do n't have
_:search arrive_by 17:15
_:search day monday
_:search departure Longon Kings Cross
_:search type Train
_:result arrive_by 16:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure london kings cross
_:result duration 51-minute
_:result leave_at 15:17
_:result type Train
_:system inquired _:user