inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Hello , I 'd like some information on a train departing from cambridge .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
Certainly . What is your destination and what day will you be leaving ?
inform((_:search,day,'tuesday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I want to go to Leicester and want to leave on Tuesday .
inform((_:result,amount,'several');(_:result,day,'that day');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are several trains that day , do you know what time you want to leave or arrive ?
inform((_:search,arrive_by,'17:15');(_:search,type,'Train'))
user
I need to get there by 17:15
inform((_:result,amount,'a train');(_:result,arrive_by,'17:06');(_:result,departure,'Cambridge');(_:result,destination,'Cambridge');(_:result,leave_at,'15:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train departing Cambridge at 15:21 and arriving in Cambridge at 17:06 .   Can I book that for you ?
user
Yeah , that sounds great .
request((_:search,people,?);(_:search,type,'Train'))
system
how many tickets would you like ?
inform((_:search,name,'city stop restaurant.and');(_:search,people,'1');(_:search,type,'Restaurant');(_:search,type,'Train')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
1 . please also get me z restaurant   called city stop restaurant.and give me phone number and postcode
offer((_:booking,category,'Train');(_:booking,people,'1');(_:booking,type,'Booking')) inform((_:result,address,'Cambridge City Football Club Milton Road Chesterton');(_:result,postcode,'cb41uy');(_:result,type,'Restaurant'))
system
Sure , the address is Cambridge City Football Club Milton Road Chesterton cb41uy .   And just to confirm , you wanted to book 1 ticket for that train ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What about the phone number ?
inform((_:result,phone,'01223363270');(_:result,type,'Restaurant'))
system
Yes and their phone number is 01223363270 .
thank()
user
Thanks so much for your help .
inform((_:booking,category,'Train');(_:booking,day,'Tuesday');(_:booking,leave_at,'15:21');(_:booking,ref,'NHFGUN35');(_:booking,ticket,'37.79 GBP');(_:booking,type,'Booking'))
system
Okay , I 've booked you a seat on the 15:21 train on Tuesday . The total fee is 37.79 GBP payable at the station . 
 Reference number is : NHFGUN35 .
inform((_:search,type,'Restaurant'))
user
Great . Thanks . Can you look up a restaurant for me ?
system
Can you book it for me and get a reference number ?
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result amount several
_:result day that day
_:result type Train
_:search leave_at ?
_:search arrive_by 17:15
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result day that day
_:search leave_at ?
_:search arrive_by 17:15
_:search type Train
_:result amount a train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Cambridge
_:result leave_at 15:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result day that day
_:search leave_at ?
_:search arrive_by 17:15
_:result amount a train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Cambridge
_:result leave_at 15:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name city stop restaurant.and
_:search people 1
_:search type Restaurant
_:search type Train
_:result phone ?
_:result postcode ?
_:result type Restaurant
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result day that day
_:search leave_at ?
_:search arrive_by 17:15
_:result amount a train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Cambridge
_:result leave_at 15:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name city stop restaurant.and
_:search people 1
_:search type Restaurant
_:search type Train
_:result phone ?
_:booking people 1
_:result address Cambridge City Football Club Milton Road Chesterton
_:result postcode cb41uy
_:result type Restaurant
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result day that day
_:search leave_at ?
_:search arrive_by 17:15
_:result amount a train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Cambridge
_:result leave_at 15:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name city stop restaurant.and
_:search people 1
_:search type Restaurant
_:search type Train
_:booking people 1
_:result address Cambridge City Football Club Milton Road Chesterton
_:result postcode cb41uy
_:result phone 01223363270
_:result type Restaurant
_:search departure cambridge
_:search day tuesday
_:search destination leicester
_:result day that day
_:search leave_at ?
_:search arrive_by 17:15
_:result amount a train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Cambridge
_:result leave_at 15:21
_:system offered _:booking
_:search name city stop restaurant.and
_:search people 1
_:booking people 1
_:result address Cambridge City Football Club Milton Road Chesterton
_:result postcode cb41uy
_:result phone 01223363270
_:result type Restaurant
_:booking category Train
_:booking day Tuesday
_:booking leave_at 15:21
_:booking ref NHFGUN35
_:booking ticket 37.79 GBP
_:booking type Booking
_:search type Restaurant