inform((_:search,type,'Restaurant'))
user
I am going to Cambridge and would like to find a place to eat locally .   Can you suggest a good place ?
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Hotel');(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,category,'hotels');(_:result,type,'Hotel'))
system
There are several hotels that match that description . What kind of food are you interested in and what is your price range ?
inform((_:search,arrive_by,'21:30');(_:search,day,'wednesday');(_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I 'm sorry , actually I need to find a train departing from Cambridge going to Ely on Wednesday . I need to arrive by 21:30 .
inform((_:result,arrive_by,'16:07');(_:result,day,'Wednesday');(_:result,departure,'Cambridge');(_:result,destination,'Ely');(_:result,id,'TR6745');(_:result,leave_at,'15:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR6745 leaves Cambridge on Wednesday at 15:50 and arrives at Ely at 16:07 . Would you like to book it ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , please , I need a booking for 7 people .
inform((_:booking,category,'Train');(_:booking,ref,'GHNB4F22');(_:booking,type,'Booking'))
system
I was able to book it , reference number is GHNB4F22 .
inform((_:search,area,'north');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Thanks , I need to find a place for dinner too please . Chinese place in the north if there is anything available .
select((_:result,pricerange,'expensive');(_:result,pricerange,'moderate');(_:result,type,'Restaurant')) inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
There are three restaurants that meet your criteria .   Do you prefer an expensive or moderate price range ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
We are celebrating so how about in the expensive price range ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Hotpot');(_:result,type,'Restaurant')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I can recommend The Hotpot , it is very good .   When would you like the reservation to be for ?
inform((_:search,duration,'13:15');(_:search,type,'Restaurant'))
user
We want to eat around 13:15 so we have enough time to eat and still catch the train .
inform((_:booking,day,'Wednesday');(_:booking,duration,'13:15');(_:booking,ref,'YMMR1G9V');(_:booking,type,'Booking')) reqmore() inform((_:result,name,'Hotpot');(_:result,type,'Restaurant'))
system
The booking for 13:15 on Wednesday at The Hotpot was successful . The reference number is YMMR1G9V . Is there anything else I can help you with ?
user
That 's all I need .
bye() thank()
system
Thank you for using our service .   have a good day
thank()
user
Thank you , I appreciate all your help today .
system
You are welcome . Thanks for using Cambridge TownInfo centre .
_:search type Restaurant
_:search food ?
_:search pricerange ?
_:result amount several
_:result category hotels
_:result type Hotel
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:search type Train
_:search food ?
_:search pricerange ?
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search pricerange ?
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:result type Train
_:system offered _:booking
_:search people 7
_:booking category Train
_:booking ref GHNB4F22
_:booking type Booking
_:search area north
_:search food chinese
_:search type Restaurant
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:system offered _:booking
_:search people 7
_:booking category Train
_:booking ref GHNB4F22
_:booking type Booking
_:search area north
_:search food chinese
_:result pricerange expensive
_:result pricerange moderate
_:result count 3
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:system offered _:booking
_:search people 7
_:booking category Train
_:booking ref GHNB4F22
_:search area north
_:search food chinese
_:result pricerange expensive
_:result pricerange moderate
_:result count 3
_:search pricerange expensive
_:result name Hotpot
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 13:15
_:search type Restaurant
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:system offered _:booking
_:search people 7
_:booking category Train
_:search area north
_:search food chinese
_:result pricerange expensive
_:result pricerange moderate
_:result count 3
_:search pricerange expensive
_:search duration 13:15
_:search type Restaurant
_:booking day Wednesday
_:booking duration 13:15
_:booking ref YMMR1G9V
_:booking type Booking
_:system inquired _:user
_:result name Hotpot
_:result type Restaurant
_:result amount several
_:result category hotels
_:search arrive_by 21:30
_:search day wednesday
_:search departure cambridge
_:search destination ely
_:result arrive_by 16:07
_:result day Wednesday
_:result departure Cambridge
_:result destination Ely
_:result id TR6745
_:result leave_at 15:50
_:system offered _:booking
_:search people 7
_:booking category Train
_:search area north
_:search food chinese
_:result pricerange expensive
_:result pricerange moderate
_:result count 3
_:search pricerange expensive
_:search duration 13:15
_:search type Restaurant
_:booking day Wednesday
_:booking duration 13:15
_:booking ref YMMR1G9V
_:booking type Booking
_:system inquired _:user
_:result name Hotpot
_:result type Restaurant
_:system dismissed _:user