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,accepts_credit_cards,'true');(_:search,type,'Hotel'))
user
i'm looking for a tell me their eight any accept credit cards
inform((_:result,accepts_credit_cards,'yes');(_:result,name,'the donatello');(_:result,type,'Hotel'))
system
the donatello is a nice place it accepts credit card -s .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
what's their phone number
reqmore()
system
can i help you with anything else ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
what's their phone number
inform((_:result,name,'the donatello');(_:result,phone,'4154417100');(_:result,type,'Hotel'))
system
the donatello is a nice place their phone number is 4154417100 .
request((_:result,address,?);(_:result,type,'Hotel'))
user
and their address
inform((_:result,name,'the donatello');(_:result,type,'Hotel'))
system
the donatello is a nice place their address is 501 post st . san francisco .
ack() thanks() bye()
user
okay thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name the donatello
_:result type Hotel
_:result phone ?
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:result name the donatello
_:result type Hotel
_:result phone ?
_:system inquired _:user
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:system inquired _:user
_:result name the donatello
_:result phone 4154417100
_:result type Hotel
_:result address ?
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:system inquired _:user
_:result phone 4154417100
_:result address ?
_:result name the donatello
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:search accepts_credit_cards true
_:search type Hotel
_:result accepts_credit_cards yes
_:system inquired _:user
_:result phone 4154417100
_:result address ?
_:result name the donatello
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user