inform((_:search,category,'guesthouse');(_:search,stars,'5');(_:search,type,'Hotel'))
user
I need a 5 star hotel to stay in that should be a guesthouse .
canthelp((_:search,type,'Hotel')) reqmore()
system
I 'm sorry , I was n't able to find anything that matches your criteria . Do you have any other preferences ?
inform((_:search,stars,'4-star');(_:search,type,'Hotel'))
user
What about a 4-star place ?
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'several');(_:result,type,'Hotel'))
system
I have several places that meet your criteria . Do you have an area you are interested in ?
inform((_:search,category,'guesthouse');(_:search,day,'monday');(_:search,has_internet,'yes');(_:search,stars,'4');(_:search,type,'Hotel'))
user
It does n't matter as long as it is a 4 star guesthouse with free wifi . I will want to book it from monday .
inform((_:result,name,'Acorn Guest House');(_:result,type,'Hotel')) request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
I would recommend Acorn Guest House .   How many people will be in your party and for how many days ?
inform((_:search,stay,'3');(_:search,type,'Hotel'))
user
It is just me this trip and I 'll be there for 3 nights .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day will you be arriving ?
inform((_:search,day,'monday');(_:search,type,'Hotel'))
user
I 'll be arriving on Monday .
reqmore() inform((_:booking,ref,'54KH70IQ');(_:booking,type,'Booking'))
system
Your room is booked under ref # 54KH70IQ . Is there anything else I can help you with today ?
request((_:result,ref,?);(_:result,type,'Hotel')) thank() request((_:result,ref,?);(_:result,type,'Restaurant'))
user
As long as I do n't need anything beside the reference number .   Thanks
system
Alright , enjoy your stay and have a great night !
_:search category guesthouse
_:search stars 5
_:search type Hotel
_:search category guesthouse
_:system canthelp _:search/090d8020
_:search/090d8020 type Hotel
_:system inquired _:user
_:search stars 4-star
_:search type Hotel
_:system canthelp _:search/090d8020
_:search/090d8020 type Hotel
_:system inquired _:user
_:search area ?
_:result amount several
_:result type Hotel
_:search category guesthouse
_:search day monday
_:search has_internet yes
_:search stars 4
_:search type Hotel
_:system canthelp _:search/090d8020
_:search/090d8020 type Hotel
_:system inquired _:user
_:search area ?
_:result amount several
_:search category guesthouse
_:search day monday
_:search has_internet yes
_:search stars 4
_:result name Acorn Guest House
_:result type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search stay 3
_:search type Hotel
_:system canthelp _:search/090d8020
_:search/090d8020 type Hotel
_:system inquired _:user
_:search area ?
_:result amount several
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:result name Acorn Guest House
_:result type Hotel
_:booking people ?
_:booking stay ?
_:search stay 3
_:booking day ?
_:booking type Booking
_:search day monday
_:search type Hotel
_:system canthelp _:search/090d8020
_:search/090d8020 type Hotel
_:search area ?
_:result amount several
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:result name Acorn Guest House
_:result type Hotel
_:booking people ?
_:booking stay ?
_:search stay 3
_:booking day ?
_:search day monday
_:search type Hotel
_:system inquired _:user
_:booking ref 54KH70IQ
_:booking type Booking
_:result ref ?
_:result type Restaurant