inform((_:search,destination,'norwich');(_:search,leave_at,'08:00');(_:search,type,'Train'))
user
I need to take a train , going to norwich leaving after 08:00 .
request((_:search,day,?);(_:search,type,'Train'))
system
OK , and what day are you traveling ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
I 'm traveling on saturday .
inform((_:result,count,'16');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
We have 16 trains that meet that request do you need to arrive by a certain time ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,leave_at,'8:00');(_:search,type,'Train'))
user
I need it to depart from Cambridge after 8:00 and go to Norwich .
inform((_:result,day,'Saturday');(_:result,departure,'Cambridge');(_:result,id,'TR8411');(_:result,leave_at,'9:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8411 departs from Cambridge at 9:36 on Saturday .   Would you like me to book a seat for you ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes please , I 'll need a booking for one ticket .
inform((_:booking,category,'Train');(_:booking,ref,'GY20NLB1');(_:booking,type,'Booking'))
system
I 've booked the ticket for you , your Reference Number is GY20NLB1 .
inform((_:search,area,'west');(_:search,category,'nightclub');(_:search,type,'Attraction'))
user
Thanks , I need a place to go too . What about a nightclub in the west ?
inform((_:result,area,'west');(_:result,category,'night clubs');(_:result,type,'Attraction'))
system
there are no night clubs on the west sorry
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Perhaps a college , then . Could you recommend one ?
inform((_:result,entrance_fee,'no entrance fee');(_:result,name,'Churchill College');(_:result,type,'Attraction'))
system
Churchill College is lovely this time of year , and they have no entrance fee .
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Yes that would be fine .   Can I get the postcode please ?
reqmore() inform((_:result,postcode,'cb30ds');(_:result,type,'Attraction'))
system
Of course ! The post code is cb30ds . Can I assist you with anything else ?
thank()
user
No , that is everything I needed , thank you very much for your assistance .
system
You are welcome .   Have a nice day .   Bye .
_:search destination norwich
_:search leave_at 08:00
_:search type Train
_:search destination norwich
_:search leave_at 08:00
_:search day saturday
_:search type Train
_:search day saturday
_:result count 16
_:result type Train
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:search type Train
_:search day saturday
_:result count 16
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:result day Saturday
_:result departure Cambridge
_:result id TR8411
_:result leave_at 9:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people one
_:search type Train
_:search day saturday
_:result count 16
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:result day Saturday
_:result departure Cambridge
_:result id TR8411
_:result leave_at 9:36
_:result type Train
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref GY20NLB1
_:booking type Booking
_:search area west
_:search category nightclub
_:search type Attraction
_:search day saturday
_:result count 16
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:result day Saturday
_:result departure Cambridge
_:result id TR8411
_:result leave_at 9:36
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref GY20NLB1
_:booking type Booking
_:search area west
_:result area west
_:result category night clubs
_:result type Attraction
_:search category college
_:search type Attraction
_:search day saturday
_:result count 16
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:result day Saturday
_:result departure Cambridge
_:result id TR8411
_:result leave_at 9:36
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref GY20NLB1
_:booking type Booking
_:search area west
_:result area west
_:result category night clubs
_:search category college
_:search type Attraction
_:result entrance_fee no entrance fee
_:result name Churchill College
_:result type Attraction
_:result postcode ?
_:search day saturday
_:result count 16
_:search arrive_by ?
_:search departure cambridge
_:search destination norwich
_:search leave_at 8:00
_:result day Saturday
_:result departure Cambridge
_:result id TR8411
_:result leave_at 9:36
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref GY20NLB1
_:booking type Booking
_:search area west
_:result area west
_:result category night clubs
_:search category college
_:search type Attraction
_:result entrance_fee no entrance fee
_:result name Churchill College
_:system inquired _:user
_:result postcode cb30ds
_:result type Attraction