inform((_:search,arrive_by,'15:30');(_:search,day,'thursday');(_:search,type,'Train'))
user
Find me a train on thursday that should arrive by 15:30 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 've got the system ready for you , where will you be leaving from and arriving to ?
inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be departing from kings lynn and going to cambridge
inform((_:result,arrive_by,'14:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,id,'TR2162');(_:result,leave_at,'14:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2162 departs from Kings Lynn at 14:11 and arrives at Cambridge at 14:58 .   Shall I book that for you ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
yes ! make a booking for 2 people . 
 Make sure you get the reference number
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'1R3J6V88');(_:booking,ticket,'19.60 GBP');(_:booking,type,'Booking'))
system
Your booking has been successfully made . The reference number is 1R3J6V88 and 19.60 GBP will be payable at the station . Can I help you with anything else ?
inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , I would like an expensive restaurant in the south .
select((_:result,food,'Chinese');(_:result,food,'Italian or Mexican');(_:result,food,'indian');(_:result,type,'Restaurant')) inform((_:result,area,'south');(_:result,count,'5');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 5 expensive restaurants in the south . Would you prefer Chinese , indian , Italian or Mexican ?
inform((_:search,food,'italian');(_:search,type,'Restaurant'))
user
I 'd like an italian place , thanks .
offer((_:booking,type,'Booking')) inform((_:result,name,'frankie and bennys');(_:result,type,'Restaurant'))
system
frankie and bennys 	 fits your description . can i book ?
inform((_:search,duration,'19:30');(_:search,name,'Frankie and Benny');(_:search,people,'2');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , please book a table for 2 at Frankie and Benny 's at 19:30 and provide the reference number .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day do you want me to make it on ?
inform((_:search,day,'thursday');(_:search,duration,'19:30');(_:search,people,'2');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Thursday please the same day for 2 at 19:30 and I need the reference number too after the booking please
reqmore() inform((_:booking,ref,'YG9TC7H7');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : YG9TC7H7 . Is there anything else I can assist you with today ?
thank()
user
Thank you , that will be all .
reqmore()
system
May I book you a taxi or anything else ?
thank()
user
That was all that I needed , thanks
system
Have a nice stay in town . Let us know if you need help again .
_:search arrive_by 15:30
_:search day thursday
_:search type Train
_:search arrive_by 15:30
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search arrive_by 15:30
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:result ref ?
_:search arrive_by 15:30
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:result type Train
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 1R3J6V88
_:booking ticket 19.60 GBP
_:booking type Booking
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 15:30
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 1R3J6V88
_:booking ticket 19.60 GBP
_:booking type Booking
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Italian or Mexican
_:result food indian
_:result area south
_:result count 5
_:result pricerange expensive
_:result type Restaurant
_:search food italian
_:search type Restaurant
_:search arrive_by 15:30
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 1R3J6V88
_:booking ticket 19.60 GBP
_:booking type Booking
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Italian or Mexican
_:result food indian
_:result area south
_:result count 5
_:result pricerange expensive
_:search food italian
_:result name frankie and bennys
_:result type Restaurant
_:search duration 19:30
_:search name Frankie and Benny
_:search people 2
_:search type Restaurant
_:search arrive_by 15:30
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 1R3J6V88
_:booking ticket 19.60 GBP
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Italian or Mexican
_:result food indian
_:result area south
_:result count 5
_:result pricerange expensive
_:search food italian
_:result name frankie and bennys
_:result type Restaurant
_:search name Frankie and Benny
_:booking day ?
_:booking type Booking
_:search day thursday
_:search duration 19:30
_:search people 2
_:search type Restaurant
_:search arrive_by 15:30
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ticket 19.60 GBP
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Italian or Mexican
_:result food indian
_:result area south
_:result count 5
_:result pricerange expensive
_:search food italian
_:result name frankie and bennys
_:result type Restaurant
_:search name Frankie and Benny
_:booking day ?
_:search day thursday
_:search duration 19:30
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking ref YG9TC7H7
_:booking type Booking
_:search arrive_by 15:30
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 14:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR2162
_:result leave_at 14:11
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ticket 19.60 GBP
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Italian or Mexican
_:result food indian
_:result area south
_:result count 5
_:result pricerange expensive
_:search food italian
_:result name frankie and bennys
_:result type Restaurant
_:search name Frankie and Benny
_:booking day ?
_:search day thursday
_:search duration 19:30
_:search people 2
_:search type Restaurant
_:booking ref YG9TC7H7
_:booking type Booking
_:system inquired _:user