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
uh i'm looking for a
select((_:result,has_internet,'no');(_:result,has_internet,'yes'))
system
what is your preference as to whether it has internet ?
inform((_:search,near,'outer richmond');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
a hotel near the outer richmond
inform((_:result,name,'seal rock inn');(_:result,near,'outer richmond');(_:result,type,'Hotel'))
system
seal rock inn is a nice place it is near outer richmond .
request((_:result,pricerange,?);(_:result,type,'Hotel'))
user
how much does it cost
inform((_:result,name,'seal rock inn');(_:result,near,'outer richmond');(_:result,type,'Hotel'))
system
seal rock inn is a nice place it is near outer richmond .
request((_:result,name,?);(_:result,phone,?);(_:result,type,'Hotel'))
user
um what was the name again and i need the phone number as well
inform((_:result,name,'seal rock inn');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
seal rock inn is a nice hotel .
request((_:result,name,?);(_:result,phone,?);(_:result,type,'Hotel'))
user
what is the name and phone number
inform((_:result,name,'seal rock inn');(_:result,phone,'4157528000');(_:result,pricerange,'moderate');(_:result,type,'Hotel'))
system
seal rock inn is a nice place , it is in the moderate price range and their phone number is 4157528000 .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:result name seal rock inn
_:result near outer richmond
_:result type Hotel
_:result pricerange ?
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:result pricerange ?
_:result name seal rock inn
_:result near outer richmond
_:result type Hotel
_:result name ?
_:result phone ?
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:result pricerange ?
_:result near outer richmond
_:result phone ?
_:result name seal rock inn
_:result type Hotel
_:result type hotel
_:result name ?
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:result near outer richmond
_:result name seal rock inn
_:result phone 4157528000
_:result pricerange moderate
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:result has_internet no
_:result has_internet yes
_:search near outer richmond
_:search type Hotel
_:search type hotel
_:result near outer richmond
_:result name seal rock inn
_:result phone 4157528000
_:result pricerange moderate
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user