inform((_:search,food,'scottish');(_:search,type,'Restaurant'))
user
Hello !   I 'm looking for a nice restaurant that serves Scottish food .   Can you recommend one ?
request((_:search,area,?);(_:search,type,'Restaurant'))
system
Certainly .   Is there a certain area of town that you 'd like to stay in ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant'))
user
No , any part of town is good .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Scottish');(_:result,type,'Restaurant')) reqmore()
system
I 'm sorry , there are n't any Scottish food restaurants . Would you like something else ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
How about a restaurant that serves British food ?
inform((_:result,area,'centre');(_:result,food,'British');(_:result,name,'Cotto');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
The Cotto serves British food it is in the centre of town in the moderate price range .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
May I get the restaurant phone number please ?
inform((_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
cotto 's phone number is 01223 302010 .
thank()
user
Thank you , goodbye
system
Goodbye .
_:search food scottish
_:search type Restaurant
_:search food scottish
_:search area dontcare
_:search type Restaurant
_:search area dontcare
_:system canthelp _:search/a427030a
_:search/a427030a type Restaurant
_:result food Scottish
_:result type Restaurant
_:system inquired _:user
_:search food british
_:search type Restaurant
_:search area dontcare
_:system canthelp _:search/a427030a
_:search/a427030a type Restaurant
_:system inquired _:user
_:search food british
_:search type Restaurant
_:result area centre
_:result food British
_:result name Cotto
_:result pricerange moderate
_:result type Restaurant
_:result phone ?
_:search area dontcare
_:system canthelp _:search/a427030a
_:search/a427030a type Restaurant
_:system inquired _:user
_:search food british
_:search type Restaurant
_:result area centre
_:result food British
_:result name Cotto
_:result pricerange moderate
_:result phone 01223 302010
_:result type Restaurant