inform((_:search,area,'centre');(_:search,food,'polish');(_:search,type,'Restaurant'))
user
There are n't any Polish restaurants in the centre , are there ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
Sorry there is not . How about another choice of food ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
how about chinese ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
We have many Chinese restaurants ! What 's your price range ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
I 'm not fussy about price , pick one for me and give me the address please , I 'm starving !
offer((_:booking,type,'Booking')) inform((_:result,address,'88 Mill Road City Centre');(_:result,name,'Rice house');(_:result,type,'Restaurant'))
system
Rice house is located at 88 Mill Road City Centre . Would you like for me to book a reservation ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
Just the address is all I needed for now . But could you also help me find a train ?
reqmore()
system
Definitely ! Can you give me some more specifics so I can help ?
inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am going to London kings cross .
request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
And what is your arrival destination and time of travel ?
inform((_:search,arrive_by,'19:45');(_:search,departure,'cambridge');(_:search,destination,'London kings cross');(_:search,type,'Train'))
user
Leaving Cambridge to   London kings cross and arrive by 19:45 .
request((_:search,day,?);(_:search,type,'Train'))
system
Ok , on what day will that be ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I need to leave on Tuesday .
inform((_:result,arrive_by,'13:51');(_:result,id,'TR0315');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0315 arrives at 13:51 . is that fine with you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
what is its departure time ?
inform((_:result,departure,'Cambridge');(_:result,leave_at,'13:00');(_:result,type,'Train'))
system
It leaves Cambridge at 13:00 .
inform((_:search,arrive_by,'19:45');(_:search,type,'Train'))
user
Time I leave does not matter I just need it to arrive by 19:45 .
inform((_:result,arrive_by,'17:51');(_:result,day,'Tuesday');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,leave_at,'17:00');(_:result,type,'Train'))
system
I have a train departing Cambridge at 17:00 and arriving at London Kings Cross at 17:51 . I do n't have a later arrival time on Tuesday , unfortunately .
request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
Alright . Could you please provide me with the train ID and the travel time ?
inform((_:result,arrive_by,'17:51');(_:result,departure,'cambridge');(_:result,destination,'London Kings Cross');(_:result,duration,'51 minutes');(_:result,id,'TR0945');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
That is TR0945 . The train departs cambridge at 17:00 and arrives in London Kings Cross at 17:51 . The travel time is 51 minutes . Can I book it for you ?
thank()
user
No . thanks . I do n't need to book it right now .
reqmore()
system
Is there anything else I can help you with today ?
thank()
user
No , thank you . I have everything I need . Goodbye .
system
Great ! Thank you for calling and have a great trip ! Goodbye .
_:search area centre
_:search food polish
_:search type Restaurant
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search type Restaurant
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:search type Restaurant
_:result amount many
_:result food Chinese
_:result type Restaurant
_:result address ?
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:search type Restaurant
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result type Restaurant
_:result address ?
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result type Restaurant
_:result address ?
_:system inquired _:user
_:search destination london kings cross
_:search type Train
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result type Restaurant
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 19:45
_:search departure cambridge
_:search destination London kings cross
_:search type Train
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result type Restaurant
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 19:45
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:search type Train
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 19:45
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:search type Train
_:result arrive_by 13:51
_:result id TR0315
_:result type Train
_:booking category Train
_:result leave_at ?
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:result arrive_by 13:51
_:result id TR0315
_:booking category Train
_:result departure Cambridge
_:result leave_at 13:00
_:result type Train
_:search arrive_by 19:45
_:search type Train
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:result id TR0315
_:booking category Train
_:search arrive_by 19:45
_:search type Train
_:result arrive_by 17:51
_:result day Tuesday
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 17:00
_:result type Train
_:result duration ?
_:result id ?
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result address ?
_:system inquired _:user
_:search leave_at ?
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:booking category Train
_:search arrive_by 19:45
_:search type Train
_:result day Tuesday
_:result arrive_by 17:51
_:result departure cambridge
_:result destination London Kings Cross
_:result duration 51 minutes
_:result id TR0945
_:result leave_at 17:00
_:result type Train
_:search area centre
_:system canthelp _:search/a1274dc6
_:search/a1274dc6 type Restaurant
_:search food chinese
_:search pricerange ?
_:result amount many
_:result food Chinese
_:system offered _:booking
_:booking type Booking
_:result address 88 Mill Road City Centre
_:result name Rice house
_:result address ?
_:search leave_at ?
_:search departure cambridge
_:search destination London kings cross
_:search day tuesday
_:booking category Train
_:search arrive_by 19:45
_:search type Train
_:result day Tuesday
_:result arrive_by 17:51
_:result departure cambridge
_:result destination London Kings Cross
_:result duration 51 minutes
_:result id TR0945
_:result leave_at 17:00
_:result type Train
_:system inquired _:user