inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm trying to figure out my eating options . Are there any expensive restaurants in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'33');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 33 expensive restaurants to choose from in the centre . To narrow down results , what type of food are you wanting to eat ?
inform((_:search,food,'canapes');(_:search,type,'Restaurant'))
user
How about a place that serves canapes ?
canthelp((_:search,area,'centre');(_:search,food,'canapes');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
There are no expensive restaurants in the centre of town serving canapes
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
Aww , that 's too bad . Do you have any that serve korean food ?
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
Yes , little seoul is a great place for korean food .
inform((_:search,people,'7');(_:search,type,'Restaurant'))
user
Can you book a table for 7 people ?
request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Yes I can , I need the day and time you 'd like to go please .
inform((_:search,day,'thursday');(_:search,duration,'19:15');(_:search,type,'Restaurant'))
user
How about Thursday at 19:15 ?
reqmore() inform((_:booking,ref,'718ZBFFA');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : 718ZBFFA . Can I help you with anything else ?
inform((_:search,type,'Train'))
user
I now need a train
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I need to get a little information from you to book a train . Where are you traveling to and from and for what day and time do you need to travel ?
inform((_:search,departure,'broxbourne');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
The train should depart from broxbourne and should go to cambridge .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
On what day and time do you need to go there ?
inform((_:search,arrive_by,'16:15');(_:search,type,'Train'))
user
I would like to arrive at 16:15 please .
select((_:result,arrive_by,'06:32');(_:result,arrive_by,'10:32');(_:result,type,'Train')) inform((_:result,amount,'several');(_:result,type,'Train'))
system
The earliest I can have you there is 06:32 . The latest is 10:32 , with several options in between . Any preference ?
inform((_:search,arrive_by,'10:32');(_:search,type,'Train'))
user
Yes , I would like to arrive by 10:32 is 16:15 is not available .
inform((_:result,arrive_by,'10:32');(_:result,destination,'Cambridge');(_:result,id,'TR2145');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Train TR2145 will arrive at Cambridge by 10:32 . How many tickets should I book for you ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
I would like to book for 7 people please .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,day,?);(_:search,type,'Train'))
system
I would be happy to book a train for you . Which day will you be travelling ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I will be traveling on Thursday .
inform((_:result,id,'TR5687');(_:result,type,'Train')) canthelp((_:search,id,'TR2145');(_:search,type,'Train')) reqmore() inform((_:booking,category,'Train');(_:booking,ref,'8XYHVB3U');(_:booking,ticket,'125.29 GBP');(_:booking,type,'Booking'))
system
Sorry it looks like TR2145 is no longer available , I will substitute with TR5687 which arrives same time . Booking complete 125.29 GBP payable at the station , Reference number 8XYHVB3U .Anything else ?
thank()
user
No thank you that is all I need
system
thank you that is all good bye
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:result type Restaurant
_:search food canapes
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:result type Restaurant
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search people 7
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search people 7
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day thursday
_:search duration 19:15
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search people 7
_:booking day ?
_:booking duration ?
_:search day thursday
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search people 7
_:booking day ?
_:booking duration ?
_:search day thursday
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search arrive_by ?
_:search leave_at ?
_:search departure broxbourne
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:result type Restaurant
_:search people 7
_:booking day ?
_:booking duration ?
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search departure broxbourne
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 16:15
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:search people 7
_:booking day ?
_:booking duration ?
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search departure broxbourne
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:result arrive_by 06:32
_:result arrive_by 10:32
_:result amount several
_:result type Train
_:search arrive_by 10:32
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:booking day ?
_:booking duration ?
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search departure broxbourne
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:result amount several
_:search arrive_by 10:32
_:result arrive_by 10:32
_:result destination Cambridge
_:result id TR2145
_:result type Train
_:system offered _:booking
_:booking category Train
_:search people 7
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:booking day ?
_:booking duration ?
_:search duration 19:15
_:system inquired _:user
_:booking ref 718ZBFFA
_:booking type Booking
_:search departure broxbourne
_:search destination cambridge
_:search leave_at ?
_:result amount several
_:search arrive_by 10:32
_:result arrive_by 10:32
_:result destination Cambridge
_:result id TR2145
_:result type Train
_:system offered _:booking
_:booking category Train
_:search people 7
_:search day thursday
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result count 33
_:result pricerange expensive
_:system canthelp _:search/ca2ed0c9
_:search/ca2ed0c9 area centre
_:search/ca2ed0c9 food canapes
_:search/ca2ed0c9 pricerange expensive
_:search/ca2ed0c9 type Restaurant
_:search food korean
_:result food korean
_:result name little seoul
_:booking day ?
_:booking duration ?
_:search duration 19:15
_:search departure broxbourne
_:search destination cambridge
_:search leave_at ?
_:result amount several
_:search arrive_by 10:32
_:result arrive_by 10:32
_:result destination Cambridge
_:system offered _:booking
_:search people 7
_:search day thursday
_:search type Train
_:result id TR5687
_:result type Train
_:system canthelp _:search/0bf7f2c5
_:search/0bf7f2c5 id TR2145
_:search/0bf7f2c5 type Train
_:system inquired _:user
_:booking category Train
_:booking ref 8XYHVB3U
_:booking ticket 125.29 GBP
_:booking type Booking