inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I would like to take a train from Cambridge to Leicester .
inform((_:result,amount,'a number');(_:result,type,'Train')) thank() request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Sure . I have a number of trains available . what day and time do you prefer ?
inform((_:search,arrive_by,'14:00');(_:search,day,'thursday');(_:search,type,'Train'))
user
This Thursday , and I would like to arrive by 14:00 .
inform((_:result,arrive_by,'13:06');(_:result,id,'TR8080');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8080 arrives at 13:06 , does that work for you ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , please make a booking for 4 people .
inform((_:booking,category,'Train');(_:booking,ref,'3EF4MBB7');(_:booking,ticket,'151.19 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 151.19 GBP payable at the station . 
 Reference number is : 3EF4MBB7 .
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I need a restaurant in centre and in the expensive prince range
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'wide variety');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
We have a wide variety of restaurants in the centre . Is there a particular type of food that you 'd like ?
inform((_:search,day,'thursday');(_:search,duration,'11:15');(_:search,people,'4');(_:search,type,'Restaurant'))
user
I do n't have a preference , I just want to book a table for 4 at 11:15 on Thursday , anywhere is fine .
inform((_:result,area,'center');(_:result,food,'African');(_:result,name,'bedouin');(_:result,type,'Restaurant'))
system
Ok , how about bedouin which serves African food and is in the center of town ?
user
Great . Please go ahead and book it .
inform((_:booking,ref,'A69RQEJA');(_:booking,type,'Booking'))
system
Your reference number is A69RQEJA . The table will be reserved for 15 minutes .
bye()
user
Thanks so much . Good bye !
system
You are very welcome . let us know if you need anything else .
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result amount a number
_:result type Train
_:search leave_at ?
_:search arrive_by 14:00
_:search day thursday
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result amount a number
_:search leave_at ?
_:search arrive_by 14:00
_:search day thursday
_:result arrive_by 13:06
_:result id TR8080
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result amount a number
_:search leave_at ?
_:search arrive_by 14:00
_:search day thursday
_:result arrive_by 13:06
_:result id TR8080
_:result type Train
_:system offered _:booking
_:search people 4
_:booking category Train
_:booking ref 3EF4MBB7
_:booking ticket 151.19 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search destination leicester
_:search leave_at ?
_:search arrive_by 14:00
_:result arrive_by 13:06
_:result id TR8080
_:system offered _:booking
_:booking category Train
_:booking ref 3EF4MBB7
_:booking ticket 151.19 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food ?
_:result amount wide variety
_:result area centre
_:result type Restaurant
_:search day thursday
_:search duration 11:15
_:search people 4
_:search type Restaurant
_:search departure cambridge
_:search destination leicester
_:search leave_at ?
_:search arrive_by 14:00
_:result arrive_by 13:06
_:result id TR8080
_:system offered _:booking
_:booking category Train
_:booking ref 3EF4MBB7
_:booking ticket 151.19 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food ?
_:result amount wide variety
_:search day thursday
_:search duration 11:15
_:search people 4
_:search type Restaurant
_:result area center
_:result food African
_:result name bedouin
_:result type Restaurant
_:search departure cambridge
_:search destination leicester
_:search leave_at ?
_:search arrive_by 14:00
_:result arrive_by 13:06
_:result id TR8080
_:system offered _:booking
_:booking category Train
_:booking ticket 151.19 GBP
_:search area centre
_:search pricerange expensive
_:search food ?
_:result amount wide variety
_:search day thursday
_:search duration 11:15
_:search people 4
_:search type Restaurant
_:result area center
_:result food African
_:result name bedouin
_:result type Restaurant
_:booking ref A69RQEJA
_:booking type Booking
_:user dismissed _:system