inform((_:search,destination,'cambridge');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
Need a train to cambridge leaving after 11:45 .
inform((_:result,amount,'quite a few');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have quite a few trains available .   What day are you wanting to travel on ?
inform((_:search,day,'wednesday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I would be leaving on Wednesday . I would be leaving from London Kings Cross .
inform((_:result,departure,'London Kings Cross');(_:result,destination,'Cambridge');(_:result,leave_at,'13:17');(_:result,leave_at,'every two hours');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
A train is departing London Kings Cross at 13:17 to Cambridge .   A train will depart every two hours after that time .   Would you like to book a train ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes I would like to book for 2 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'9V6DOMNZ');(_:booking,ticket,'47.2');(_:booking,type,'Booking'))
system
I have booked your train . Your reference number is 9V6DOMNZ and the fee of 47.2 is payable at the station . Can I help with anything else ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I would really love to have some chinese food while I am in town .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'lots');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
We have lots of Chinese Restaurants in town .   Is there a particular area of town you would like to dine in ?
inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
I would prefer the south if there is anything available there .
inform((_:result,count,'2');(_:result,food,'chinese');(_:result,name,'lucky star');(_:result,pricerange,'cheap');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
the lucky star is a cheap chinese restaurant . There are two expensive chinese restaurants as well .
request((_:result,phone,?);(_:result,type,'Restaurant')) inform((_:search,name,'Lucky Star');(_:search,type,'Restaurant'))
user
Let 's go with Lucky Star please . What is the phone number ?
reqmore() inform((_:result,name,'lucky star');(_:result,phone,'01223244277');(_:result,type,'Restaurant'))
system
The phone number for the lucky star is 01223244277 . Is there anything else I can help you with ?
bye()
user
No . That 's all for now . Thanks for all your help . Bye !
system
Enjoy your visit . Thank you for contacting Cambridge TownInfo Centre . Good bye .
_:search destination cambridge
_:search leave_at 11:45
_:search type Train
_:search destination cambridge
_:search leave_at 11:45
_:result amount quite a few
_:result type Train
_:search day wednesday
_:search departure london kings cross
_:search type Train
_:search destination cambridge
_:search leave_at 11:45
_:result amount quite a few
_:search day wednesday
_:search departure london kings cross
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:17
_:result leave_at every two hours
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search destination cambridge
_:search leave_at 11:45
_:result amount quite a few
_:search day wednesday
_:search departure london kings cross
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:17
_:result leave_at every two hours
_:result type Train
_:system offered _:booking
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref 9V6DOMNZ
_:booking ticket 47.2
_:booking type Booking
_:search food chinese
_:search type Restaurant
_:search destination cambridge
_:search leave_at 11:45
_:search day wednesday
_:search departure london kings cross
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:17
_:result leave_at every two hours
_:system offered _:booking
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref 9V6DOMNZ
_:booking ticket 47.2
_:booking type Booking
_:search food chinese
_:result amount lots
_:result food Chinese
_:result type Restaurant
_:search area south
_:search type Restaurant
_:search destination cambridge
_:search leave_at 11:45
_:search day wednesday
_:search departure london kings cross
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:17
_:result leave_at every two hours
_:system offered _:booking
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref 9V6DOMNZ
_:booking ticket 47.2
_:booking type Booking
_:search food chinese
_:result amount lots
_:search area south
_:result count 2
_:result food chinese
_:result name lucky star
_:result pricerange cheap
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search name Lucky Star
_:search type Restaurant
_:search destination cambridge
_:search leave_at 11:45
_:search day wednesday
_:search departure london kings cross
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:17
_:result leave_at every two hours
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref 9V6DOMNZ
_:booking ticket 47.2
_:booking type Booking
_:search food chinese
_:result amount lots
_:search area south
_:result count 2
_:result food chinese
_:result pricerange cheap
_:result pricerange expensive
_:search name Lucky Star
_:search type Restaurant
_:system inquired _:user
_:result name lucky star
_:result phone 01223244277
_:result type Restaurant
_:user dismissed _:system