hello()
system
hello , welcome to the hotel information system . you can ask for hotel -s by pricerange , whether they accept credit card -s or have internet . how may i help you ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
what's the phone
request((_:search,pricerange,?);(_:search,type,'Hotel'))
system
would you like a hotel in the inexpensive , moderate , or pricey price range ?
request((_:result,address,?);(_:result,type,'Hotel'))
user
can i need the name address
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
negate()
user
no
request((_:search,area,?);(_:search,type,'Hotel'))
system
what part of town do you have in mind ?
request((_:result,address,?);(_:result,type,'Hotel'))
user
what is the address
request((_:search,area,?);(_:search,type,'Hotel'))
system
what part of town do you have in mind ?
inform((_:search,area,'inner mission');(_:search,type,'Hotel'))
user
inner mission
canthelp((_:result,area,'inner mission');(_:result,type,'Hotel'))
system
i am sorry but there is no place in the area of inner mission .
inform((_:search,has_internet,'true');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
i need a hotel dogs should that has internet connection
canthelp((_:result,area,'inner mission');(_:result,type,'Hotel'))
system
i am sorry but there is no place in the area of inner mission .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:search type Hotel
_:result address ?
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:search type Hotel
_:result address ?
_:result has_internet no
_:result has_internet yes
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:result address ?
_:result has_internet no
_:result has_internet yes
_:search area ?
_:search type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:result address ?
_:result has_internet no
_:result has_internet yes
_:search area inner mission
_:search type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:result address ?
_:result has_internet no
_:result has_internet yes
_:search area inner mission
_:system canthelp _:result/b0e61369
_:result/b0e61369 area inner mission
_:result/b0e61369 type Hotel
_:search has_internet true
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:result address ?
_:result has_internet no
_:result has_internet yes
_:search area inner mission
_:system canthelp _:result/b0e61369
_:result/b0e61369 area inner mission
_:result/b0e61369 type Hotel
_:search has_internet true
_:search type Hotel
_:search type hotel
_:system canthelp _:result/bae2243e
_:result/bae2243e area inner mission
_:result/bae2243e type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search pricerange ?
_:result address ?
_:result has_internet no
_:result has_internet yes
_:search area inner mission
_:system canthelp _:result/b0e61369
_:result/b0e61369 area inner mission
_:result/b0e61369 type Hotel
_:search has_internet true
_:search type Hotel
_:search type hotel
_:system canthelp _:result/bae2243e
_:result/bae2243e area inner mission
_:result/bae2243e type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user