inform((_:search,type,'Restaurant'))
user
Hi , I 'm looking for a restaurant suggestion in Cambridge .
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant'))
system
What type of food and price range would you be interested in ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I 'd like some Chinese food , please !
request((_:search,pricerange,?);(_:search,type,'Restaurant')) thank()
system
I can definitely help you with that .   What price range were you looking for ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want something expensive .
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What area do you want the restaurant to be in ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
In the centre of town , if possible .
inform((_:result,address,'17 Hills Road City Centre');(_:result,name,'sesame restaurant and bar');(_:result,type,'Restaurant'))
system
sesame restaurant and bar is located in17 Hills Road City Centre . can i give you the phon number ?
inform((_:search,day,'monday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,leave_at,'13:15');(_:search,type,'Train')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Yes , I would like the phone number . I also need a train on Monday to Cambridge from Birmingham New Street . I would like to leave after 13:15 .
inform((_:result,phone,'01223358899');(_:result,type,'Restaurant')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Here is the phone number 01223358899 . Is there any particular time you would like to arrive by ?
inform((_:search,leave_at,'13:15');(_:search,type,'Train'))
user
Any time will do , as long as it leaves after 13:15 .
inform((_:result,arrive_by,'16:23');(_:result,day,'Monday');(_:result,departure,'Birmingham New Street');(_:result,destination,'Cambridge');(_:result,id,'TR1328');(_:result,leave_at,'13:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1328 leaves Birmingham New Street on Monday at 13:40 and arrives in Cambridge at 16:23 . Will that work for you ?
inform((_:search,leave_at,'13:40');(_:search,type,'Train'))
user
Is there any that leave earlier than 13:40 ?
inform((_:result,amount,'earliest train after 13:15');(_:result,leave_at,'13:40');(_:result,type,'Train'))
system
The earliest train after 13:15 is the one leaving at 13:40 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Ok great and what is the arrival time ?
inform((_:result,arrive_by,'16:23');(_:result,type,'Train')) reqmore()
system
the train will arrive at 16:23 . anything else i can help you with ?
thank()
user
No , thank you , that is all the information I need right now .
system
Have a good evening . Bye .
_:search type Restaurant
_:search pricerange ?
_:search food chinese
_:search type Restaurant
_:search food chinese
_:search pricerange expensive
_:search type Restaurant
_:search food chinese
_:search pricerange expensive
_:search area centre
_:search type Restaurant
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:result type Restaurant
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 13:15
_:search type Train
_:result phone ?
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:result phone 01223358899
_:result type Restaurant
_:search arrive_by ?
_:search leave_at 13:15
_:search type Train
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:result phone 01223358899
_:search arrive_by ?
_:result arrive_by 16:23
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR1328
_:result leave_at 13:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:40
_:search type Train
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:result phone 01223358899
_:search arrive_by ?
_:result arrive_by 16:23
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR1328
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:40
_:search type Train
_:result amount earliest train after 13:15
_:result leave_at 13:40
_:result type Train
_:result arrive_by ?
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:result phone 01223358899
_:search arrive_by ?
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR1328
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:40
_:search type Train
_:result amount earliest train after 13:15
_:result leave_at 13:40
_:result arrive_by 16:23
_:result type Train
_:system inquired _:user