inform((_:search,type,'Hotel'))
user
I 'm looking for a place to stay .
system
Can I ask you some questions to help find a hotel that meets your specifications ?
thank()
user
Yes .   What questions do you have ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Hotel'))
system
what is the price range you want to pay and which place ?
inform((_:search,area,'centre');(_:search,category,'guesthouse');(_:search,has_internet,'no');(_:search,type,'Hotel'))
user
I 'd like a guesthouse in the Centre . I 'm okay with not having the internet or free parking . The price does n't matter to me .
request((_:search,stars,?);(_:search,type,'Hotel')) inform((_:result,area,'centre');(_:result,category,'guesthouse');(_:result,count,'2');(_:result,type,'Hotel'))
system
I have 2 guesthouse located in the centre , do you have a star rating preference ?
inform((_:search,stars,'dontcare');(_:search,type,'Hotel')) request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Hotel'))
user
Do nt care about star rating , can you recommend one and give me the address and postcode for it ?
inform((_:result,address,'41 Warkworth Street');(_:result,name,'el shaddai');(_:result,phone,'01223327978');(_:result,postcode,'cb11eg');(_:result,type,'Hotel')) thank()
system
Sure . How about El Shaddai ?   It 's located at 41 Warkworth Street cb11eg .   The phone number is 01223327978 .
inform((_:search,area,'same area');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
That sounds great . I 'm also looking for an expensive restaurant in the same area , are there any ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are several expensive restaurants in the centre .   What type of food would you like ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
You know , I 'm feeling like chinese . What do you have ?
select((_:result,name,'HK Fusion');(_:result,name,'Sesame Restaurant and Bar');(_:result,name,'Tang Chinese');(_:result,name,'Ugly Duckling');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
I have 4 listings . Ugly Duckling , Tang Chinese , HK Fusion , and Sesame Restaurant and Bar . Do any of those sound appealing ?
inform((_:search,name,'sesame restaurant and bar');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,food,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
the sesame restaurant and bar sounds interesting . can i get their address and phone number ? what kind of food do they serve ?
inform((_:result,address,'17 Hills Road City Centre');(_:result,food,'chines');(_:result,name,'sesame restaurant and bar');(_:result,phone,'01223358899');(_:result,type,'Restaurant'))
system
sesame restaurant and bar serves chines food . Their address is 17 Hills Road City Centre 	 and their phone number is 01223358899
thank()
user
Thank you very much . That will be all , thanks .
offer((_:booking,type,'Booking'))
system
Do you need me to book that reservation for you ?
thank()
user
No that will be all ! Thanks !
system
Enjoy your day , goodbye .
_:search type Hotel
_:search type Hotel
_:search pricerange ?
_:search area centre
_:search category guesthouse
_:search has_internet no
_:search type Hotel
_:search pricerange ?
_:search area centre
_:search category guesthouse
_:search has_internet no
_:result area centre
_:result category guesthouse
_:result count 2
_:result type Hotel
_:search stars dontcare
_:search type Hotel
_:result address ?
_:result postcode ?
_:search category guesthouse
_:search has_internet no
_:result area centre
_:result category guesthouse
_:result count 2
_:search stars dontcare
_:result address 41 Warkworth Street
_:result name el shaddai
_:result phone 01223327978
_:result postcode cb11eg
_:result type Hotel
_:search area same area
_:search pricerange expensive
_:search type Restaurant
_:search category guesthouse
_:search has_internet no
_:result category guesthouse
_:result count 2
_:search stars dontcare
_:result address 41 Warkworth Street
_:result name el shaddai
_:result phone 01223327978
_:result postcode cb11eg
_:search area same area
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:search category guesthouse
_:search has_internet no
_:result category guesthouse
_:search stars dontcare
_:result address 41 Warkworth Street
_:result phone 01223327978
_:result postcode cb11eg
_:search area same area
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search food chinese
_:result name HK Fusion
_:result name Sesame Restaurant and Bar
_:result name Tang Chinese
_:result name Ugly Duckling
_:result count 4
_:result type Restaurant
_:search name sesame restaurant and bar
_:search type Restaurant
_:result address ?
_:result food ?
_:result phone ?
_:search category guesthouse
_:search has_internet no
_:result category guesthouse
_:search stars dontcare
_:result postcode cb11eg
_:search area same area
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search food chinese
_:result count 4
_:search name sesame restaurant and bar
_:search type Restaurant
_:result address 17 Hills Road City Centre
_:result food chines
_:result name sesame restaurant and bar
_:result phone 01223358899
_:result type Restaurant
_:search category guesthouse
_:search has_internet no
_:result category guesthouse
_:search stars dontcare
_:result postcode cb11eg
_:search area same area
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search food chinese
_:result count 4
_:search name sesame restaurant and bar
_:search type Restaurant
_:result address 17 Hills Road City Centre
_:result food chines
_:result name sesame restaurant and bar
_:result phone 01223358899
_:result type Restaurant
_:system offered _:booking
_:booking type Booking