inform((_:search,arrive_by,'13:45');(_:search,day,'friday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to find a train that will arrive cambridge by 13:45 on friday
request((_:search,departure,?);(_:search,type,'Train'))
system
sure , where are you departing from ?
inform((_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I 'm departing from cambridge and want to go to birmingham new street
offer((_:booking,arrive_by,'12:08');(_:booking,category,'Train');(_:booking,id,'tr7195');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
the tr7195 will get you there by 12:08 how many tickets please ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Well , first , what is the departure time , price and travel time ?   It sounds like it will work .
inform((_:result,arrive_by,'12:44');(_:result,duration,'163 minutes');(_:result,id,'TR6668');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
Sorry , that was the TR6668 , not TR7195 , arrives by 12:44 , duration of the trip is 163 minutes and the price is 75.10 pounds .
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thank you . Are there any expensive restaurants in the town centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a variety');(_:result,type,'Restaurant'))
system
There are a variety of options in that area . Is there a particular type of food that you would like ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant')) inform((_:search,food,'Not really');(_:search,type,'Restaurant'))
user
Not really . Can I just have the postcode and phone number for your favorite place ?
inform((_:result,name,'kymmoy');(_:result,phone,'01223311911');(_:result,postcode,'cb12as');(_:result,type,'Restaurant'))
system
kymmoy is the best ! their phone number is   01223311911 and postcode is cb12as
thank()
user
Great .   Thanks .   That is all .
system
Okay .   I hope you enjoy your stay !   Let us know if we can be of further help .
_:search arrive_by 13:45
_:search day friday
_:search destination cambridge
_:search type Train
_:search arrive_by 13:45
_:search day friday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search arrive_by 13:45
_:search day friday
_:search departure cambridge
_:search destination birmingham new street
_:system offered _:booking
_:booking arrive_by 12:08
_:booking category Train
_:booking id tr7195
_:booking type Booking
_:search people ?
_:search type Train
_:result duration ?
_:result leave_at ?
_:result ticket ?
_:result type Train
_:search arrive_by 13:45
_:search day friday
_:search departure cambridge
_:search destination birmingham new street
_:system offered _:booking
_:booking arrive_by 12:08
_:booking category Train
_:booking id tr7195
_:booking type Booking
_:search people ?
_:result leave_at ?
_:result arrive_by 12:44
_:result duration 163 minutes
_:result id TR6668
_:result ticket 75.10 pounds
_:result type Train
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 13:45
_:search day friday
_:search departure cambridge
_:search destination birmingham new street
_:system offered _:booking
_:booking arrive_by 12:08
_:booking category Train
_:booking id tr7195
_:booking type Booking
_:search people ?
_:result leave_at ?
_:result arrive_by 12:44
_:result duration 163 minutes
_:result id TR6668
_:result ticket 75.10 pounds
_:search area centre
_:search pricerange expensive
_:result amount a variety
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search food Not really
_:search type Restaurant
_:search arrive_by 13:45
_:search day friday
_:search departure cambridge
_:search destination birmingham new street
_:system offered _:booking
_:booking arrive_by 12:08
_:booking category Train
_:booking id tr7195
_:booking type Booking
_:search people ?
_:result leave_at ?
_:result arrive_by 12:44
_:result duration 163 minutes
_:result id TR6668
_:result ticket 75.10 pounds
_:search area centre
_:search pricerange expensive
_:result amount a variety
_:search food Not really
_:search type Restaurant
_:result name kymmoy
_:result phone 01223311911
_:result postcode cb12as
_:result type Restaurant