inform((_:search,area,'centre');(_:search,name,'nandos city centre');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in Cambridge called Nandos City Centre .
offer((_:booking,type,'Booking')) inform((_:result,address,'Andrews Street');(_:result,food,'Portuguese');(_:result,type,'Restaurant'))
system
I know that restaurant well .   It is a Portuguese place located on Andrews Street .   Can I make a reservation for you ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
No , I do n't think I 'm ready to do that yet .   Can you just tell me where it is on Andrews Street ?
inform((_:result,address,'33 - 34 Saint Andrews Street');(_:result,type,'Restaurant'))
system
The address is 33 - 34 Saint Andrews Street
inform((_:search,destination,'cambridge');(_:search,leave_at,'08:30');(_:search,type,'Train'))
user
Okay great . I am also looking for a train that goes to cambridge & leaves after 08:30 .
inform((_:result,amount,'over 1,000');(_:result,arrive_by,'8:30');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
There are over 1,000 trains that arrive in Cambridge after 8:30 . What location are you leaving from and what date are you leaving ?
inform((_:search,day,'tuesday');(_:search,departure,'norwich');(_:search,type,'Train'))
user
I 'm leaving on tuesday and from Norwich
inform((_:result,count,'2');(_:result,leave_at,'5:16');(_:result,leave_at,'6:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay there are two trains . One leaves at 5:16 and the other at 6:16 . Can I book either of these for you ?
inform((_:search,leave_at,'08:30');(_:search,type,'Train'))
user
No , those wo n't work at all . As I said , I need to leave after 08:30 .
inform((_:result,id,'TR4134');(_:result,leave_at,'09:16');(_:result,type,'Train'))
system
How about TR4134 , it leaves at 09:16
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That 's perfect . I need to book the train for 3 people . Once it is booked , can I have the reference number ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'fp0gzttn');(_:booking,type,'Booking'))
system
I have it ready , you will pay at the station . Your reference number is fp0gzttn . Can I be of any further help ?
thank()
user
No , that is all . Thank you .
reqmore()
system
Is there anything else I can help you with ?
thank()
user
No that is all , thank you . Have a great day !
system
You as well ! Thank you . Goodbye !
_:search area centre
_:search name nandos city centre
_:search type Restaurant
_:search area centre
_:search name nandos city centre
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result address Andrews Street
_:result food Portuguese
_:result type Restaurant
_:result address ?
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:booking type Booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:result type Restaurant
_:search destination cambridge
_:search leave_at 08:30
_:search type Train
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:booking type Booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:search destination cambridge
_:search leave_at 08:30
_:result amount over 1,000
_:result arrive_by 8:30
_:result destination Cambridge
_:result type Train
_:search day tuesday
_:search departure norwich
_:search type Train
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:booking type Booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:search destination cambridge
_:result amount over 1,000
_:result arrive_by 8:30
_:result destination Cambridge
_:search day tuesday
_:search departure norwich
_:result count 2
_:result leave_at 5:16
_:result leave_at 6:16
_:result type Train
_:booking category Train
_:search leave_at 08:30
_:search type Train
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:booking type Booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:search destination cambridge
_:result amount over 1,000
_:result arrive_by 8:30
_:result destination Cambridge
_:search day tuesday
_:search departure norwich
_:result count 2
_:booking category Train
_:search leave_at 08:30
_:result id TR4134
_:result leave_at 09:16
_:result type Train
_:search people 3
_:search type Train
_:result ref ?
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:search destination cambridge
_:result amount over 1,000
_:result arrive_by 8:30
_:result destination Cambridge
_:search day tuesday
_:search departure norwich
_:result count 2
_:search leave_at 08:30
_:result id TR4134
_:result leave_at 09:16
_:result type Train
_:search people 3
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref fp0gzttn
_:booking type Booking
_:search area centre
_:search name nandos city centre
_:system offered _:booking
_:result food Portuguese
_:result address 33 - 34 Saint Andrews Street
_:search destination cambridge
_:result amount over 1,000
_:result arrive_by 8:30
_:result destination Cambridge
_:search day tuesday
_:search departure norwich
_:result count 2
_:search leave_at 08:30
_:result id TR4134
_:result leave_at 09:16
_:result type Train
_:search people 3
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref fp0gzttn
_:booking type Booking
_:system inquired _:user