inform((_:search,category,'hotel');(_:search,pricerange,'cheap');(_:search,stars,'three');(_:search,type,'Hotel'))
user
I am looking for a hotel with a three star rating and a cheap price
request((_:search,pricerange,?);(_:search,stars,?);(_:search,type,'Hotel')) canthelp((_:search,category,'hotels');(_:search,type,'Hotel')) inform((_:result,type,'Hotel'))
system
I 'm sorry , but there are no hotels that match your criteria . Would you like to change your price range or stars requirement ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
Do you have a guesthouse that meets my requirements ?
request((_:search,category,?);(_:search,type,'Hotel')) canthelp((_:search,type,'Hotel')) reqmore()
system
Unfortunately no . Is there another type of hotel you are interested in ?
inform((_:search,category,'guesthouse');(_:search,has_internet,'no');(_:search,pricerange,'moderate');(_:search,type,'Hotel'))
user
I would like a guesthouse that meets all my previous criteria , except now I want one in the moderate price range and it does n't need to include internet .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,name,'Alpha - Milton guest house');(_:result,type,'Hotel'))
system
I found the Alpha - Milton guest house in the north side . Would you like to book a room ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
Not yet . But I would like their telephone number .
inform((_:result,phone,'01223311625');(_:result,type,'Hotel'))
system
Their phone number is : 01223311625
thank()
user
Thank you ! That is all the information I need .
system
Cool , have a nice trip !
_:search category hotel
_:search pricerange cheap
_:search stars three
_:search type Hotel
_:search pricerange ?
_:search stars ?
_:system canthelp _:search/141ed1fe
_:search/141ed1fe category hotels
_:search/141ed1fe type Hotel
_:result type Hotel
_:search category guesthouse
_:search type Hotel
_:search stars ?
_:system canthelp _:search/141ed1fe
_:search/141ed1fe category hotels
_:search/141ed1fe type Hotel
_:result type Hotel
_:system canthelp _:search/006ca26c
_:search/006ca26c type Hotel
_:system inquired _:user
_:search category guesthouse
_:search has_internet no
_:search pricerange moderate
_:search type Hotel
_:search stars ?
_:system canthelp _:search/141ed1fe
_:search/141ed1fe category hotels
_:search/141ed1fe type Hotel
_:system canthelp _:search/006ca26c
_:search/006ca26c type Hotel
_:system inquired _:user
_:search category guesthouse
_:search has_internet no
_:search pricerange moderate
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area north
_:result name Alpha - Milton guest house
_:result type Hotel
_:result phone ?
_:search stars ?
_:system canthelp _:search/141ed1fe
_:search/141ed1fe category hotels
_:search/141ed1fe type Hotel
_:system canthelp _:search/006ca26c
_:search/006ca26c type Hotel
_:system inquired _:user
_:search category guesthouse
_:search has_internet no
_:search pricerange moderate
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area north
_:result name Alpha - Milton guest house
_:result phone 01223311625
_:result type Hotel