inform((_:search,has_internet,'yes');(_:search,stars,'five');(_:search,type,'Hotel'))
user
I am looking for a five star hotel with free wifi .
select((_:result,category,'hotel');(_:result,stars,'3');(_:result,stars,'4');(_:result,type,'Hotel')) canthelp((_:search,type,'Hotel'))
system
I am sorry there are no matches . Would you like to try a 3 or 4 star hotel ?
inform((_:search,category,'guesthouse');(_:search,stars,'0');(_:search,type,'Hotel'))
user
I could actually do a guesthouse with a star rating of 0 .
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
I have two , does the area matter to you ?
inform((_:search,area,"does n't matter");(_:search,type,'Hotel'))
user
No , area does n't matter .
inform((_:result,name,'El Shaddai');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
Okay I have found the El Shaddai which meets your requirements . Would you like me to book that for you ?
inform((_:search,day,'monday');(_:search,people,'8');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Yes I need it booked for 8 people for 2 nights starting Monday .
reqmore() inform((_:booking,name,'El Shaddai');(_:booking,ref,'K8J1T9N4');(_:booking,type,'Booking'))
system
I have you booked at the El Shaddai , the reference number is K8J1T9N4 . Is there anything else I can do for you today ?
thank()
user
That is all for now . Thank you so much .
system
Glad to be of assistance . Enjoy your visit .
_:search has_internet yes
_:search stars five
_:search type Hotel
_:search has_internet yes
_:result category hotel
_:result stars 3
_:result stars 4
_:result type Hotel
_:system canthelp _:search/d4204912
_:search/d4204912 type Hotel
_:search category guesthouse
_:search stars 0
_:search type Hotel
_:search has_internet yes
_:result category hotel
_:result stars 3
_:result stars 4
_:system canthelp _:search/d4204912
_:search/d4204912 type Hotel
_:search category guesthouse
_:search stars 0
_:result count 2
_:result type Hotel
_:search area does n't matter
_:search type Hotel
_:search has_internet yes
_:result category hotel
_:result stars 3
_:result stars 4
_:system canthelp _:search/d4204912
_:search/d4204912 type Hotel
_:search category guesthouse
_:search stars 0
_:result count 2
_:search area does n't matter
_:result name El Shaddai
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:search day monday
_:search people 8
_:search stay 2
_:search type Hotel
_:search has_internet yes
_:result category hotel
_:result stars 3
_:result stars 4
_:system canthelp _:search/d4204912
_:search/d4204912 type Hotel
_:search category guesthouse
_:search stars 0
_:result count 2
_:search area does n't matter
_:result name El Shaddai
_:result type Hotel
_:system offered _:booking
_:search day monday
_:search people 8
_:search stay 2
_:search type Hotel
_:system inquired _:user
_:booking name El Shaddai
_:booking ref K8J1T9N4
_:booking type Booking