inform((_:search,has_internet,'yes');(_:search,type,'Hotel'))
user
I need a place to stay that has free wifi please .
inform((_:result,category,'hotels');(_:result,count,'32');(_:result,has_internet,'none');(_:result,type,'Hotel')) reqmore()
system
There are 32 available hotels with free wifi , do you have any other requirements ?
inform((_:search,area,'centre');(_:search,stars,'3');(_:search,type,'Hotel'))
user
Do you have a one in the centre that is a 3 star ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Gonville Hotel');(_:result,type,'Hotel'))
system
The Gonville Hotel meets this criteria . Would you like me to make a reservation ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
Is it a guesthouse ?
request((_:search,stars,?);(_:search,type,'Hotel')) canthelp((_:search,type,'Hotel')) inform((_:result,area,'centre');(_:result,category,'guesthouses');(_:result,stars,'three');(_:result,type,'Hotel'))
system
No it is not .   There are n't any three star guesthouses in the centre of town .   Would you be open to a different star rating ?
inform((_:search,area,'west');(_:search,type,'Hotel'))
user
Are there any guesthouses in the west ?
system
hobsons house is in the West . Would you like me to book it for you ?
_:search has_internet yes
_:search type Hotel
_:search has_internet yes
_:result category hotels
_:result count 32
_:result has_internet none
_:result type Hotel
_:system inquired _:user
_:search area centre
_:search stars 3
_:search type Hotel
_:search has_internet yes
_:result category hotels
_:result count 32
_:result has_internet none
_:system inquired _:user
_:search area centre
_:search stars 3
_:system offered _:booking
_:booking type Booking
_:result name Gonville Hotel
_:result type Hotel
_:search category guesthouse
_:search type Hotel
_:search has_internet yes
_:result count 32
_:result has_internet none
_:system inquired _:user
_:system offered _:booking
_:booking type Booking
_:result name Gonville Hotel
_:search category guesthouse
_:search stars ?
_:system canthelp _:search/a7f22116
_:search/a7f22116 type Hotel
_:result area centre
_:result category guesthouses
_:result stars three
_:result type Hotel
_:search area west
_:search type Hotel