inform((_:search,area,'centre');(_:search,category,'hotel');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I 'm looking to book a place to stay while in town .   I want the hotel to be fairly expensive and near the centre .   Can you give some suggestions ?
inform((_:result,category,'hotels');(_:result,count,'2');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Gonville Hotel');(_:result,name,'University Arms Hotel');(_:result,type,'Hotel'))
system
I have 2 wonderful hotels in that area . Both offer free internet and parking . I have the Gonville Hotel and the University Arms Hotel . How do these sound ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
Is one of them a guesthouse ?
inform((_:result,category,'hotel');(_:result,type,'Hotel'))
system
No , they are both hotel types .
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
I really need a guesthouse can you find one for me please ?
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,category,'guesthouse');(_:result,type,'Hotel'))
system
Would you like me to try to search in a different area for a guesthouse for you ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Hotel'))
user
No , I 'd like one in the centre .   I could change it to a cheaper price though .
system
There is none under that criteria , do you want to try a different area
_:search area centre
_:search category hotel
_:search pricerange expensive
_:search type Hotel
_:search area centre
_:search pricerange expensive
_:result category hotels
_:result count 2
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:result type Hotel
_:search category guesthouse
_:search type Hotel
_:search area centre
_:search pricerange expensive
_:result count 2
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:result category hotel
_:result type Hotel
_:search category guesthouse
_:search type Hotel
_:result count 2
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:search category guesthouse
_:result category guesthouse
_:result type Hotel
_:search area centre
_:search pricerange moderate
_:search type Hotel