inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Are there any expensive european restaurants around ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,food,'european');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I found 5 expensive european restaurants . Which area of town would you like to look in ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,area,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
I do n't have a preference , what do you recommend ? I 'll need the area , address and phone please .
reqmore() inform((_:result,address,'Cambridge City Football Club Milton Road Chesterton');(_:result,name,'City Stop Restaurant');(_:result,phone,'01223363270');(_:result,postcode,'cb41uy');(_:result,type,'Restaurant'))
system
City Stop Restaurant , 01223363270 , post code is , cb41uy , Cambridge City Football Club Milton Road Chesterton . Anything else ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'21:15');(_:search,type,'Train'))
user
I also need a train leaving cambridge after 21:15 .
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
i need it to go to london liverpool street
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
I have several . Is there a time you would like to arrive by ?
user
What times do you have available ?
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to travel ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I want to travel on Tuesday
inform((_:result,arrive_by,'23:27');(_:result,destination,'London Liverpool Street');(_:result,id,'TR5722');(_:result,leave_at,'21:59');(_:result,type,'Train'))
system
I would suggest train ID TR5722 which leaves at 21:59 and arrives at London Liverpool Street at 23:27 .
inform((_:search,people,'4');(_:search,type,'Train'))
user
That sounds like it would work .   Please make a reservation for 4 people on that train , please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'RLF15GH7');(_:booking,ticket,'66.4 GBP');(_:booking,type,'Booking'))
system
Alright , the booking was successful , the total fee is 66.4 GBP payable at the station . Your reference number is : RLF15GH7 . Can I do anything else for you ?
bye()
user
No thanks . I think that 's all . Have a nice day . Bye .
system
Great ! You 're quite welcome . Goodbye !
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:result type Restaurant
_:search area dontcare
_:search type Restaurant
_:result address ?
_:result area ?
_:result phone ?
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:result type Restaurant
_:search departure cambridge
_:search leave_at 21:15
_:search type Train
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:result type Restaurant
_:search departure cambridge
_:search leave_at 21:15
_:search destination london liverpool street
_:search type Train
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:search departure cambridge
_:search leave_at 21:15
_:search destination london liverpool street
_:result amount several
_:result type Train
_:search arrive_by ?
_:search type Train
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:search departure cambridge
_:search leave_at 21:15
_:search destination london liverpool street
_:result amount several
_:result type Train
_:search arrive_by ?
_:search day tuesday
_:search type Train
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:search departure cambridge
_:search leave_at 21:15
_:search destination london liverpool street
_:result amount several
_:search arrive_by ?
_:search day tuesday
_:result arrive_by 23:27
_:result destination London Liverpool Street
_:result id TR5722
_:result leave_at 21:59
_:result type Train
_:search people 4
_:search type Train
_:search food european
_:search pricerange expensive
_:result count 5
_:result food european
_:result pricerange expensive
_:search area dontcare
_:result area ?
_:result address Cambridge City Football Club Milton Road Chesterton
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode cb41uy
_:search departure cambridge
_:search leave_at 21:15
_:search destination london liverpool street
_:result amount several
_:search arrive_by ?
_:search day tuesday
_:result arrive_by 23:27
_:result destination London Liverpool Street
_:result id TR5722
_:result leave_at 21:59
_:result type Train
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref RLF15GH7
_:booking ticket 66.4 GBP
_:booking type Booking
_:user dismissed _:system