inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like an expensive restuarant in the south part of town .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
I have 5 results matching your request , are you looking for a particular type of food to eat ?
inform((_:search,food,'Indian');(_:search,type,'Restaurant'))
user
I want Indian , please .
offer((_:booking,type,'Booking')) inform((_:result,name,'Taj Tandoori');(_:result,type,'Restaurant'))
system
Sure I have the Taj Tandoori in that price range . Would you like a telephone number or a booking ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
That would be great ! Could I also receive the address and post code with that ?
offer((_:booking,type,'Booking')) inform((_:result,address,'64 Cherry Hinton Road Cherry Hinton');(_:result,name,'Taj Tandoori');(_:result,phone,'01223412299');(_:result,postcode,'cb17aa');(_:result,type,'Restaurant'))
system
Taj Tandoori is located at 64 Cherry Hinton Road Cherry Hinton , postcode cb17aa . The phone number is 01223412299 . Did you want to make a reservation ?
thank()
user
No thanks , I 'll take care of that . I 'm all set today - thanks for your help !
system
Thank you for using our system .
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result count 5
_:result type Restaurant
_:search food Indian
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result count 5
_:search food Indian
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Taj Tandoori
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search area south
_:search pricerange expensive
_:result count 5
_:search food Indian
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result address 64 Cherry Hinton Road Cherry Hinton
_:result name Taj Tandoori
_:result phone 01223412299
_:result postcode cb17aa
_:result type Restaurant