inform((_:search,day,'sunday');(_:search,departure,"london king 's cross");(_:search,type,'Train'))
user
Hi , can you please help me book a train departing from London King 's Cross on Sunday ?
inform((_:result,count,'10');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
We have 10 different trains for that day . Do you want to depart and/or arrive at a particular time ?
user
I want to leave after 9 .
inform((_:result,day,'Sunday');(_:result,leave_at,'9:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving at 9:17 , Sunday . Would you like for me to book that ?
inform((_:search,destination,'cambridge');(_:search,people,'7');(_:search,type,'Train'))
user
I need a booking on the train for 7 people to go to Cambridge . Is that doable ?
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Yes it is . Do you have a preferred time of departure ?
user
I would like to leave after 9:00 .
reqmore() inform((_:booking,category,'Train');(_:booking,leave_at,'9:17');(_:booking,people,'7');(_:booking,ref,'BBQXVMZK');(_:booking,ticket,'132.16 GBP');(_:booking,type,'Booking'))
system
I have booked the train for 9:17 .   The reference number is BBQXVMZK .   The total for 7 people is 132.16 GBP and is payable at the station . Anything else I can do for you ?
inform((_:search,food,'danish');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , could you please help me find a expensive danish restaurant ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'Danish');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
It looks like there are n't any expensive Danish restaurants in town .   Would you like me to look for another cuisine ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
British food would be a suitable replacement I suppose .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
We have many to choose from .   Any part of town work best ?
inform((_:search,area,'dontcare');(_:search,day,'same day');(_:search,people,'same group of people');(_:search,type,'Restaurant'))
user
No preference . Can you recommend one and book the same group of people on the same day please
inform((_:result,name,'cambridge chop house');(_:result,type,'Restaurant')) request((_:booking,duration,?);(_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,type,'Restaurant'))
system
Ok , I recommend the the cambridge chop house . It is in the city centre . What time would you like to eat ?
inform((_:search,day,'sunday');(_:search,duration,'20:15');(_:search,people,'7');(_:search,type,'Restaurant'))
user
i would like the reservation to be for sunday for 7 people at 20:15 .
reqmore() inform((_:booking,people,'7');(_:booking,ref,'EXZLQAZY');(_:booking,type,'Booking'))
system
Booking for 7 was successful . The table will be reserved for 15 minutes . Your reference number is   EXZLQAZY . May I help you with anything else ?
thank()
user
Thanks .   That 's all .   Goodbye
system
Thanks for letting us assist you today ! Enjoy your visit !
_:search day sunday
_:search departure london king 's cross
_:search type Train
_:search day sunday
_:search departure london king 's cross
_:result count 10
_:result type Train
_:search arrive_by ?
_:search leave_at ?
_:search type Train
_:search day sunday
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:search leave_at ?
_:result day Sunday
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination cambridge
_:search people 7
_:search type Train
_:search day sunday
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination cambridge
_:search people 7
_:search leave_at ?
_:search type Train
_:search day sunday
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:search destination cambridge
_:search people 7
_:search leave_at ?
_:system inquired _:user
_:booking category Train
_:booking leave_at 9:17
_:booking people 7
_:booking ref BBQXVMZK
_:booking ticket 132.16 GBP
_:booking type Booking
_:search food danish
_:search pricerange expensive
_:search type Restaurant
_:search day sunday
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:search destination cambridge
_:search people 7
_:search leave_at ?
_:system inquired _:user
_:booking category Train
_:booking leave_at 9:17
_:booking people 7
_:booking ref BBQXVMZK
_:booking ticket 132.16 GBP
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/83536be2
_:search/83536be2 food Danish
_:search/83536be2 pricerange expensive
_:search/83536be2 type Restaurant
_:search food british
_:search type Restaurant
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:system offered _:booking
_:search destination cambridge
_:search leave_at ?
_:system inquired _:user
_:booking category Train
_:booking leave_at 9:17
_:booking people 7
_:booking ref BBQXVMZK
_:booking ticket 132.16 GBP
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/83536be2
_:search/83536be2 food Danish
_:search/83536be2 pricerange expensive
_:search/83536be2 type Restaurant
_:search food british
_:result amount many
_:result type Restaurant
_:search area dontcare
_:search day same day
_:search people same group of people
_:search type Restaurant
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:system offered _:booking
_:search destination cambridge
_:search leave_at ?
_:system inquired _:user
_:booking category Train
_:booking leave_at 9:17
_:booking people 7
_:booking ref BBQXVMZK
_:booking ticket 132.16 GBP
_:search pricerange expensive
_:system canthelp _:search/83536be2
_:search/83536be2 food Danish
_:search/83536be2 pricerange expensive
_:search/83536be2 type Restaurant
_:search food british
_:result amount many
_:search area dontcare
_:result name cambridge chop house
_:booking duration ?
_:booking type Booking
_:result area centre
_:result type Restaurant
_:search day sunday
_:search duration 20:15
_:search people 7
_:search type Restaurant
_:search departure london king 's cross
_:result count 10
_:search arrive_by ?
_:result day Sunday
_:result leave_at 9:17
_:system offered _:booking
_:search destination cambridge
_:search leave_at ?
_:booking category Train
_:booking leave_at 9:17
_:booking ticket 132.16 GBP
_:search pricerange expensive
_:system canthelp _:search/83536be2
_:search/83536be2 food Danish
_:search/83536be2 pricerange expensive
_:search/83536be2 type Restaurant
_:search food british
_:result amount many
_:search area dontcare
_:result name cambridge chop house
_:booking duration ?
_:result area centre
_:result type Restaurant
_:search day sunday
_:search duration 20:15
_:search people 7
_:search type Restaurant
_:system inquired _:user
_:booking people 7
_:booking ref EXZLQAZY
_:booking type Booking