inform((_:search,name,'worth house');(_:search,type,'Hotel')) thank()
user
Greetings ! I 'm looking for the Worth House , I heard it 's in Cambridge .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,pricerange,'cheap');(_:result,stars,'4');(_:result,type,'Hotel'))
system
Yes it is in the North and is a cheap 4 star guesthouse .   Would you like to make a reservation ?
inform((_:search,has_internet,'yes');(_:search,type,'Hotel')) request((_:result,has_internet,?);(_:result,type,'Hotel'))
user
No thank you . Do they have free wifi ?
offer((_:booking,type,'Booking')) inform((_:result,has_internet,'none');(_:result,type,'Hotel'))
system
Yes , they have free wifi .   Would you like to book the hotel now ?
inform((_:search,category,'hotel');(_:search,type,'Hotel'))
user
Yes , I would like to book the hotel now .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be staying ?   Also , when would you like to check in ?
inform((_:search,day,'monday');(_:search,type,'Hotel'))
user
Sure , just me . Monday at 12:00 is fine .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
How many nights will you be staying ?
inform((_:search,day,'monday');(_:search,stay,'1');(_:search,type,'Hotel'))
user
Just Monday night .
reqmore()
system
Sure , anything else I can do for you .
request((_:result,area,?);(_:result,type,'Hotel'))
user
What area is the hotel in ?
inform((_:result,area,'north');(_:result,name,'Worth house');(_:result,type,'Hotel'))
system
The Worth house is in the North .
request((_:result,pricerange,?);(_:result,type,'Hotel'))
user
What is the price range of that hotel ?
inform((_:result,name,'Worth House');(_:result,pricerange,'cheap');(_:result,type,'Hotel')) reqmore()
system
Worth House is in the cheap price range . Would you like any more information ?
bye()
user
Nope , that 's all . Thanks . Bye !
system
Thank you .   We 'll be happy to help you with your future travel needs .
_:search name worth house
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:result type Hotel
_:search has_internet yes
_:search type Hotel
_:result has_internet ?
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:result type Hotel
_:search category hotel
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:result area north
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:result type Hotel
_:search category hotel
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day monday
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:result area north
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:result type Hotel
_:search category hotel
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day monday
_:search stay 1
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:result area north
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:result type Hotel
_:search category hotel
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day monday
_:search stay 1
_:search type Hotel
_:system inquired _:user
_:result area ?
_:search name worth house
_:system offered _:booking
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:search category hotel
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day monday
_:search stay 1
_:search type Hotel
_:system inquired _:user
_:result area north
_:result name Worth house
_:result type Hotel
_:result pricerange ?
_:search name worth house
_:system offered _:booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result has_internet none
_:search category hotel
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day monday
_:search stay 1
_:search type Hotel
_:result area north
_:result name Worth House
_:result pricerange cheap
_:result type Hotel
_:system inquired _:user
_:user dismissed _:system