inform((_:search,area,'centre');(_:search,category,'hotel');(_:search,type,'Hotel'))
user
Hello , I 'm looking for a hotel in the centre , can you help me .
inform((_:result,area,'centre');(_:result,name,'University arms hotel');(_:result,type,'Hotel'))
system
University arms hotel is located in the centre of town .
request((_:result,pricerange,?);(_:result,type,'Hotel'))
user
What is the price range for that ?
inform((_:result,category,'hotel');(_:result,name,'University Arms Hotel');(_:result,pricerange,'expensive');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The University Arms Hotel is an expensive hotel that has a 4 star rating . Would that work for you ?
inform((_:search,category,'hotel');(_:search,pricerange,'moderately');(_:search,type,'Hotel'))
user
No , I need a moderately priced hotel . Do you have one of those ?
offer((_:booking,type,'Booking')) inform((_:result,area,'center');(_:result,category,'hotel');(_:result,name,'cityroomz');(_:result,pricerange,'moderate');(_:result,type,'Hotel'))
system
I have the cityroomz . It is a moderate price hotel in the center . Would you like me to book that for you ?
inform((_:search,category,'hotel');(_:search,has_parking,'yes');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I 'm sorry but I do need an expensive hotel , not a guesthouse , with free parking in the center of town .
system
gonville hotel is a nice place . Would you like me to book it or do you want the adress ?
_:search area centre
_:search category hotel
_:search type Hotel
_:search area centre
_:search category hotel
_:search type Hotel
_:result area centre
_:result name University arms hotel
_:result type Hotel
_:result pricerange ?
_:search area centre
_:result area centre
_:result category hotel
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:search category hotel
_:search pricerange moderately
_:search type Hotel
_:search area centre
_:result stars 4
_:system offered _:booking
_:booking type Booking
_:result area center
_:result category hotel
_:result name cityroomz
_:result pricerange moderate
_:result type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search type Hotel