inform((_:search,type,'Hotel'))
user
I 'm looking for a certain hotel someone recommended , I think it 's called the Gonville ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'the gonville hotel');(_:result,type,'Hotel'))
system
I have the gonville hotel . It is in the centre area of town . Would you like to make a booking today ?
inform((_:search,day,'saturday');(_:search,people,'one');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Yes , please , I need a room for 3 nights for one person , starting on Saturday .
canthelp((_:booking,type,'Booking')) request((_:search,name,?);(_:search,type,'Hotel')) reqmore()
system
I am sorry there are no rooms available at that time , can I help you find another hotel ?
inform((_:search,category,'hotel');(_:search,pricerange,'same price range');(_:search,type,'Hotel'))
user
How about a different hotel in the same price range please ?
inform((_:result,name,'University Arms Hotel');(_:result,pricerange,'same price range');(_:result,type,'Hotel'))
system
How about the University Arms Hotel ? It is in the same price range .
user
Is that rated similar to the other one ?
system
The rating is actually one star better . Is that one fine ?
user
Yes please boook me that one .
reqmore() inform((_:booking,name,'University Arms');(_:booking,ref,'JAD762EV');(_:booking,type,'Booking'))
system
All right , I have you booked at the University Arms with reference number JAD762EV . Can I help you with anything else ?
thank()
user
No thank you . You have been very helpful with all your assistance .
system
Pleasure all mine . Have a nice stay !
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result name the gonville hotel
_:result type Hotel
_:search day saturday
_:search people one
_:search stay 3
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result name the gonville hotel
_:result type Hotel
_:search day saturday
_:search people one
_:search stay 3
_:system canthelp _:booking/2f5c3d0b
_:booking/2f5c3d0b type Booking
_:search name ?
_:system inquired _:user
_:search category hotel
_:search pricerange same price range
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area centre
_:search day saturday
_:search people one
_:search stay 3
_:system canthelp _:booking/2f5c3d0b
_:booking/2f5c3d0b type Booking
_:search name ?
_:system inquired _:user
_:search category hotel
_:search pricerange same price range
_:search type Hotel
_:result name University Arms Hotel
_:result pricerange same price range
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:result area centre
_:search day saturday
_:search people one
_:search stay 3
_:system canthelp _:booking/2f5c3d0b
_:booking/2f5c3d0b type Booking
_:search name ?
_:system inquired _:user
_:search category hotel
_:search pricerange same price range
_:search type Hotel
_:result name University Arms Hotel
_:result pricerange same price range
_:result type Hotel
_:system offered _:booking
_:result area centre
_:search day saturday
_:search people one
_:search stay 3
_:system canthelp _:booking/2f5c3d0b
_:booking/2f5c3d0b type Booking
_:search name ?
_:search category hotel
_:search pricerange same price range
_:search type Hotel
_:result name University Arms Hotel
_:result pricerange same price range
_:result type Hotel
_:system inquired _:user
_:booking name University Arms
_:booking ref JAD762EV
_:booking type Booking