inform((_:search,area,'east');(_:search,type,'Hotel'))
user
I am looking for somewhere to stay in the east .
request((_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,area,'east');(_:result,category,'hotels');(_:result,count,'7');(_:result,type,'Hotel'))
system
There are 7 hotels in the east . Do you have a price range or other needs to narrow them down ?
inform((_:search,category,'guesthouse');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
Yes , I would like it to be cheap and a type of guesthouse .
inform((_:result,category,'hotels');(_:result,count,'3');(_:result,type,'Hotel')) reqmore()
system
I have three hotels that meet your needs .   Would you like more information on them ?
inform((_:search,day,'monday');(_:search,people,'5');(_:search,stay,'5');(_:search,type,'Hotel'))
user
Which one would be available to book 5 people for 5 nights starting this Monday ?
inform((_:booking,name,'Autumn House');(_:booking,ref,'8BCYNW35');(_:booking,type,'Booking')) reqmore()
system
I was able to book you in the Autumn House with reference number 8BCYNW35 . May I help with anything else ?
thank()
user
That is all .   Thank you .
system
Let us know if we can help further . Good day .
_:search area east
_:search type Hotel
_:search area east
_:result area east
_:result category hotels
_:result count 7
_:result type Hotel
_:search category guesthouse
_:search pricerange cheap
_:search type Hotel
_:search area east
_:result area east
_:search category guesthouse
_:search pricerange cheap
_:result category hotels
_:result count 3
_:result type Hotel
_:system inquired _:user
_:search day monday
_:search people 5
_:search stay 5
_:search type Hotel
_:search area east
_:result area east
_:search category guesthouse
_:search pricerange cheap
_:result category hotels
_:result count 3
_:result type Hotel
_:search day monday
_:search people 5
_:search stay 5
_:search type Hotel
_:booking name Autumn House
_:booking ref 8BCYNW35
_:booking type Booking
_:system inquired _:user