inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hi , I am looking for a restaurant that is expensive and serves European food .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
I show 5 listings . Would you like a certain area of town ?
request((_:result,area,?);(_:result,type,'Restaurant')) inform((_:search,day,'friday');(_:search,type,'Restaurant'))
user
No specific area , but I would like it for Friday .
inform((_:result,name,'City Stop Restaurant');(_:result,type,'Restaurant')) request((_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Okay , I recommend City Stop Restaurant . What time would you like the reservation for and for how many people ?
inform((_:search,day,'friday');(_:search,duration,'11:15');(_:search,people,'7');(_:search,type,'Restaurant'))
user
I 'd like to make reservations for 7 people at 11:15 on Friday please .
inform((_:booking,day,'Friday');(_:booking,duration,'11:15');(_:booking,people,'7');(_:booking,ref,'V2IWL8VW');(_:booking,type,'Booking'))
system
You have a table reserved for 7 on Friday at 11:15 .   Your reference number is V2IWL8VW .
inform((_:search,arrive_by,'08:15');(_:search,day,'friday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thanks , I 'm also looking for a train for Friday that goes to Cambridge and arrives by 08:15 .
request((_:search,departure,?);(_:search,type,'Train'))
system
And where will you be coming from ?
inform((_:search,departure,'peterborough');(_:search,people,'7');(_:search,type,'Train'))
user
I 'll be coming from Peterborough . All 7 of us will need tickets for the train .
inform((_:result,arrive_by,'08:09');(_:result,id,'TR0035');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0035 arrives by 08:09 . Does that work for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please include the reference number .
inform((_:booking,category,'Train');(_:booking,ref,'MU82CCWU');(_:booking,type,'Booking'))
system
Yes of course , the reference number for the train is MU82CCWU .
thank()
user
Thank you , that is all for today . Goodbye .
system
Have a great day !
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result type Restaurant
_:result area ?
_:search day friday
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result area ?
_:result name City Stop Restaurant
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 11:15
_:search people 7
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result area ?
_:result name City Stop Restaurant
_:result type Restaurant
_:search duration 11:15
_:search people 7
_:booking day Friday
_:booking duration 11:15
_:booking people 7
_:booking ref V2IWL8VW
_:booking type Booking
_:search arrive_by 08:15
_:search day friday
_:search destination cambridge
_:search type Train
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result area ?
_:result name City Stop Restaurant
_:result type Restaurant
_:search duration 11:15
_:booking day Friday
_:booking duration 11:15
_:booking people 7
_:booking ref V2IWL8VW
_:booking type Booking
_:search arrive_by 08:15
_:search day friday
_:search destination cambridge
_:search departure peterborough
_:search people 7
_:search type Train
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result area ?
_:result name City Stop Restaurant
_:search duration 11:15
_:booking day Friday
_:booking duration 11:15
_:booking people 7
_:booking ref V2IWL8VW
_:booking type Booking
_:search arrive_by 08:15
_:search day friday
_:search destination cambridge
_:search departure peterborough
_:search people 7
_:search type Train
_:result arrive_by 08:09
_:result id TR0035
_:result type Train
_:system offered _:booking
_:booking category Train
_:result ref ?
_:search food european
_:search pricerange expensive
_:search area ?
_:result count 5
_:result area ?
_:result name City Stop Restaurant
_:search duration 11:15
_:booking day Friday
_:booking duration 11:15
_:booking people 7
_:search arrive_by 08:15
_:search day friday
_:search destination cambridge
_:search departure peterborough
_:search people 7
_:search type Train
_:result arrive_by 08:09
_:result id TR0035
_:result type Train
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref MU82CCWU
_:booking type Booking