inform((_:search,area,'north');(_:search,category,'hotel');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I am   looking for a place to stay . The hotel should be in the north and should have a star of 4
canthelp((_:search,category,'hotels');(_:search,type,'Hotel'))
system
I am sorry , but we do not have any hotels like that in that area .
inform((_:search,category,'guesthouses');(_:search,type,'Hotel'))
user
Do you have any guesthouses like that ?
select((_:result,pricerange,'cheap');(_:result,pricerange,'moderate');(_:result,type,'Hotel')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
Yes , I have two . Would you prefer a pricerange of cheap or moderate ?
user
I am not picky , really .
inform((_:result,name,"rosa 's bed and breakfast");(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
I 'd recommend rosa 's bed and breakfast . Want me to book it for you ?
inform((_:search,day,'monday');(_:search,people,'five');(_:search,stay,'five');(_:search,type,'Hotel'))
user
Yes , we are arriving on Monday . Five of us for 5days , please .
inform((_:booking,ref,'A51B0MGU');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : A51B0MGU .   Enjoy your stay !
bye()
user
Thanks for your help ! Bye !
system
My pleasure . Thank you for contacting TownInfo centre . Goodbye .
_:search area north
_:search category hotel
_:search stars 4
_:search type Hotel
_:search area north
_:search stars 4
_:system canthelp _:search/0669d4af
_:search/0669d4af category hotels
_:search/0669d4af type Hotel
_:search category guesthouses
_:search type Hotel
_:search area north
_:search stars 4
_:system canthelp _:search/0669d4af
_:search/0669d4af category hotels
_:search/0669d4af type Hotel
_:search category guesthouses
_:search type Hotel
_:result pricerange cheap
_:result pricerange moderate
_:result count 2
_:result type Hotel
_:search area north
_:search stars 4
_:system canthelp _:search/0669d4af
_:search/0669d4af category hotels
_:search/0669d4af type Hotel
_:search category guesthouses
_:result pricerange cheap
_:result pricerange moderate
_:result count 2
_:result name rosa 's bed and breakfast
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:search day monday
_:search people five
_:search stay five
_:search type Hotel
_:search area north
_:search stars 4
_:system canthelp _:search/0669d4af
_:search/0669d4af category hotels
_:search/0669d4af type Hotel
_:search category guesthouses
_:result pricerange cheap
_:result pricerange moderate
_:result count 2
_:result name rosa 's bed and breakfast
_:result type Hotel
_:system offered _:booking
_:search day monday
_:search people five
_:search stay five
_:search type Hotel
_:booking ref A51B0MGU
_:booking type Booking
_:user dismissed _:system