inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm stuck up here in Kings Lynn and really need to get into Cambridge . Can you look up a train for me please ?
thank() request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I can absolutely help you , but let 's get some more information so we can book your ticket . What day and time would you like to leave ?
inform((_:search,day,'saturday');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I would like to leave on Saturday after 17:00
offer((_:booking,category,'Train');(_:booking,type,'Booking')) inform((_:result,count,'7');(_:result,leave_at,'17:11');(_:result,type,'Train'))
system
I have 7 different trains . The first one after 17:00 is train TR1499 . It leaves at 17:11 and arrives at 17:58 . Would that work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
That works for me . What is the price for that ?
inform((_:result,ticket,'7.84 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
7.84 pounds for each ticket . Would you like me to book the train ?
inform((_:search,food,'latin american');(_:search,type,'Restaurant'))
user
No , I 'm not ready to book yet .   Thanks though .   Can you recommend a latin American restaurant ?
canthelp((_:search,food,'latin american');(_:search,type,'Restaurant'))
system
I 'm sorry there are no latin american restaurant
inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Are there any in the centre in the cheap price range ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'fifteen');(_:result,area,'centre');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
I have fifteen places to dine in the centre , in a cheap range . What type of food would you like ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
What about one that serves Asian oriental food ?
select((_:result,name,'Dojo noodle bar');(_:result,name,'J restaurant');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
Dojo noodle bar and J restaurant both are available , which would you prefer ?
inform((_:search,day,'saturday');(_:search,duration,'20:30');(_:search,name,'dojo noodle bar');(_:search,people,'7');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Dojo noodle bar , can you book me a table for 7 at 20:30 on Saturday ? And I will need the reference number as well please .
reqmore() inform((_:booking,ref,'K7LWVQ5A');(_:booking,type,'Booking'))
system
Good news , your booking was succesful .   Your reference number is K7LWVQ5A . Can I do anything else for you ?
inform((_:search,type,'Train'))
user
Yes can you please book the train for me as well ?
offer((_:booking,category,'Train');(_:booking,day,'saturday');(_:booking,id,'TR1499');(_:booking,leave_at,'17:11');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Did you want the TR1499 booked that leaves on saturday at 17:11 and if so , for how many people ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Just the one ticket please .
reqmore() inform((_:booking,category,'Train');(_:booking,day,'Saturday');(_:booking,departure,'Kings Lynn');(_:booking,destination,'Cambridge');(_:booking,id,'TR1499');(_:booking,leave_at,'18:11');(_:booking,ref,'0NGRLOZV');(_:booking,type,'Booking'))
system
Your seat is booked on TR1499 leaving Kings Lynn on Saturday at 18:11 for Cambridge , reference number is 0NGRLOZV . Is there anything more I can help with today ?
thank()
user
That is everything I need , thank you .
bye() thank()
system
Perfect . Enjoy your trip !
thank()
user
Thank you , that will be all !
system
No problem , enjoy the rest of your day .
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search day saturday
_:search leave_at 17:00
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search day saturday
_:search leave_at 17:00
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 7
_:result leave_at 17:11
_:result type Train
_:result ticket ?
_:search departure kings lynn
_:search destination cambridge
_:search day saturday
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:result type Train
_:search food latin american
_:search type Restaurant
_:search departure kings lynn
_:search destination cambridge
_:search day saturday
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:result type Train
_:search food latin american
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:result ticket ?
_:search departure kings lynn
_:search destination cambridge
_:search day saturday
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:result type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:search food asian oriental
_:result name Dojo noodle bar
_:result name J restaurant
_:result type Restaurant
_:search day saturday
_:search duration 20:30
_:search name dojo noodle bar
_:search people 7
_:search type Restaurant
_:result ref ?
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:search food asian oriental
_:result name Dojo noodle bar
_:result name J restaurant
_:result type Restaurant
_:search day saturday
_:search duration 20:30
_:search name dojo noodle bar
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking ref K7LWVQ5A
_:booking type Booking
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 17:00
_:system offered _:booking
_:booking category Train
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:search food asian oriental
_:result name Dojo noodle bar
_:result name J restaurant
_:result type Restaurant
_:search day saturday
_:search duration 20:30
_:search name dojo noodle bar
_:result ref ?
_:system inquired _:user
_:booking ref K7LWVQ5A
_:booking type Booking
_:booking day saturday
_:booking id TR1499
_:booking leave_at 17:11
_:search people one
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 17:00
_:system offered _:booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:search food asian oriental
_:result name Dojo noodle bar
_:result name J restaurant
_:result type Restaurant
_:search day saturday
_:search duration 20:30
_:search name dojo noodle bar
_:result ref ?
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking day Saturday
_:booking departure Kings Lynn
_:booking destination Cambridge
_:booking id TR1499
_:booking leave_at 18:11
_:booking ref 0NGRLOZV
_:booking type Booking
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 17:00
_:system offered _:booking
_:result count 7
_:result leave_at 17:11
_:result ticket 7.84 pounds
_:system canthelp _:search/c9e05a5d
_:search/c9e05a5d food latin american
_:search/c9e05a5d type Restaurant
_:search area centre
_:search pricerange cheap
_:result ticket ?
_:result amount fifteen
_:result area centre
_:result pricerange cheap
_:search food asian oriental
_:result name Dojo noodle bar
_:result name J restaurant
_:result type Restaurant
_:search day saturday
_:search duration 20:30
_:search name dojo noodle bar
_:result ref ?
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking day Saturday
_:booking departure Kings Lynn
_:booking destination Cambridge
_:booking id TR1499
_:booking leave_at 18:11
_:booking ref 0NGRLOZV
_:booking type Booking
_:system dismissed _:user