inform((_:search,food,'crossover');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want crossover food at an expensive price . Can you help ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
I 'm sorry but we do n't have any restaurants meeting that criteria .   Could you please try a different type ?
inform((_:search,area,'west');(_:search,food,'none');(_:search,type,'Restaurant'))
user
is there something else in the West ?
inform((_:result,area,'west');(_:result,food,'British');(_:result,name,'Grafitti');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Grafitti has great British food in the west and fits the expensive pricerange you are looking for . Does this appeal to you ?
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
Actually , I 'd prefer a European restaurant .
inform((_:result,food,'European');(_:result,name,'Cambridge lodge restaurant');(_:result,type,'Restaurant'))
system
Cambridge lodge restaurant has good reviews and serves European food .
inform((_:search,day,'sunday');(_:search,duration,'17:45');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Please book for 1 person , sunday at 17:45 .
canthelp((_:booking,day,'Sunday');(_:booking,duration,'17:45');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm afraid they 're full on Sunday at 17:45 . Perhaps another day , or another time slot ?
inform((_:search,day,'sunday');(_:search,duration,'16:45');(_:search,people,'1');(_:search,type,'Restaurant'))
user
How about Sunday at 16:45 please for 1 person ?
reqmore() inform((_:booking,day,'Sunday');(_:booking,duration,'16:45');(_:booking,ref,'2W56MF47');(_:booking,type,'Booking'))
system
You are booked for Sunday at 16:45 . Your reference number is 2W56MF47 . May I help you with something else ?
thank()
user
That 's all . Thanks for the help !
system
You 're welcome ! Have a nice day !   Goodbye .
_:search food crossover
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/02a23b87
_:search/02a23b87 type Restaurant
_:search area west
_:search food none
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/02a23b87
_:search/02a23b87 type Restaurant
_:search area west
_:result area west
_:result food British
_:result name Grafitti
_:result pricerange expensive
_:result type Restaurant
_:search food european
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/02a23b87
_:search/02a23b87 type Restaurant
_:search area west
_:result area west
_:result pricerange expensive
_:search food european
_:result food European
_:result name Cambridge lodge restaurant
_:result type Restaurant
_:search day sunday
_:search duration 17:45
_:search people 1
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/02a23b87
_:search/02a23b87 type Restaurant
_:search area west
_:result area west
_:result pricerange expensive
_:search food european
_:result food European
_:result name Cambridge lodge restaurant
_:result type Restaurant
_:system canthelp _:booking/b835277c
_:booking/b835277c day Sunday
_:booking/b835277c duration 17:45
_:booking/b835277c type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day sunday
_:search duration 16:45
_:search people 1
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/02a23b87
_:search/02a23b87 type Restaurant
_:search area west
_:result area west
_:result pricerange expensive
_:search food european
_:result food European
_:result name Cambridge lodge restaurant
_:result type Restaurant
_:system canthelp _:booking/b835277c
_:booking/b835277c day Sunday
_:booking/b835277c duration 17:45
_:booking/b835277c type Booking
_:search day sunday
_:search duration 16:45
_:search people 1
_:search type Restaurant
_:system inquired _:user
_:booking day Sunday
_:booking duration 16:45
_:booking ref 2W56MF47
_:booking type Booking