inform((_:search,name,'leverton house');(_:search,type,'Hotel'))
user
Can you find a hotel by the name of Leverton House ?
inform((_:result,area,'east');(_:result,name,'Leverton House');(_:result,type,'Hotel'))
system
Yes , I have found the Leverton House located in the east .
inform((_:search,day,'sunday');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Great , can you book a room for   people please ?   We would like 3 nights arriving on Sunday .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people would you like to book ?
inform((_:search,people,'5');(_:search,type,'Hotel'))
user
Sorry about that . I would like it for 5 people .
canthelp((_:booking,type,'Booking')) reqmore()
system
Sorry , I could n't find a room available . Would you like to find another hotel ?
inform((_:search,category,'hotel');(_:search,name,'Leverton house');(_:search,name,'none');(_:search,pricerange,'same pricerange');(_:search,type,'Hotel'))
user
Please , search another hotel in the same pricerange that the Leverton house .
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'several');(_:result,type,'Hotel'))
system
I have several , in what area would you like it to be ?
inform((_:search,area,'dontcare');(_:search,type,'Hotel'))
user
i do n't care .
reqmore() inform((_:booking,name,'allenbell');(_:booking,ref,'BON67CDZ');(_:booking,type,'Booking'))
system
I was able to book you at the allenbell . Reference number BON67CDZ . Is there anything else I can help you with ?
thank()
user
Great that was all I needed today , thank you !
system
Okay . Glad I could be of assistance .
_:search name leverton house
_:search type Hotel
_:search name leverton house
_:result area east
_:result name Leverton House
_:result type Hotel
_:search day sunday
_:search stay 3
_:search type Hotel
_:search name leverton house
_:result area east
_:result name Leverton House
_:result type Hotel
_:search day sunday
_:search stay 3
_:booking people ?
_:booking type Booking
_:search people 5
_:search type Hotel
_:result area east
_:result name Leverton House
_:result type Hotel
_:search day sunday
_:search stay 3
_:booking people ?
_:booking type Booking
_:search people 5
_:system canthelp _:booking/a12c5366
_:booking/a12c5366 type Booking
_:system inquired _:user
_:search category hotel
_:search name Leverton house
_:search name none
_:search pricerange same pricerange
_:search type Hotel
_:result area east
_:result name Leverton House
_:search day sunday
_:search stay 3
_:booking people ?
_:booking type Booking
_:search people 5
_:system canthelp _:booking/a12c5366
_:booking/a12c5366 type Booking
_:system inquired _:user
_:search category hotel
_:search name Leverton house
_:search name none
_:search pricerange same pricerange
_:result amount several
_:result type Hotel
_:search area dontcare
_:search type Hotel
_:result area east
_:result name Leverton House
_:search day sunday
_:search stay 3
_:booking people ?
_:search people 5
_:system canthelp _:booking/a12c5366
_:booking/a12c5366 type Booking
_:search category hotel
_:search name Leverton house
_:search name none
_:search pricerange same pricerange
_:result amount several
_:result type Hotel
_:search area dontcare
_:search type Hotel
_:system inquired _:user
_:booking name allenbell
_:booking ref BON67CDZ
_:booking type Booking