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'))
user
i need a hotel in mission bay the next that credit cards
canthelp((_:result,area,'mission bay');(_:result,type,'Hotel'))
system
i am sorry but there is no place in the area of mission bay .
inform((_:search,area,'outer richmond');(_:search,type,'Hotel');(_:search,type,'hotel'))
user
i need a hotel in outer richmond that a credit card
inform((_:result,area,'outer richmond');(_:result,name,'seal rock inn');(_:result,type,'Hotel'))
system
seal rock inn is a nice place it is in the area of outer richmond .
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
what is their post code
inform((_:result,name,'seal rock inn');(_:result,type,'Hotel');(_:result,type,'hotel'))
system
seal rock inn is a nice hotel .
request((_:result,address,?);(_:result,type,'Hotel'))
user
what is their address
inform((_:result,address,'545 point lobos ave');(_:result,name,'seal rock inn');(_:result,postcode,'94121');(_:result,type,'Hotel'))
system
seal rock inn is a nice place , their address is 545 point lobos ave and their postcode is 94121 .
thanks() bye()
user
thank you goodbye
bye()
system
goodbye
user
_:system greeted _:user
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:system canthelp _:result/80e19aed
_:result/80e19aed area mission bay
_:result/80e19aed type Hotel
_:search area outer richmond
_:search type Hotel
_:search type hotel
_:system greeted _:user
_:system canthelp _:result/80e19aed
_:result/80e19aed area mission bay
_:result/80e19aed type Hotel
_:search area outer richmond
_:search type Hotel
_:search type hotel
_:result area outer richmond
_:result name seal rock inn
_:result type Hotel
_:result postcode ?
_:system greeted _:user
_:system canthelp _:result/80e19aed
_:result/80e19aed area mission bay
_:result/80e19aed type Hotel
_:search area outer richmond
_:search type Hotel
_:search type hotel
_:result area outer richmond
_:result postcode ?
_:result name seal rock inn
_:result type Hotel
_:result type hotel
_:result address ?
_:system greeted _:user
_:system canthelp _:result/80e19aed
_:result/80e19aed area mission bay
_:result/80e19aed type Hotel
_:search area outer richmond
_:search type Hotel
_:search type hotel
_:result area outer richmond
_:result address 545 point lobos ave
_:result name seal rock inn
_:result postcode 94121
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system greeted _:user
_:system canthelp _:result/80e19aed
_:result/80e19aed area mission bay
_:result/80e19aed type Hotel
_:search area outer richmond
_:search type Hotel
_:search type hotel
_:result area outer richmond
_:result address 545 point lobos ave
_:result name seal rock inn
_:result postcode 94121
_:result type Hotel
_:user thanked _:system
_:user dismissed _:system
_:system dismissed _:user