inform((_:search,area,'south');(_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
i am   looking for a place to dine . The restaurant should serve hungarian food and should be in the south .
canthelp((_:search,food,'south');(_:search,type,'Restaurant'))
system
Regretfully , we have nothing like that in the south .
inform((_:search,food,'mexican');(_:search,type,'Restaurant'))
user
Oh well , no goulash or Chicken Paprika for me . :( Mexican is always a good standby , any mexican palces around there ?
inform((_:result,name,'chiquito restaurant bar');(_:result,type,'Restaurant')) thank()
system
Yes ! There is chiquito restaurant bar
request((_:result,postcode,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
May I have their postcode and price range ?
inform((_:result,postcode,'cb17dy');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The postcode is cb17dy and the price range is expensive .
inform((_:search,area,'same general area');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
thanks I need to find a theatre in the same general area as the restaurant
inform((_:result,area,'south');(_:result,name,'Junction');(_:result,type,'Attraction'))
system
Okay , The Junction is located in the south .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds like a nice place . What is their postcode and phone number ?
reqmore() inform((_:result,phone,'01223511511');(_:result,postcode,'cb17gx');(_:result,type,'Attraction'))
system
The post code is cb17gx , and the phone number is 01223511511 . Is there any additional information that you need ?
thank()
user
Nope . You 've answered all of my questions today . Thank you .
system
Thank you for using our services .   We hope to see you again .
_:search area south
_:search food hungarian
_:search type Restaurant
_:search area south
_:system canthelp _:search/8b0639d0
_:search/8b0639d0 food south
_:search/8b0639d0 type Restaurant
_:search food mexican
_:search type Restaurant
_:search area south
_:system canthelp _:search/8b0639d0
_:search/8b0639d0 food south
_:search/8b0639d0 type Restaurant
_:search food mexican
_:search type Restaurant
_:result name chiquito restaurant bar
_:result type Restaurant
_:result postcode ?
_:result pricerange ?
_:system canthelp _:search/8b0639d0
_:search/8b0639d0 food south
_:search/8b0639d0 type Restaurant
_:search food mexican
_:result name chiquito restaurant bar
_:result postcode cb17dy
_:result pricerange expensive
_:result type Restaurant
_:search area same general area
_:search category theatre
_:search type Attraction
_:system canthelp _:search/8b0639d0
_:search/8b0639d0 food south
_:search/8b0639d0 type Restaurant
_:search food mexican
_:result postcode cb17dy
_:result pricerange expensive
_:search area same general area
_:search category theatre
_:search type Attraction
_:result area south
_:result name Junction
_:result type Attraction
_:result phone ?
_:result postcode ?
_:system canthelp _:search/8b0639d0
_:search/8b0639d0 food south
_:search/8b0639d0 type Restaurant
_:search food mexican
_:result pricerange expensive
_:search area same general area
_:search category theatre
_:search type Attraction
_:result area south
_:result name Junction
_:system inquired _:user
_:result phone 01223511511
_:result postcode cb17gx
_:result type Attraction