inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need help booking a train to cambridge today .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,amount,'many');(_:result,destination,'cambridge');(_:result,type,'Train'))
system
There are many trains going to cambridge today . Where are you leaving from and what time do you want to depart or arrive ?
inform((_:search,arrive_by,'18:15');(_:search,day,'monday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I want to leave London Kings Cross on Monday and arrive by 18:15 .
inform((_:result,arrive_by,'18:08,is');(_:result,id,'TR7556');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR7556 arriving at 18:08,is that okay ?
inform((_:search,people,'eight');(_:search,type,'Train'))
user
I will need that for eight people .
inform((_:booking,category,'Train');(_:booking,ref,'TESIIRJ1');(_:booking,type,'Booking'))
system
Great your booking was successful and your reference number is TESIIRJ1 .
thank()
user
Thanks can you also help me find some food ?
request((_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Absolutely ! What type of cuisine are you interested in trying ?
inform((_:search,area,'south');(_:search,food,'italian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
The restaurant should serve italian food and should be in the south . 
 The restaurant should be in the expensive price range
offer((_:booking,type,'Booking')) inform((_:result,name,'Frankie and Bennys');(_:result,type,'Restaurant'))
system
Frankie and Bennys fits your criteria , shall I book you a table ?
inform((_:search,day,'same day');(_:search,duration,'21:00');(_:search,people,'same group of people');(_:search,type,'Restaurant'))
user
Yes please , for the same group of people on the same day at 21:00 .
reqmore() inform((_:booking,ref,'UA39MMKX');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : UA39MMKX . You 're all set . Is there anything else I can do for you ?
thank()
user
No , thanks that 's all goodbye
system
Thank you for calling and enjoy your dinner .
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:result type Train
_:search arrive_by 18:15
_:search day monday
_:search departure london kings cross
_:search type Train
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:search arrive_by 18:15
_:search day monday
_:search departure london kings cross
_:result arrive_by 18:08,is
_:result id TR7556
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people eight
_:search type Train
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:search arrive_by 18:15
_:search day monday
_:search departure london kings cross
_:result arrive_by 18:08,is
_:result id TR7556
_:result type Train
_:system offered _:booking
_:search people eight
_:search type Train
_:booking category Train
_:booking ref TESIIRJ1
_:booking type Booking
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:search arrive_by 18:15
_:search day monday
_:search departure london kings cross
_:result arrive_by 18:08,is
_:result id TR7556
_:result type Train
_:system offered _:booking
_:search people eight
_:booking category Train
_:booking ref TESIIRJ1
_:booking type Booking
_:search area south
_:search food italian
_:search pricerange expensive
_:search type Restaurant
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:search arrive_by 18:15
_:search departure london kings cross
_:result arrive_by 18:08,is
_:result id TR7556
_:system offered _:booking
_:booking category Train
_:booking ref TESIIRJ1
_:booking type Booking
_:search area south
_:search food italian
_:search pricerange expensive
_:result name Frankie and Bennys
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search people same group of people
_:search type Restaurant
_:search destination cambridge
_:search leave_at ?
_:result amount many
_:result destination cambridge
_:search arrive_by 18:15
_:search departure london kings cross
_:result arrive_by 18:08,is
_:result id TR7556
_:system offered _:booking
_:booking category Train
_:search area south
_:search food italian
_:search pricerange expensive
_:result name Frankie and Bennys
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search people same group of people
_:search type Restaurant
_:system inquired _:user
_:booking ref UA39MMKX
_:booking type Booking