inform((_:search,has_internet,'yes');(_:search,stars,'five');(_:search,type,'Hotel'))
user
I am looking for hotel with a star five rating and free wifi
canthelp((_:search,type,'Hotel'))
system
We do n't have any that match that criteria . Would you like to widen your preferences ?
inform((_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
How many stars do the expensive places have ?
offer((_:booking,type,'Booking')) inform((_:result,amount,'both');(_:result,name,'huntingdon marriott hotel');(_:result,name,'university arms hotel');(_:result,stars,'4');(_:result,type,'Hotel'))
system
huntingdon marriott hotel and university arms hotel both have 4 stars .   Would you like to book one of these ?
inform((_:search,name,'university arms hotel');(_:search,type,'Hotel'))
user
Sure , lets try the University Arms Hotel .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
Ok , how many nights would you like to book ?
request((_:result,address,?);(_:result,type,'Hotel'))
user
No , I do n't need to book a room , I just need the address please .
inform((_:result,address,'Regent street');(_:result,name,'University Arms Hotel');(_:result,postcode,'cb21ad');(_:result,type,'Hotel'))
system
Certainly . The University Arms Hotel is located on Regent street and their postcode is cb21ad . Is that all ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
No , I also need a train leaving cambridge monday going to kings lynn please .
inform((_:result,count,'19');(_:result,day,'Monday');(_:result,departure,'Cambridge');(_:result,destination,'Kings Lynn');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have found 19 trains going from Cambridge to Kings Lynn on Monday . What time would you like to depart ?
inform((_:search,arrive_by,'9:45');(_:search,day,'monday');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I need to be in kings lynn by 9:45 on monday .
inform((_:result,arrive_by,'8:58AM');(_:result,departure,'Cambridge');(_:result,destination,'Kings Lynn');(_:result,id,'TR3596');(_:result,leave_at,'8:11AM');(_:result,ticket,'9.80 Pounds');(_:result,type,'Train'))
system
I have found you a train leaving Cambridge at 8:11AM and arriving in Kings Lynn at 8:58AM . The train ticket costs 9.80 Pounds and the Train ID is TR3596 .
inform((_:search,people,'1');(_:search,type,'Train'))
user
Could you make me a booking for 1 ?
inform((_:booking,category,'Train');(_:booking,departure,'Kings Lynn');(_:booking,id,'TR3596');(_:booking,leave_at,'811');(_:booking,people,'1');(_:booking,ticket,'9.8 GBP');(_:booking,type,'Booking'))
system
A booking for 1 on TR3596 departing Kings Lynn at 811 has been made . You can pay the 9.8 GBP at the station .
request((_:result,ref,?);(_:result,type,'Train'))
user
May I have the reference number for the booking please ?
offer((_:booking,category,'Train');(_:booking,ref,'5MPLUDS6');(_:booking,type,'Booking')) reqmore()
system
your booking code is 5MPLUDS6 . can i help you with anything else ?
thank()
user
That 's everything , thank you !
system
It was my pleasure . Let me know if you need anything else , I 'm happy to help !
_:search has_internet yes
_:search stars five
_:search type Hotel
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:search type Hotel
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result amount both
_:result name huntingdon marriott hotel
_:result name university arms hotel
_:result stars 4
_:result type Hotel
_:search name university arms hotel
_:search type Hotel
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result name huntingdon marriott hotel
_:result name university arms hotel
_:result stars 4
_:result type Hotel
_:search name university arms hotel
_:search type Hotel
_:booking stay ?
_:booking type Booking
_:result address ?
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result stars 4
_:search name university arms hotel
_:booking stay ?
_:booking type Booking
_:result address Regent street
_:result name University Arms Hotel
_:result postcode cb21ad
_:result type Hotel
_:search day monday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result stars 4
_:search name university arms hotel
_:booking stay ?
_:booking type Booking
_:result address Regent street
_:result name University Arms Hotel
_:result postcode cb21ad
_:search departure cambridge
_:result count 19
_:result day Monday
_:result departure Cambridge
_:result destination Kings Lynn
_:result type Train
_:search leave_at ?
_:search arrive_by 9:45
_:search day monday
_:search destination kings lynn
_:search type Train
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result stars 4
_:search name university arms hotel
_:booking stay ?
_:booking type Booking
_:result address Regent street
_:result name University Arms Hotel
_:result postcode cb21ad
_:search departure cambridge
_:result count 19
_:result day Monday
_:search leave_at ?
_:search arrive_by 9:45
_:search day monday
_:search destination kings lynn
_:result arrive_by 8:58AM
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR3596
_:result leave_at 8:11AM
_:result ticket 9.80 Pounds
_:result type Train
_:search people 1
_:search type Train
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result stars 4
_:search name university arms hotel
_:booking stay ?
_:result address Regent street
_:result name University Arms Hotel
_:result postcode cb21ad
_:search departure cambridge
_:result count 19
_:result day Monday
_:search leave_at ?
_:search arrive_by 9:45
_:search day monday
_:search destination kings lynn
_:result arrive_by 8:58AM
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR3596
_:result leave_at 8:11AM
_:result ticket 9.80 Pounds
_:result type Train
_:search people 1
_:search type Train
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR3596
_:booking leave_at 811
_:booking people 1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result ref ?
_:search has_internet yes
_:search stars five
_:system canthelp _:search/0e4ae8c3
_:search/0e4ae8c3 type Hotel
_:search pricerange expensive
_:system offered _:booking
_:result amount both
_:result stars 4
_:search name university arms hotel
_:booking stay ?
_:result address Regent street
_:result name University Arms Hotel
_:result postcode cb21ad
_:search departure cambridge
_:result count 19
_:result day Monday
_:search leave_at ?
_:search arrive_by 9:45
_:search day monday
_:search destination kings lynn
_:result arrive_by 8:58AM
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR3596
_:result leave_at 8:11AM
_:result ticket 9.80 Pounds
_:result type Train
_:search people 1
_:search type Train
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR3596
_:booking leave_at 811
_:booking people 1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result ref ?
_:booking ref 5MPLUDS6
_:system inquired _:user