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 ?
negate() inform((_:search,has_internet,'true');(_:search,type,'Hotel');(_:search,type,'hotel')) request((_:result,area,?);(_:result,type,'Hotel'))
user
no i'm looking for a hotel with internet connection and area of um
inform((_:result,has_internet,'yes');(_:result,name,'holiday inn san francisco civic center');(_:result,type,'Hotel'))
system
holiday inn san francisco civic center is a nice place it has internet .
request((_:result,address,?);(_:result,near,?);(_:result,type,'Hotel'))
user
what is the address and where is it near
inform((_:result,address,'50 8th st');(_:result,area,'south of market');(_:result,name,'holiday inn san francisco civic center');(_:result,near,'soma');(_:result,type,'Hotel'))
system
holiday inn san francisco civic center is a nice place , it is in the area of south of market , their address is 50 8th st and it is near soma .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search has_internet true
_:search type Hotel
_:search type hotel
_:result area ?
_:result type Hotel
_:system greeted _:user
_:search has_internet true
_:search type Hotel
_:search type hotel
_:result area ?
_:result has_internet yes
_:result name holiday inn san francisco civic center
_:result type Hotel
_:result address ?
_:result near ?
_:system greeted _:user
_:search has_internet true
_:search type Hotel
_:search type hotel
_:result has_internet yes
_:result address 50 8th st
_:result area south of market
_:result name holiday inn san francisco civic center
_:result near soma
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search has_internet true
_:search type Hotel
_:search type hotel
_:result has_internet yes
_:result address 50 8th st
_:result area south of market
_:result name holiday inn san francisco civic center
_:result near soma
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user