inform((_:search,day,'thursday');(_:search,leave_at,'14:15');(_:search,type,'Train'))
user
Hi , I need to catch a train after 14:15 on Thursday .
inform((_:result,day,'friday');(_:result,departure,'cambridge');(_:result,destination,'london kings cross');(_:result,type,'Train'))
system
There is a train that departs cambridge and arrives   at london kings cross on friday .
inform((_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Oh , no , I need a train that leaves from Birmingham new street and go to Cambridge .
inform((_:result,id,'TR8121');(_:result,leave_at,'14:40');(_:result,type,'Train'))
system
How about TR8121 ? It leaves at 14:40 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What time does it arrive ?
inform((_:result,arrive_by,'17:23');(_:result,destination,'Cambridge');(_:result,type,'Train'))
system
It arrives in Cambridge at 17:23 .
inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I 'll need to know the price and travel time , and I am also looking for an expensive restaurant in the south .
inform((_:result,duration,'163 minutes');(_:result,ticket,'75.10');(_:result,type,'Train')) request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
The cost is 75.10 pounds per ticket . The travel time is 163 minutes . As far as restaurants I have 5 available . Which type of food would you like ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
British food would be my preference .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'South');(_:search,food,'British');(_:search,type,'Restaurant'))
system
Unfortunately there are no British restaurants in the South in that price range . Would you like to try a different type of food ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Okay , how about Chinese food .
offer((_:booking,type,'Booking')) inform((_:result,area,'South');(_:result,count,'2');(_:result,name,'Good luck Chinese takeaway');(_:result,name,'Peking Restaraunt');(_:result,type,'Restaurant'))
system
There are two with your preferences , The Good luck Chinese takeaway and Peking Restaraunt .   Both are in the South , would you like me to book one of those ?
inform((_:search,name,'peking restaurant');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No but can you give me the address , postcode and phone number for the Peking Restaurant please ?
reqmore() inform((_:result,address,'10 Homerton Street , City Centre');(_:result,name,'Peking Restaurant');(_:result,phone,'01223354755');(_:result,postcode,'cb28nx');(_:result,type,'Restaurant'))
system
Sure . Peking Restaurant , 10 Homerton Street , City Centre cb28nx , Phone : 01223354755 . Is there anything else I can help you with ?
bye()
user
No thanks . I have all I need now . Have a good one . Bye .
system
Have a good day .
_:search day thursday
_:search leave_at 14:15
_:search type Train
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:result destination london kings cross
_:result type Train
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:result destination london kings cross
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result id TR8121
_:result leave_at 14:40
_:result type Train
_:result arrive_by ?
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:search departure birmingham new street
_:search destination cambridge
_:result id TR8121
_:result leave_at 14:40
_:result arrive_by 17:23
_:result destination Cambridge
_:result type Train
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result duration ?
_:result ticket ?
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:search departure birmingham new street
_:search destination cambridge
_:result id TR8121
_:result leave_at 14:40
_:result arrive_by 17:23
_:result destination Cambridge
_:search area south
_:search pricerange expensive
_:result duration 163 minutes
_:result ticket 75.10
_:result count 5
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:search departure birmingham new street
_:search destination cambridge
_:result id TR8121
_:result leave_at 14:40
_:result arrive_by 17:23
_:result destination Cambridge
_:search area south
_:search pricerange expensive
_:result duration 163 minutes
_:result ticket 75.10
_:result count 5
_:result type Restaurant
_:system canthelp _:search/f2399844
_:search/f2399844 area South
_:search/f2399844 food British
_:search/f2399844 type Restaurant
_:search food chinese
_:search type Restaurant
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:search departure birmingham new street
_:search destination cambridge
_:result id TR8121
_:result leave_at 14:40
_:result arrive_by 17:23
_:result destination Cambridge
_:search area south
_:search pricerange expensive
_:result duration 163 minutes
_:result ticket 75.10
_:system canthelp _:search/f2399844
_:search/f2399844 area South
_:search/f2399844 food British
_:search/f2399844 type Restaurant
_:search food chinese
_:system offered _:booking
_:booking type Booking
_:result area South
_:result count 2
_:result name Good luck Chinese takeaway
_:result name Peking Restaraunt
_:result type Restaurant
_:search name peking restaurant
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search day thursday
_:search leave_at 14:15
_:result day friday
_:result departure cambridge
_:search departure birmingham new street
_:search destination cambridge
_:result id TR8121
_:result leave_at 14:40
_:result arrive_by 17:23
_:result destination Cambridge
_:search area south
_:search pricerange expensive
_:result duration 163 minutes
_:result ticket 75.10
_:system canthelp _:search/f2399844
_:search/f2399844 area South
_:search/f2399844 food British
_:search/f2399844 type Restaurant
_:search food chinese
_:system offered _:booking
_:booking type Booking
_:result area South
_:result count 2
_:search name peking restaurant
_:search type Restaurant
_:system inquired _:user
_:result address 10 Homerton Street , City Centre
_:result name Peking Restaurant
_:result phone 01223354755
_:result postcode cb28nx
_:result type Restaurant
_:user dismissed _:system