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 ?
user
i'm looking for a restaurant that accepts credit part
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
inform((_:search,has_internet,*);(_:search,type,'Hotel'))
user
doesn't matter
inform((_:result,count,'182');(_:result,has_internet,'dont_care');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
there are 182 hotel -s if you do not care if has internet .
user
select((_:result,dogs_allowed,'no');(_:result,dogs_allowed,'yes'))
system
what is your preference as to whether it allows dogs ?
inform((_:search,dogs_allowed,'true');(_:search,type,'Hotel'))
user
ah allow dogs
inform((_:result,count,'22');(_:result,dogs_allowed,'yes');(_:result,has_internet,'dont_care');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
there are 22 hotel -s where dogs are allowed and if you do not care if has internet .
user
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to
negate()
user
no not you
inform((_:result,dogs_allowed,'yes');(_:result,has_internet,'yes');(_:result,name,'hotel rex');(_:result,type,'Hotel'))
system
hotel rex is a nice place , it has internet and where dogs are allowed .
ack() request((_:result,address,?);(_:result,type,'Hotel'))
user
okay what's the uh address
inform((_:result,address,'562 sutter st');(_:result,name,'hotel rex');(_:result,type,'Hotel'))
system
hotel rex is a nice place their address is 562 sutter st .
ack() thanks() bye()
user
okay thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search has_internet *
_:search type Hotel
_:system greeted _:user
_:search has_internet *
_:search type Hotel
_:result count 182
_:result has_internet dont_care
_:result type Hotel
_:result type hotel
_:system greeted _:user
_:search has_internet *
_:result count 182
_:result has_internet dont_care
_:result type Hotel
_:result type hotel
_:result dogs_allowed no
_:result dogs_allowed yes
_:search dogs_allowed true
_:search type Hotel
_:system greeted _:user
_:search has_internet *
_:search dogs_allowed true
_:search type Hotel
_:result count 22
_:result dogs_allowed yes
_:result has_internet dont_care
_:result type Hotel
_:result type hotel
_:system greeted _:user
_:search has_internet *
_:search dogs_allowed true
_:result count 22
_:result dogs_allowed yes
_:result has_internet dont_care
_:result type Hotel
_:result type hotel
_:search near #
_:user denied _:search/26e1fba3
_:search/26e1fba3 type Hotel
_:system greeted _:user
_:search has_internet *
_:search dogs_allowed true
_:result count 22
_:search near #
_:user denied _:search/26e1fba3
_:search/26e1fba3 type Hotel
_:result dogs_allowed yes
_:result has_internet yes
_:result name hotel rex
_:result type Hotel
_:result address ?
_:system greeted _:user
_:search has_internet *
_:search dogs_allowed true
_:result count 22
_:search near #
_:user denied _:search/26e1fba3
_:search/26e1fba3 type Hotel
_:result dogs_allowed yes
_:result has_internet yes
_:result address 562 sutter st
_:result name hotel rex
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search has_internet *
_:search dogs_allowed true
_:result count 22
_:search near #
_:user denied _:search/26e1fba3
_:search/26e1fba3 type Hotel
_:result dogs_allowed yes
_:result has_internet yes
_:result address 562 sutter st
_:result name hotel rex
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user