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 ?
inform((_:search,type,'Hotel');(_:search,type,'hotel')) request((_:result,phone,?);(_:result,type,'Hotel'))
user
a hotel number party hill
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
inform((_:search,accepts_credit_cards,'true');(_:search,type,'Hotel'))
user
that accepts credit cards
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'park hotel');(_:result,type,'Hotel'))
system
park hotel is a nice place it accepts credit card -s .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hotel'))
user
what is the phone number and post code
inform((_:result,name,'park hotel');(_:result,phone,'8005476561');(_:result,postcode,'94108');(_:result,type,'Hotel'))
system
park hotel is a nice place , their phone number is 8005476561 and their postcode is 94108 .
thanks() bye()
user
thank you good bye
bye()
system
goodbye
user
_:system greeted _:user
_:search type Hotel
_:search type hotel
_:result phone ?
_:result type Hotel
_:system greeted _:user
_:result phone ?
_:result type Hotel
_:search near ?
_:search accepts_credit_cards true
_:search type Hotel
_:system greeted _:user
_:result phone ?
_:search near ?
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name park hotel
_:result type Hotel
_:result postcode ?
_:system greeted _:user
_:search near ?
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name park hotel
_:result phone 8005476561
_:result postcode 94108
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search near ?
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name park hotel
_:result phone 8005476561
_:result postcode 94108
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user