inform((_:search,leave_at,'09:00');(_:search,type,'Train'))
user
I want a train leaving after 09:00 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are several at that time . Do you have a destination in mind or a day you want to travel ?
inform((_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,leave_at,'09:30');(_:search,type,'Train'))
user
I 'd like to depart from london kings cross going to cambridge after 09:30
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
Yes I have many trains but I need the day you want to travel .
inform((_:search,day,'saturday');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I would like the train to leave after 9:30 on Saturday , can I also have the price , arrival time , and train ID , please ?
inform((_:result,id,'TR7195');(_:result,leave_at,'11:17');(_:result,type,'Train'))
system
Train TR7195 leaves at 11:17 will this time work for you ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes , that will work . Can you tell me what the arrival time is and the price please ?
inform((_:result,arrive_by,'12:08');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) reqmore()
system
It will arrived by 12:08 and cost 23.60 pounds .   Is there anything else I can help you with ?
inform((_:search,name,'cambridge arts theatre');(_:search,type,'Attraction'))
user
Yes I am also looking for information on the   cambridge arts theatre .
inform((_:result,address,"6 saint edward 's passage");(_:result,area,'center');(_:result,phone,'01223503333');(_:result,type,'Attraction'))
system
sue it is the center of town and the phone number is 01223503333 and the address is 6 saint edward 's passage .
inform((_:search,type,'Restaurant'))
user
Thank you what about a restaurant ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Do you have a particular type in mind such as Chinese , Italian or Indian ?
inform((_:search,name,'cambridge arts theatre');(_:search,type,'Attraction')) request((_:result,category,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
No ,   I wo n't need the restaurant .   We 'll be eating at a friends house .   Can you get the postcode for Cambridge Arts Theatre ? What type of attraction is it ?
inform((_:result,category,'theatre');(_:result,name,'Cambridge arts theatre');(_:result,type,'Attraction'))
system
Cambridge arts theatre attraction type is a theatre
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Thanks . May I have the postcode and phone number , please ?
reqmore() inform((_:result,phone,'01223503333');(_:result,postcode,'cb23pj');(_:result,type,'Attraction'))
system
The phone number is 	 01223503333 and the post code is cb23pj . Can I help you with anythine else today ?
user
no that is all
system
Thank you for contacting us and have a nice day .
_:search leave_at 09:00
_:search type Train
_:result amount several
_:result type Train
_:search day ?
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:result type Train
_:search day saturday
_:search type Train
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:search type Train
_:result arrive_by ?
_:result ticket ?
_:result id TR7195
_:result leave_at 11:17
_:result type Train
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:result id TR7195
_:result leave_at 11:17
_:result arrive_by 12:08
_:result ticket 23.60 pounds
_:result type Train
_:system inquired _:user
_:search name cambridge arts theatre
_:search type Attraction
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:result id TR7195
_:result leave_at 11:17
_:result arrive_by 12:08
_:result ticket 23.60 pounds
_:system inquired _:user
_:search name cambridge arts theatre
_:result address 6 saint edward 's passage
_:result area center
_:result phone 01223503333
_:result type Attraction
_:search type Restaurant
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:result id TR7195
_:result leave_at 11:17
_:result arrive_by 12:08
_:result ticket 23.60 pounds
_:system inquired _:user
_:result address 6 saint edward 's passage
_:result area center
_:result phone 01223503333
_:result type Attraction
_:search food ?
_:search name cambridge arts theatre
_:search type Attraction
_:result category ?
_:result postcode ?
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:result id TR7195
_:result leave_at 11:17
_:result arrive_by 12:08
_:result ticket 23.60 pounds
_:system inquired _:user
_:result address 6 saint edward 's passage
_:result area center
_:result phone 01223503333
_:search food ?
_:search name cambridge arts theatre
_:search type Attraction
_:result postcode ?
_:result category theatre
_:result name Cambridge arts theatre
_:result type Attraction
_:result phone ?
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 09:30
_:result amount many
_:search day saturday
_:result id TR7195
_:result leave_at 11:17
_:result arrive_by 12:08
_:result ticket 23.60 pounds
_:result address 6 saint edward 's passage
_:result area center
_:search food ?
_:search name cambridge arts theatre
_:search type Attraction
_:result category theatre
_:result name Cambridge arts theatre
_:system inquired _:user
_:result phone 01223503333
_:result postcode cb23pj
_:result type Attraction