inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
I would like a restaurant in the west part of town
select((_:result,pricerange,'cheap');(_:result,pricerange,'expensive');(_:result,pricerange,'moderate');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'west');(_:result,type,'Restaurant'))
system
There are several restaurants in the west part of town .   Would you like something in the expensive , moderate or cheap price range ?
user
I do n't care .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What type of food would you like ?
inform((_:search,food,'canapes');(_:search,type,'Restaurant'))
user
canapes food
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'canapes');(_:result,type,'Restaurant'))
system
I am sorry there are no restaurants with canapes . Is there some other type of food you would like ?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
How about thai food instead ?
inform((_:result,area,'west');(_:result,food,'thai');(_:result,name,'sala thong');(_:result,type,'Restaurant'))
system
Of course , how about sala thong ? It is a thai restraunt in the west part of town .
request((_:result,address,?);(_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
What is the address , phone number , and price range ?
reqmore() inform((_:result,address,'35 Newnham Road Newnham');(_:result,name,'Sala Thong');(_:result,phone,'01223 323178');(_:result,pricerange,'quite expensive');(_:result,type,'Restaurant'))
system
Sala Thong is quite expensive . The address is 35 Newnham Road Newnham and phone number is 01223 323178 . Can I help you with anything else ?
thank()
user
Thank you goodbye .
system
Good bye . Thank you for using the restaurant service .
_:search area west
_:search type Restaurant
_:search area west
_:search type Restaurant
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:result area west
_:result type Restaurant
_:search area west
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:result area west
_:result type Restaurant
_:search food canapes
_:search type Restaurant
_:search area west
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:result area west
_:system canthelp _:search/5ff9a1a2
_:search/5ff9a1a2 type Restaurant
_:result food canapes
_:result type Restaurant
_:search food thai
_:search type Restaurant
_:search area west
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:system canthelp _:search/5ff9a1a2
_:search/5ff9a1a2 type Restaurant
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result type Restaurant
_:result address ?
_:result phone ?
_:result pricerange ?
_:search area west
_:result amount several
_:system canthelp _:search/5ff9a1a2
_:search/5ff9a1a2 type Restaurant
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:system inquired _:user
_:result address 35 Newnham Road Newnham
_:result name Sala Thong
_:result phone 01223 323178
_:result pricerange quite expensive
_:result type Restaurant