inform((_:search,type,'Restaurant'))
user
I am traveling to Cambridge and looking forward to try local restaurants .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
We have many options available .   What type of food would you like to eat ?
inform((_:search,day,'wednesday');(_:search,departure,'kings lynn');(_:search,type,'Train'))
user
I actually need a train leaving kings lynn on wednesday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
That should be no problem do you have a departure or arrival time in mind ?
inform((_:search,day,'wednesday');(_:search,leave_at,'09:30');(_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I want to leave on wednesday after 09:30 . I need seats for 6 people and the reference number please .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,destination,?);(_:search,type,'Train'))
system
I can do that for you ! Where would you like to go ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
We need to go to Cambridge .
inform((_:result,arrive_by,'10:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,id,'TR3225');(_:result,leave_at,'10:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3225 leaves Kings Lynn 10:11 and arrives in Cambridge at 10:58 . Do you want me to book this train for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
yes and please include a reference number
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'USQHZNBW');(_:booking,ticket,'58.8 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 58.8 GBP payable at the station .Reference number is : USQHZNBW . May I assist you with anything else ?
inform((_:search,type,'Restaurant'))
user
I also need a place to dine . Can you help me ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'plenty');(_:result,type,'Restaurant'))
system
Sure . There are plenty of places to eat . Do you have a preference for area , price , or location ?
inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , we love Korean food and want to try the expensive price range , please .
inform((_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
How about little seoul ? It has gotten great reviews !
inform((_:search,day,'wednesday');(_:search,duration,'17:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Sure , please book that for 6 people at 17:30 on wednesday .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
It is not available for the time requested . Should I check different time ?
inform((_:search,day,'monday');(_:search,type,'Restaurant'))
user
Could you try Monday then ?
canthelp((_:booking,type,'Booking'))
system
I 'm sorry those are not available .
inform((_:search,day,'monday');(_:search,duration,'19:30');(_:search,type,'Restaurant'))
user
could you try Monday @ 19:30 please ?
thank()
system
thanks a lot i enjoyed your service
user
Pardon ? Were you able to reserve our table , please ?
canthelp((_:booking,type,'Booking'))
system
It 's not available . Would you like to try a different restaurant ?
inform((_:search,type,'Restaurant'))
user
No , could you try that restaurant for later that evening ?
canthelp((_:booking,type,'Booking'))
system
I am sorry , I ca n't book anything for that restaurant at all that night . Is there a different restaurant I can try for you ?
user
I do n't think so .
canthelp((_:booking,type,'Booking')) reqmore() inform((_:result,phone,'01223308681');(_:result,type,'Restaurant'))
system
We are having technical problems . Please call the restaurant directly at 01223308681 . Anything else ?
bye()
user
Thank you for your help . Good bye !
system
Thank you for using the Cambridge TownInfo Centre !
_:search type Restaurant
_:search food ?
_:result amount many
_:result type Restaurant
_:search day wednesday
_:search departure kings lynn
_:search type Train
_:search food ?
_:result amount many
_:result type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search day wednesday
_:search leave_at 09:30
_:search people 6
_:search type Train
_:result ref ?
_:result type Train
_:search food ?
_:result amount many
_:result type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search day wednesday
_:search leave_at 09:30
_:search people 6
_:result ref ?
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination cambridge
_:search type Train
_:search food ?
_:result amount many
_:search departure kings lynn
_:search arrive_by ?
_:search day wednesday
_:search leave_at 09:30
_:search people 6
_:result ref ?
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination cambridge
_:search type Train
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:result type Train
_:search food ?
_:result amount many
_:search departure kings lynn
_:search arrive_by ?
_:search day wednesday
_:search leave_at 09:30
_:search people 6
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:booking type Booking
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search day wednesday
_:search leave_at 09:30
_:search people 6
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:booking type Booking
_:search area ?
_:result amount plenty
_:result type Restaurant
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:booking type Booking
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search day wednesday
_:search duration 17:30
_:search people 6
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search duration 17:30
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:search day monday
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/071511ab
_:booking/071511ab type Booking
_:search day monday
_:search duration 19:30
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/071511ab
_:booking/071511ab type Booking
_:search day monday
_:search duration 19:30
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/071511ab
_:booking/071511ab type Booking
_:search day monday
_:search duration 19:30
_:system canthelp _:booking/5a806ba5
_:booking/5a806ba5 type Booking
_:search type Restaurant
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:system inquired _:user
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:result type Restaurant
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/071511ab
_:booking/071511ab type Booking
_:search day monday
_:search duration 19:30
_:system canthelp _:booking/5a806ba5
_:booking/5a806ba5 type Booking
_:search type Restaurant
_:system canthelp _:booking/25d4863f
_:booking/25d4863f type Booking
_:search departure kings lynn
_:search arrive_by ?
_:search leave_at 09:30
_:result ref ?
_:system offered _:booking
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR3225
_:result leave_at 10:11
_:booking category Train
_:booking ref USQHZNBW
_:booking ticket 58.8 GBP
_:search area ?
_:result amount plenty
_:search food korean
_:search pricerange expensive
_:result name little seoul
_:search people 6
_:system canthelp _:booking/de270de7
_:booking/de270de7 type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/071511ab
_:booking/071511ab type Booking
_:search day monday
_:search duration 19:30
_:system canthelp _:booking/5a806ba5
_:booking/5a806ba5 type Booking
_:search type Restaurant
_:system canthelp _:booking/25d4863f
_:booking/25d4863f type Booking
_:system canthelp _:booking/f278a17e
_:booking/f278a17e type Booking
_:system inquired _:user
_:result phone 01223308681
_:result type Restaurant
_:user dismissed _:system