inform((_:search,day,'tuesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train to go to cambridge on tuesday .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
I am happy to help with that . Can you tell me where you would be leaving from ?
inform((_:search,departure,'london kings cross');(_:search,leave_at,'18:15');(_:search,type,'Train'))
user
From London Kings Cross and I need it to leave after 18:15 .
select((_:result,leave_at,'19:17');(_:result,leave_at,'21:17');(_:result,leave_at,'23:17');(_:result,type,'Train')) inform((_:result,count,'3');(_:result,type,'Train'))
system
I have 3 trains available . They leave at 19:17 , 21:17 and 23:17 . Would you prefer one of those ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I 'd like to book the 19:17 train for 8 please and need the reference number .
inform((_:booking,category,'Train');(_:booking,leave_at,'19:17');(_:booking,people,'8');(_:booking,ref,'L0TQ4FD6');(_:booking,ticket,'188.8 GBP');(_:booking,type,'Booking'))
system
I was successfully able to book the 19:17 train for 8 people .   The total fee is 188.8 GBP payable at the station .   Your reference number is L0TQ4FD6 .
inform((_:search,food,'Portuguese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I will also need a place to dine . I 'm thinking something cheap , after that . Maybe Portuguese food ?
offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,food,'Portuguese');(_:result,name,'Nandos');(_:result,name,'Nandos City Centre');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There are two cheap Portuguese restaurants located in the city , the Nandos and Nandos City Centre . Would you like to book a table with either of these ?
inform((_:search,area,'centre');(_:search,name,'Nandos City Centre');(_:search,type,'Restaurant'))
user
I would like to dine in the centre area , so let 's go with Nandos City Centre .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
Sure .   How many seats will you need to reserve for the restaurant ?
inform((_:search,people,'same amount of people');(_:search,type,'Restaurant'))
user
I will need it for the same amount of people .
request((_:booking,duration,?);(_:booking,type,'Booking'))
system
What time would you like to make your reservation ?
inform((_:search,duration,'21:00');(_:search,type,'Restaurant'))
user
I would like to dine at 21:00 .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
Will you be dining on Tuesday as well ?
inform((_:search,day,'tuesday');(_:search,duration,'21:00');(_:search,people,'8');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes .   Please reserve a table for 8 on tuesday at 21:00 .   Also can you give me the reference number ?
reqmore() inform((_:booking,ref,'W5J24TC2');(_:booking,type,'Booking'))
system
OK , I 've got you booked with reference number W5J24TC2 , they 'll hold your table for 15 minutes . Is there anything else I can help you with ?
thank()
user
No thank you , that looks great . Have a good day .
bye()
system
Thank you , have a nice day , too .
thank()
user
Thanks for all the help . Goodbye .
system
Goodbye and enjoy the restaurant and trip !
_:search day tuesday
_:search destination cambridge
_:search type Train
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:search type Train
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result count 3
_:result type Train
_:search people 8
_:search type Train
_:result ref ?
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result count 3
_:result type Train
_:search people 8
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking people 8
_:booking ref L0TQ4FD6
_:booking ticket 188.8 GBP
_:booking type Booking
_:search food Portuguese
_:search pricerange cheap
_:search type Restaurant
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:search people 8
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking people 8
_:booking ref L0TQ4FD6
_:booking ticket 188.8 GBP
_:booking type Booking
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:search type Restaurant
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking ref L0TQ4FD6
_:booking ticket 188.8 GBP
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:booking people ?
_:booking type Booking
_:search people same amount of people
_:search type Restaurant
_:search day tuesday
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking ref L0TQ4FD6
_:booking ticket 188.8 GBP
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:booking people ?
_:search people same amount of people
_:booking duration ?
_:booking type Booking
_:search duration 21:00
_:search type Restaurant
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking ref L0TQ4FD6
_:booking ticket 188.8 GBP
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:booking people ?
_:booking duration ?
_:booking day ?
_:booking type Booking
_:search day tuesday
_:search duration 21:00
_:search people 8
_:search type Restaurant
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking ticket 188.8 GBP
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:booking people ?
_:booking duration ?
_:booking day ?
_:search day tuesday
_:search duration 21:00
_:search people 8
_:search type Restaurant
_:system inquired _:user
_:booking ref W5J24TC2
_:booking type Booking
_:search destination cambridge
_:search departure london kings cross
_:search leave_at 18:15
_:result leave_at 19:17
_:result leave_at 21:17
_:result leave_at 23:17
_:result ref ?
_:booking category Train
_:booking leave_at 19:17
_:booking ticket 188.8 GBP
_:search food Portuguese
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result food Portuguese
_:result name Nandos
_:result name Nandos City Centre
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search name Nandos City Centre
_:booking people ?
_:booking duration ?
_:booking day ?
_:search day tuesday
_:search duration 21:00
_:search people 8
_:search type Restaurant
_:system inquired _:user
_:booking ref W5J24TC2
_:booking type Booking
_:system dismissed _:user