inform((_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I need a train to Kings Lynn .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you be wanting to travel ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
Friday please . From Cambridge leaving after 17:00
inform((_:result,day,'Friday');(_:result,leave_at,'17:00');(_:result,leave_at,'17:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The earliest train leaving after 17:00 on Friday leaves at 17:11 . Would you like me to book this train for you ?
request((_:result,id,?);(_:result,type,'Train'))
user
Can you give me the train ID on that one please ?
inform((_:result,id,'TR9226');(_:result,type,'Train'))
system
That would be TR9226
user
Book it , please . I need a single ticket .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'0UIC4MX9');(_:booking,type,'Booking'))
system
You have been booked for the train . Your reference number is 0UIC4MX9 . Can I help you with anything else ?
inform((_:search,area,'east');(_:search,food,'international');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in the east that serves international food .
reqmore() inform((_:result,name,'the missing sock');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The the missing sock fits that criteria and is in the cheap price range . How else can I assist you ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Is there one in the expensive ?
canthelp((_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'2');(_:result,food,'international');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
No . There are two moderately priced restaurants with international cuisine in the centre of town . Would you like to hear about those ?
inform((_:search,area,'east');(_:search,food,'gastropub');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hmmm .... how about an expensive restaurant serving gastropub food in the east ?
offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,type,'Restaurant'))
system
There 's one restaurant that fits your requests , would you like me to book a reservation ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No thank you . Can I have to phone number and postcode for that restaurant ?
inform((_:result,phone,'01223247877');(_:result,postcode,'cb13nl');(_:result,type,'Restaurant'))
system
The phone number is 01223247877 . It 's located in the cb13nl postcode .
thank()
user
Thank you so much . Have a nice day !
inform((_:result,name,'Royal Standard');(_:result,type,'Restaurant')) bye()
system
Have a great day as well .   I think you 'll love the Royal Standard .
thank()
user
Thanks again for the information !
thank()
system
Have a great time .
thank()
user
Thank you , goodbye .
system
Thank you for using our service .
_:search destination kings lynn
_:search type Train
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:search type Train
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:search type Train
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:search type Train
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR9226
_:result type Train
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:search area east
_:search food international
_:search type Restaurant
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:search area east
_:search food international
_:system inquired _:user
_:result name the missing sock
_:result pricerange cheap
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:system inquired _:user
_:result name the missing sock
_:system canthelp _:search/40a918ab
_:search/40a918ab type Restaurant
_:result area centre
_:result count 2
_:result food international
_:result pricerange moderately priced
_:result type Restaurant
_:search area east
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:system inquired _:user
_:result name the missing sock
_:system canthelp _:search/40a918ab
_:search/40a918ab type Restaurant
_:result area centre
_:result food international
_:result pricerange moderately priced
_:search area east
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:result count 1
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:system inquired _:user
_:result name the missing sock
_:system canthelp _:search/40a918ab
_:search/40a918ab type Restaurant
_:result area centre
_:result food international
_:result pricerange moderately priced
_:search area east
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:result count 1
_:result phone 01223247877
_:result postcode cb13nl
_:result type Restaurant
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:system inquired _:user
_:system canthelp _:search/40a918ab
_:search/40a918ab type Restaurant
_:result area centre
_:result food international
_:result pricerange moderately priced
_:search area east
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:result count 1
_:result phone 01223247877
_:result postcode cb13nl
_:result name Royal Standard
_:result type Restaurant
_:system dismissed _:user
_:search destination kings lynn
_:search day friday
_:search departure cambridge
_:search leave_at 17:00
_:result day Friday
_:result leave_at 17:00
_:result leave_at 17:11
_:system offered _:booking
_:result id TR9226
_:booking category Train
_:booking ref 0UIC4MX9
_:booking type Booking
_:system inquired _:user
_:system canthelp _:search/40a918ab
_:search/40a918ab type Restaurant
_:result area centre
_:result food international
_:result pricerange moderately priced
_:search area east
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:result count 1
_:result phone 01223247877
_:result postcode cb13nl
_:result name Royal Standard
_:result type Restaurant
_:system dismissed _:user