inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for a place to dine . I would like european food in the expensive price range .
offer((_:booking,type,'Booking')) inform((_:result,count,'5');(_:result,name,'Eraina');(_:result,type,'Restaurant'))
system
I was able to find five restaurants that meet you requests . Eraina is a great choice . Would you like me to book you a table ?
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
Is it in the north area ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,area,'north');(_:result,food,'European');(_:result,name,'City Stop restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
No , it is in the centre .   City Stop restaurant is an expensive European restaurant in the north end .   Would you like a reservation there ?
inform((_:search,day,'tuesday');(_:search,duration,'15:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes please . I would like to book a table for 8 people on Tuesday at 15:00 .
inform((_:booking,type,'Booking'))
system
We have made your reservation thank you !
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
That 's great - can you give me the reference number ?
reqmore() inform((_:booking,ref,'5U8L4DTQ');(_:booking,type,'Booking'))
system
Sure , sorry for that - 5U8L4DTQ . DO you need any more help ?
thank()
user
that s all - thanks for great service !
system
Happy to help anytime , bye !
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result count 5
_:result name Eraina
_:result type Restaurant
_:search area north
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result count 5
_:search area north
_:result area centre
_:result area north
_:result food European
_:result name City Stop restaurant
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 15:00
_:search people 8
_:search type Restaurant
_:search food european
_:search pricerange expensive
_:system offered _:booking
_:result count 5
_:search area north
_:result area centre
_:result area north
_:result food European
_:result name City Stop restaurant
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 15:00
_:search people 8
_:search type Restaurant
_:booking type Booking
_:result ref ?
_:search food european
_:search pricerange expensive
_:system offered _:booking
_:result count 5
_:search area north
_:result area centre
_:result area north
_:result food European
_:result name City Stop restaurant
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 15:00
_:search people 8
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref 5U8L4DTQ
_:booking type Booking