inform((_:search,name,'leverton house');(_:search,type,'Hotel'))
user
I need a particular hotel called the Leverton House .
offer((_:booking,type,'Booking')) inform((_:result,name,'Leverton House');(_:result,type,'Hotel'))
system
I have located the Leverton House . Would you like me to book it for you ?
inform((_:search,day,'monday');(_:search,people,'4');(_:search,stay,'3');(_:search,type,'Hotel'))
user
yes , please I would like it booked for 4 people . I would need this for 3 nights starting with monday .
canthelp((_:booking,name,'Leverton House');(_:booking,type,'Booking')) request((_:search,name,?);(_:search,type,'Hotel')) reqmore()
system
I 'm sorry . I could n't book the Leverton House for that day .   Would you like me to try another hotel ?
inform((_:search,pricerange,'same price range');(_:search,type,'Hotel'))
user
Yes , in the same price range , please .
inform((_:booking,name,'Allenbell');(_:booking,ref,'MLL5WTH5');(_:booking,type,'Booking'))
system
Okay . I was able to book you into the Allenbell and your reference number is MLL5WTH5 .
thank()
user
That is wonderful . Thank you for your help .
system
Thank you . Please call again if you need anything else .
_:search name leverton house
_:search type Hotel
_:search name leverton house
_:system offered _:booking
_:booking type Booking
_:result name Leverton House
_:result type Hotel
_:search day monday
_:search people 4
_:search stay 3
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result name Leverton House
_:result type Hotel
_:search day monday
_:search people 4
_:search stay 3
_:system canthelp _:booking/93cee7a9
_:booking/93cee7a9 name Leverton House
_:booking/93cee7a9 type Booking
_:search name ?
_:system inquired _:user
_:search pricerange same price range
_:search type Hotel
_:system offered _:booking
_:result name Leverton House
_:result type Hotel
_:search day monday
_:search people 4
_:search stay 3
_:system canthelp _:booking/93cee7a9
_:booking/93cee7a9 name Leverton House
_:booking/93cee7a9 type Booking
_:search name ?
_:system inquired _:user
_:search pricerange same price range
_:search type Hotel
_:booking name Allenbell
_:booking ref MLL5WTH5
_:booking type Booking