inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I need a train on wednesday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I can find a train for you ! What is your preferred point of departure and where would you be going ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I am going from Cambridge to Norwich .
inform((_:result,count,'19');(_:result,day,'Wednesday');(_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are 19 trains from Cambridge to Norwich on Wednesday . Is there a time you 'd like to depart ?
inform((_:search,leave_at,'15:30');(_:search,type,'Train'))
user
I want to leave some time after 15:30 .
inform((_:result,leave_at,'15:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train leaving at 15:36 . Would that work for you ?
inform((_:search,area,'north');(_:search,food,'kosher');(_:search,people,'7');(_:search,type,'Restaurant');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes .   Please book for 7 people .   Please confirm with reference number .   We are also looking for a place to eat in the north that serves kosher food .
inform((_:booking,category,'Train');(_:booking,ref,'R82TUJXN');(_:booking,type,'Booking'))
system
Your booking was successful and your reservation number is   R82TUJXN .
inform((_:search,area,'north');(_:search,food,'kosher');(_:search,type,'Restaurant'))
user
We are also looking for a place to eat in the north that serves kosher food .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There are none in that area . Another type perhaps ?
inform((_:search,area,'north');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Bummer .   I could try Chinese .   Is there anything in the north ?
canthelp((_:search,area,'North');(_:search,type,'Restaurant'))
system
I am sorry there is none even in the North
inform((_:search,area,'north');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Are there any Chinese restaurants in the North area ?
inform((_:result,area,'north');(_:result,count,'3');(_:result,food,'chinese');(_:result,pricerange,'expensive');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
I have found 3 chinese restaurants in the north , they are either expensive or moderate in price range . Do you have a preference ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I prefer an expensive one .
offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,name,'hakka');(_:result,type,'Restaurant'))
system
Okay , there are two options . I recommend hakka . Do you want me to book a table for you ?
inform((_:search,day,'wednesday');(_:search,duration,'11:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes , please book for 7 people on wednesday at 11:45
reqmore() inform((_:booking,ref,'5MSHI9TK');(_:booking,type,'Booking'))
system
Sure thing , booking was successful . The table will be reserved for 15 minutes . Reference number is : 5MSHI9TK . May I assist with anything else ?
thank()
user
No , I think that 's it . Thanks for all your help today . Goodbye .
system
Thank you for allowing me to help you .
_:search day wednesday
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result count 19
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:result type Train
_:search leave_at 15:30
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result count 19
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area north
_:search food kosher
_:search people 7
_:search type Restaurant
_:search type Train
_:result ref ?
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result count 19
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref R82TUJXN
_:booking type Booking
_:search area north
_:search food kosher
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result count 19
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref R82TUJXN
_:booking type Booking
_:system canthelp _:search/ab1577d0
_:search/ab1577d0 type Restaurant
_:search area north
_:search food chinese
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result count 19
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref R82TUJXN
_:booking type Booking
_:system canthelp _:search/ab1577d0
_:search/ab1577d0 type Restaurant
_:system canthelp _:search/a3e87c4a
_:search/a3e87c4a area North
_:search/a3e87c4a type Restaurant
_:search area north
_:search food chinese
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:search destination norwich
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref R82TUJXN
_:booking type Booking
_:system canthelp _:search/ab1577d0
_:search/ab1577d0 type Restaurant
_:system canthelp _:search/a3e87c4a
_:search/a3e87c4a area North
_:search/a3e87c4a type Restaurant
_:search area north
_:search food chinese
_:result area north
_:result count 3
_:result food chinese
_:result pricerange expensive
_:result pricerange moderate
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search destination norwich
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref R82TUJXN
_:booking type Booking
_:system canthelp _:search/ab1577d0
_:search/ab1577d0 type Restaurant
_:system canthelp _:search/a3e87c4a
_:search/a3e87c4a area North
_:search/a3e87c4a type Restaurant
_:search area north
_:search food chinese
_:result area north
_:result food chinese
_:result pricerange expensive
_:result pricerange moderate
_:search pricerange expensive
_:result count 2
_:result name hakka
_:result type Restaurant
_:search day wednesday
_:search duration 11:45
_:search people 7
_:search type Restaurant
_:search departure cambridge
_:search destination norwich
_:result day Wednesday
_:result departure Cambridge
_:result destination Norwich
_:search leave_at 15:30
_:result leave_at 15:36
_:system offered _:booking
_:result ref ?
_:booking category Train
_:system canthelp _:search/ab1577d0
_:search/ab1577d0 type Restaurant
_:system canthelp _:search/a3e87c4a
_:search/a3e87c4a area North
_:search/a3e87c4a type Restaurant
_:search area north
_:search food chinese
_:result area north
_:result food chinese
_:result pricerange expensive
_:result pricerange moderate
_:search pricerange expensive
_:result count 2
_:result name hakka
_:result type Restaurant
_:search day wednesday
_:search duration 11:45
_:search people 7
_:search type Restaurant
_:system inquired _:user
_:booking ref 5MSHI9TK
_:booking type Booking