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 you know the it should and i don't care
select((_:result,accepts_credit_cards,'no');(_:result,accepts_credit_cards,'yes'))
system
what is your preference as to whether it accepts credit card -s ?
user
well
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
user
ah old looking
select((_:result,accepts_credit_cards,'no');(_:result,accepts_credit_cards,'yes'))
system
what is your preference as to whether it accepts credit card -s ?
negate()
user
no credit call
select((_:result,accepts_credit_cards,'no');(_:result,accepts_credit_cards,'yes'))
system
what is your preference as to whether it accepts credit card -s ?
negate()
user
no
request((_:search,near,?);(_:search,type,'Hotel'))
system
where would you like it to be near to ?
bye()
user
um what are you bye
bye()
system
goodbye
user
_:system greeted _:user
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near ?
_:search type Hotel
_:system greeted _:user
_:search near ?
_:search type Hotel
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:system greeted _:user
_:search near ?
_:search type Hotel
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near ?
_:search type Hotel
_:user dismissed _:system
_:system greeted _:user
_:result accepts_credit_cards no
_:result accepts_credit_cards yes
_:search near ?
_:search type Hotel
_:user dismissed _:system
_:system dismissed _:user