inform((_:search,area,'north');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am looking for a cheap restaurant in the north part of town .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What food type are you looking for ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
i do n't care what type of food it is .
inform((_:result,amount,'both');(_:result,area,'north');(_:result,name,'Da Vinci Pizzeria');(_:result,name,'Royal Spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There is Da Vinci Pizzeria and Royal Spice , both are in the north area and in the cheap price range .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What are their phone numbers ?
inform((_:result,name,'Da Vinci Pizzeria');(_:result,name,'Royal Spice');(_:result,phone,'01223 351707');(_:result,phone,'01733 553355');(_:result,type,'Restaurant'))
system
Da Vinci Pizzeria is at 01223 351707 , and Royal Spice is at 01733 553355 .
bye()
user
Thank you good bye .
system
Thanks
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:search area north
_:search pricerange cheap
_:search food dontcare
_:search type Restaurant
_:search area north
_:search pricerange cheap
_:search food dontcare
_:search type Restaurant
_:result amount both
_:result area north
_:result name Da Vinci Pizzeria
_:result name Royal Spice
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:search area north
_:search pricerange cheap
_:search food dontcare
_:search type Restaurant
_:result amount both
_:result area north
_:result pricerange cheap
_:result name Da Vinci Pizzeria
_:result name Royal Spice
_:result phone 01223 351707
_:result phone 01733 553355
_:result type Restaurant
_:user dismissed _:system