inform((_:search,area,'centre');(_:search,type,'Hotel'))
user
Hi there . I 'll be coming into the centre of town to visit relatives . Can you help me find a place to stay ?
request((_:search,category,?);(_:search,type,'Hotel')) inform((_:result,area,'centre');(_:result,category,'guesthouses');(_:result,category,'hotels');(_:result,count,'5');(_:result,type,'Hotel'))
system
I can definitely help with that . I have about 5 different hotels and guesthouses that are in the centre of town . Do you prefer a hotel or guesthouse ?
inform((_:search,pricerange,'expensive');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I 'd like it to be expensive . 4 star rated .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'University Arms Hotel');(_:result,pricerange,'expensive');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The University Arms Hotel is in the centre of town , falls in the expensive price range , and has 4 stars . Would you like to book a room ?
inform((_:search,day,'wednesday');(_:search,people,'5');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Can you see if it 's available for 4 nights from Wednesday for 5 people
inform((_:booking,people,'five');(_:booking,stay,'four');(_:booking,type,'Booking'))
system
It is available for four nights for five people !   I 've taken the liberty of booking these rooms for you .   Is that agreeable to you ?
request((_:result,ref,?);(_:result,type,'Hotel'))
user
That 's wonderful . What is the reference number for that booking ?
request((_:search,address,?);(_:search,type,'Hotel'))
system
Can you also give me the address for the hotel
request((_:result,ref,?);(_:result,type,'Hotel'))
user
I have n't the faintest . But do you have a reference number for the booking you made ?
inform((_:booking,ref,'8L6LVYYT');(_:booking,type,'Booking'))
system
8L6LVYYT is your reference number .
thank()
user
Thanks , that 's all I need today !
system
Perfect . You 've made an excellent choice . Enjoy !
_:search area centre
_:search type Hotel
_:search area centre
_:search category ?
_:result area centre
_:result category guesthouses
_:result category hotels
_:result count 5
_:result type Hotel
_:search pricerange expensive
_:search stars 4
_:search type Hotel
_:search area centre
_:search category ?
_:result category guesthouses
_:result category hotels
_:result count 5
_:search pricerange expensive
_:search stars 4
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:search day wednesday
_:search people 5
_:search stay 4
_:search type Hotel
_:search area centre
_:search category ?
_:result category guesthouses
_:result category hotels
_:result count 5
_:search pricerange expensive
_:search stars 4
_:system offered _:booking
_:result area centre
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:search day wednesday
_:search people 5
_:search stay 4
_:search type Hotel
_:booking people five
_:booking stay four
_:booking type Booking
_:result ref ?
_:search area centre
_:search category ?
_:result category guesthouses
_:result category hotels
_:result count 5
_:search pricerange expensive
_:search stars 4
_:system offered _:booking
_:result area centre
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:search day wednesday
_:search people 5
_:search stay 4
_:booking people five
_:booking stay four
_:booking type Booking
_:result ref ?
_:search address ?
_:search type Hotel
_:search area centre
_:search category ?
_:result category guesthouses
_:result category hotels
_:result count 5
_:search pricerange expensive
_:search stars 4
_:system offered _:booking
_:result area centre
_:result name University Arms Hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:search day wednesday
_:search people 5
_:search stay 4
_:booking people five
_:booking stay four
_:result ref ?
_:search address ?
_:search type Hotel
_:booking ref 8L6LVYYT
_:booking type Booking