inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
I want to find a guesthouse to stay at in the north part of town .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,name,'The acorn guest house');(_:result,type,'Hotel'))
system
The acorn guest house is in the north part of town . Would you like to make a booking ?
user
Is that in the expensive price range ?
inform((_:result,pricerange,'moderate');(_:result,type,'Hotel'))
system
No , that is in the moderate price range .
inform((_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I would like one that is in the expensive price range , please . A bit more upscale .
request((_:search,pricerange,?);(_:search,type,'Hotel')) canthelp((_:search,type,'Hotel')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,pricerange,'expensive');(_:result,type,'Hotel'))
system
I am sorry but I can not find a guesthouse in the north that is expensive . Would you like me to look for a different price range ?
inform((_:search,area,'centre');(_:search,type,'Hotel'))
user
No , are there any guesthouses available in the Centre ?
system
No there are no guesthouses in the centre . Would you like anything else ?
_:search area north
_:search category guesthouse
_:search type Hotel
_:search area north
_:search category guesthouse
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area north
_:result name The acorn guest house
_:result type Hotel
_:search area north
_:search category guesthouse
_:system offered _:booking
_:booking type Booking
_:result area north
_:result name The acorn guest house
_:result pricerange moderate
_:result type Hotel
_:search pricerange expensive
_:search type Hotel
_:search category guesthouse
_:system offered _:booking
_:booking type Booking
_:result name The acorn guest house
_:search pricerange ?
_:system canthelp _:search/c0fc904e
_:search/c0fc904e type Hotel
_:result area north
_:result category guesthouse
_:result pricerange expensive
_:result type Hotel
_:search area centre
_:search type Hotel