inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Is there any chinese food around me right now ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'17');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
Yes . there 's a total of 17 Chinese restaurants in town . Are you looking for a particular price range or specific part of town ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I 'd like something in the centre of town for a moderate price .
select((_:result,name,'jinling noodle bar');(_:result,name,'lan long house');(_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
We have jinling noodle bar , lan long house and shanghai family restaurant , any preferences ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant')) inform((_:search,name,'Shanghai Family');(_:search,type,'Restaurant'))
user
Let 's go with Shanghai Family .   What is the address , phone number and postcode ?
reqmore() inform((_:result,address,'39 Burleigh Street City Centre');(_:result,phone,'01223301761');(_:result,postcode,'cb11dg');(_:result,type,'Attraction'))
system
The address and postcode are 39 Burleigh Street City Centre , cb11dg . The phone number is 01223301761 . Do you need anything else ?
inform((_:search,day,'thursday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Yes , I 'm also looking for a train to London Kings Cross on Thursday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
OKay , what time are you going to depart ?
inform((_:search,arrive_by,'08:15');(_:search,type,'Train'))
user
I can depart anytime , but need to arrive by 08:15 please
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Would you like me to book that for you ?
inform((_:search,arrive_by,'08:15');(_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
What is the arrival time and the train i d for a train arriving closest to 08:15 in london kings cross from cambridge on thursday ?
inform((_:result,arrive_by,'7:51.will');(_:result,id,'TR8335');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8335 arrives at 7:51.Will this one work for you ?
thank()
user
yes , that will work . that s all the information i need . thanks . goodbye .
system
Thank you for contacting us and have a nice day .
_:search food chinese
_:search type Restaurant
_:search food chinese
_:result count 17
_:result food Chinese
_:result type Restaurant
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search food chinese
_:result count 17
_:result food Chinese
_:search area centre
_:search pricerange moderate
_:result name jinling noodle bar
_:result name lan long house
_:result name shanghai family restaurant
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search name Shanghai Family
_:search type Restaurant
_:search food chinese
_:result count 17
_:result food Chinese
_:search area centre
_:search pricerange moderate
_:result name jinling noodle bar
_:result name lan long house
_:result name shanghai family restaurant
_:search name Shanghai Family
_:system inquired _:user
_:result address 39 Burleigh Street City Centre
_:result phone 01223301761
_:result postcode cb11dg
_:result type Attraction
_:search day thursday
_:search destination london kings cross
_:search type Train
_:search food chinese
_:result count 17
_:result food Chinese
_:search area centre
_:search pricerange moderate
_:result name jinling noodle bar
_:result name lan long house
_:result name shanghai family restaurant
_:search name Shanghai Family
_:system inquired _:user
_:result address 39 Burleigh Street City Centre
_:result phone 01223301761
_:result postcode cb11dg
_:result type Attraction
_:search day thursday
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 08:15
_:search type Train
_:search food chinese
_:result count 17
_:result food Chinese
_:search area centre
_:search pricerange moderate
_:result name jinling noodle bar
_:result name lan long house
_:result name shanghai family restaurant
_:search name Shanghai Family
_:system inquired _:user
_:result address 39 Burleigh Street City Centre
_:result phone 01223301761
_:result postcode cb11dg
_:result type Attraction
_:search leave_at ?
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 08:15
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search food chinese
_:result count 17
_:result food Chinese
_:search area centre
_:search pricerange moderate
_:result name jinling noodle bar
_:result name lan long house
_:result name shanghai family restaurant
_:search name Shanghai Family
_:system inquired _:user
_:result address 39 Burleigh Street City Centre
_:result phone 01223301761
_:result postcode cb11dg
_:search leave_at ?
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 08:15
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:result arrive_by 7:51.will
_:result id TR8335
_:result type Train