inform((_:search,food,'austrian');(_:search,type,'Restaurant'))
user
I 'm looking for an austrian restaurant .
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What area are you interested in today ?
inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
West .
request((_:search,area,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There is no Austrian restaurant in West . Is there another area you might be interested in today ?
inform((_:search,food,'italian');(_:search,type,'Restaurant'))
user
How about italian food ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'15');(_:result,food,'Italian');(_:result,type,'Restaurant'))
system
There are 15 results for Italian food . Do you have an area of town or price range in mind ?
inform((_:search,area,'West');(_:search,type,'Restaurant'))
user
West part of town
inform((_:result,area,'west');(_:result,food,'Italian');(_:result,name,'Prezzo');(_:result,type,'Restaurant'))
system
Prezzo serves Italian food and is located in the west part of town .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Great , What is the phone number ?
reqmore() inform((_:result,phone,'01799 521260');(_:result,type,'Restaurant'))
system
The phone number is 01799 521260 , Is there anything else I can help you with ?
thank()
user
Thank you , goodbye .
bye() thank()
system
You 're welcome .   Goodbye !
bye()
user
Goodbye .
system
Good bye !
_:search food austrian
_:search type Restaurant
_:search food austrian
_:search area west
_:search type Restaurant
_:search area ?
_:system canthelp _:search/98bcd15d
_:search/98bcd15d type Restaurant
_:search food italian
_:search type Restaurant
_:system canthelp _:search/98bcd15d
_:search/98bcd15d type Restaurant
_:search food italian
_:search pricerange ?
_:result count 15
_:result food Italian
_:result type Restaurant
_:search area West
_:search type Restaurant
_:system canthelp _:search/98bcd15d
_:search/98bcd15d type Restaurant
_:search food italian
_:search pricerange ?
_:result count 15
_:search area West
_:search type Restaurant
_:result area west
_:result food Italian
_:result name Prezzo
_:result type Restaurant
_:result phone ?
_:system canthelp _:search/98bcd15d
_:search/98bcd15d type Restaurant
_:search food italian
_:search pricerange ?
_:result count 15
_:search area West
_:search type Restaurant
_:result area west
_:result food Italian
_:result name Prezzo
_:system inquired _:user
_:result phone 01799 521260
_:result type Restaurant
_:system canthelp _:search/98bcd15d
_:search/98bcd15d type Restaurant
_:search food italian
_:search pricerange ?
_:result count 15
_:search area West
_:search type Restaurant
_:result area west
_:result food Italian
_:result name Prezzo
_:system inquired _:user
_:result phone 01799 521260
_:result type Restaurant
_:system dismissed _:user
_:user dismissed _:system