inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
Hi , do you have any trains headed to Leicester from cambridge ?
thank() request((_:search,day,?);(_:search,type,'Train'))
system
We do .   What day will you be travelling ?
inform((_:search,day,'tuesday');(_:search,leave_at,'13:30');(_:search,type,'Train'))
user
I 'll be leaving on Tuesday after 13:30 .
inform((_:result,arrive_by,'16:06');(_:result,day,'Tuesday');(_:result,departure,'Leicester');(_:result,id,'TR1997');(_:result,leave_at,'14:21');(_:result,type,'Train')) thank()
system
Sure thing .   I have TR1997 leaving Leicester on Tuesday at 14:21 .   Should arrive by 16:06 .   Would that work for you ?   Otherwise , I have later options .
inform((_:search,people,'5');(_:search,type,'Train'))
user
That would work for me , I need 5 tickets please .
inform((_:booking,category,'Train');(_:booking,id,'TR1997');(_:booking,people,'5');(_:booking,ref,'8PT9BIRG');(_:booking,type,'Booking'))
system
Your reservation of 5 tickets on the TR1997 train was successful . Your Reference number is : 8PT9BIRG .
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Thank you ! I 'm also looking for a great place to eat in the centre .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
We have many restaurant options in the centre area . Is there a particular type of food you would like ?
inform((_:search,food,'gastropub');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like a gastropub in the expensive price range .
offer((_:booking,type,'Booking')) inform((_:result,food,'gastropub');(_:result,name,'the slug and lettuce');(_:result,type,'Restaurant'))
system
would recommend the slug and lettuce , they are a very good gastropub , would you like me to book you ?
inform((_:search,day,'same day');(_:search,duration,'10:30');(_:search,people,'same group of people');(_:search,type,'Restaurant'))
user
Yes , please . I 'd like to book for the same group of people on the same day at 10:30 , if possible .
inform((_:booking,ref,'M0YQSBT7');(_:booking,type,'Booking'))
system
Okay I was able to do that for you and your reference number is M0YQSBT7 .
thank()
user
Wonderful , that 's everything I needed . Thanks so much .
system
My pleasure . We 're here any time you need us . Thank you for using the Cambridge TownInfo centre . Have a great day .
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search destination leicester
_:search day tuesday
_:search leave_at 13:30
_:search type Train
_:search departure cambridge
_:search destination leicester
_:search day tuesday
_:search leave_at 13:30
_:result arrive_by 16:06
_:result day Tuesday
_:result departure Leicester
_:result id TR1997
_:result leave_at 14:21
_:result type Train
_:search people 5
_:search type Train
_:search departure cambridge
_:search destination leicester
_:search day tuesday
_:search leave_at 13:30
_:result arrive_by 16:06
_:result day Tuesday
_:result departure Leicester
_:result id TR1997
_:result leave_at 14:21
_:result type Train
_:search people 5
_:booking category Train
_:booking id TR1997
_:booking people 5
_:booking ref 8PT9BIRG
_:booking type Booking
_:search area centre
_:search type Restaurant
_:search departure cambridge
_:search destination leicester
_:search day tuesday
_:search leave_at 13:30
_:result arrive_by 16:06
_:result day Tuesday
_:result departure Leicester
_:result id TR1997
_:result leave_at 14:21
_:search people 5
_:booking category Train
_:booking id TR1997
_:booking people 5
_:booking ref 8PT9BIRG
_:booking type Booking
_:search area centre
_:result amount many
_:result area centre
_:result type Restaurant
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search destination leicester
_:search leave_at 13:30
_:result arrive_by 16:06
_:result day Tuesday
_:result departure Leicester
_:result id TR1997
_:result leave_at 14:21
_:booking category Train
_:booking id TR1997
_:booking people 5
_:booking ref 8PT9BIRG
_:booking type Booking
_:search area centre
_:result amount many
_:result area centre
_:search food gastropub
_:search pricerange expensive
_:system offered _:booking
_:result food gastropub
_:result name the slug and lettuce
_:result type Restaurant
_:search day same day
_:search duration 10:30
_:search people same group of people
_:search type Restaurant
_:search departure cambridge
_:search destination leicester
_:search leave_at 13:30
_:result arrive_by 16:06
_:result day Tuesday
_:result departure Leicester
_:result id TR1997
_:result leave_at 14:21
_:booking category Train
_:booking id TR1997
_:booking people 5
_:search area centre
_:result amount many
_:result area centre
_:search food gastropub
_:search pricerange expensive
_:system offered _:booking
_:result food gastropub
_:result name the slug and lettuce
_:result type Restaurant
_:search day same day
_:search duration 10:30
_:search people same group of people
_:search type Restaurant
_:booking ref M0YQSBT7
_:booking type Booking