inform((_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I am looking for a train that will take me to Cambridge from Birmingham New Street .
inform((_:result,amount,'so many');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
there are so many . what time do you want to leave ?
inform((_:search,day,'thursday');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I need to leave after 17:00 on Thursday .
inform((_:result,id,'TR1765');(_:result,leave_at,'17:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1765 leaves at 17:01 . Would you like for me to book it ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes can you please and send me a reference number .
request((_:search,people,?);(_:search,type,'Train'))
system
Sure , how many seats do you need ?
inform((_:search,people,'five');(_:search,type,'Train'))
user
I need seats for five people .
inform((_:booking,category,'Train');(_:booking,ref,'RI4VVZYC');(_:booking,type,'Booking'))
system
Yes yur booking is successful and your reference number is RI4VVZYC .
inform((_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Thanks , I also need a place to dine that is moderately priced .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'31');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
There are 31 moderately priced restaurants in town . Do you have a preferred location ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I would prefer it in the centre area .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Do you have a preference in food type ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
Yes modern european food .
select((_:result,name,'de luca cucina abd bar');(_:result,name,'roverside brasserie');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
We have two choices , de luca cucina abd bar and roverside brasserie , any preferences ?
inform((_:search,day,'thursday');(_:search,duration,'20:15');(_:search,people,'5');(_:search,type,'Restaurant'))
user
No preference . Just book a table for 5 on Thursday at 20:15
offer((_:booking,type,'Booking'))
system
I will go ahead and book that now .
thank() request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Thanks ! I need the reference number please .
inform((_:booking,ref,'6KNJSQXY');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : 6KNJSQXY .
bye()
user
Perfect , that 's all I need today . Have a great day .
thank() reqmore()
system
Thank you for using our services . Have we met all of your needs today ?
bye()
user
Have a nice day .
system
Enjoy your dinner .
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:result type Train
_:search day thursday
_:search leave_at 17:00
_:search type Train
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search day thursday
_:search leave_at 17:00
_:search type Train
_:result id TR1765
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search day thursday
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search people five
_:search type Train
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search day thursday
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:result ref ?
_:search people five
_:booking category Train
_:booking ref RI4VVZYC
_:booking type Booking
_:search pricerange moderately
_:search type Restaurant
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search day thursday
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:search people five
_:booking category Train
_:booking ref RI4VVZYC
_:booking type Booking
_:search pricerange moderately
_:result count 31
_:result pricerange moderately priced
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search day thursday
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:search people five
_:booking category Train
_:booking ref RI4VVZYC
_:booking type Booking
_:search pricerange moderately
_:result count 31
_:result pricerange moderately priced
_:result type Restaurant
_:search area centre
_:search food modern european
_:search type Restaurant
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref RI4VVZYC
_:booking type Booking
_:search pricerange moderately
_:result pricerange moderately priced
_:search area centre
_:search food modern european
_:result name de luca cucina abd bar
_:result name roverside brasserie
_:result count 2
_:result type Restaurant
_:search day thursday
_:search duration 20:15
_:search people 5
_:search type Restaurant
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref RI4VVZYC
_:booking type Booking
_:search pricerange moderately
_:result pricerange moderately priced
_:search area centre
_:search food modern european
_:result name de luca cucina abd bar
_:result name roverside brasserie
_:result count 2
_:result type Restaurant
_:search day thursday
_:search duration 20:15
_:search people 5
_:search type Restaurant
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:booking category Train
_:search pricerange moderately
_:result pricerange moderately priced
_:search area centre
_:search food modern european
_:result name de luca cucina abd bar
_:result name roverside brasserie
_:result count 2
_:result type Restaurant
_:search day thursday
_:search duration 20:15
_:search people 5
_:search type Restaurant
_:booking ref 6KNJSQXY
_:booking type Booking
_:user dismissed _:system
_:search departure cambridge
_:search destination birmingham new street
_:result amount so many
_:search leave_at 17:00
_:result id TR1765
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:booking category Train
_:search pricerange moderately
_:result pricerange moderately priced
_:search area centre
_:search food modern european
_:result name de luca cucina abd bar
_:result name roverside brasserie
_:result count 2
_:result type Restaurant
_:search day thursday
_:search duration 20:15
_:search people 5
_:search type Restaurant
_:booking ref 6KNJSQXY
_:booking type Booking
_:system inquired _:user
_:user dismissed _:system