inform((_:search,area,'center');(_:search,category,'hotel');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I need to book a hotel .   I need it to be in the town center , and have a minimum star rating of 4 .
request((_:search,category,?);(_:search,type,'Hotel'))
system
Would you prefer a guesthouse or a hotel proper ?
inform((_:search,category,'hotel');(_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
It should be a hotel type with free parking .
offer((_:booking,type,'Booking')) inform((_:result,address,'regent street');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'University Arms Hotel');(_:result,stars,'4');(_:result,type,'Hotel'))
system
I have found University Arms Hotel on regent street with a 4 star rating and free parking and internet . Would you like to book ?
inform((_:search,day,'sunday');(_:search,people,'3');(_:search,stay,'5');(_:search,type,'Hotel'))
user
Yes , please book that one . It will need to be for 3 people , and we 'll be staying for 5 nights , beginning on Sunday .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
I 'm sorry , the booking was unsuccessful .   Would you like to try to stay for a short period or start on a different day ?
inform((_:search,stay,'3');(_:search,type,'Hotel')) request((_:result,ref,?);(_:result,type,'Hotel'))
user
Alright , what about only for 3 nights then . I can do 3 , book it and give me the reference number please .
reqmore() inform((_:booking,ref,'D09887CW');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : D09887CW . Is there anything else I can do for you today ?
inform((_:search,area,'same area');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
I 'd like to find a korean restaurant in the same area as that hotel .
inform((_:result,address,'Regent Street');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There 's a restaurant called Little Seoul .   It 's expensive , but also on Regent Street . Would that work ?
inform((_:search,day,'sunday');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes please book it for 3 people sunday .
request((_:booking,duration,?);(_:booking,type,'Booking'))
system
What time would you like the reservation ?
inform((_:search,day,'same day');(_:search,duration,'14:15');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
I would like it booked for the same day at 14:15 . Can I get a reference number too ?
reqmore() inform((_:booking,ref,'9NJXK7CF');(_:booking,type,'Booking'))
system
The booking was successful . Your reference number is 9NJXK7CF . Is there anything else I can help you with today ?
user
No that will be all .
system
Alright . If you need anything else , feel free to ask . Have a wonderful trip .
_:search area center
_:search category hotel
_:search stars 4
_:search type Hotel
_:search area center
_:search stars 4
_:search category hotel
_:search has_parking yes
_:search type Hotel
_:search area center
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:booking type Booking
_:result address regent street
_:result has_internet none
_:result has_parking none
_:result name University Arms Hotel
_:result stars 4
_:result type Hotel
_:search day sunday
_:search people 3
_:search stay 5
_:search type Hotel
_:search area center
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:result address regent street
_:result has_internet none
_:result has_parking none
_:result name University Arms Hotel
_:result stars 4
_:result type Hotel
_:search day sunday
_:search people 3
_:system canthelp _:booking/fe4b2194
_:booking/fe4b2194 type Booking
_:booking day ?
_:booking stay ?
_:booking type Booking
_:search stay 3
_:search type Hotel
_:result ref ?
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:result address regent street
_:result has_internet none
_:result has_parking none
_:result name University Arms Hotel
_:result stars 4
_:result type Hotel
_:search day sunday
_:search people 3
_:system canthelp _:booking/fe4b2194
_:booking/fe4b2194 type Booking
_:booking day ?
_:booking stay ?
_:search stay 3
_:result ref ?
_:system inquired _:user
_:booking ref D09887CW
_:booking type Booking
_:search area same area
_:search food korean
_:search type Restaurant
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:result has_internet none
_:result has_parking none
_:result stars 4
_:system canthelp _:booking/fe4b2194
_:booking/fe4b2194 type Booking
_:booking day ?
_:booking stay ?
_:search stay 3
_:result ref ?
_:system inquired _:user
_:booking ref D09887CW
_:booking type Booking
_:search area same area
_:search food korean
_:result address Regent Street
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search people 3
_:search type Restaurant
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:result has_internet none
_:result has_parking none
_:result stars 4
_:system canthelp _:booking/fe4b2194
_:booking/fe4b2194 type Booking
_:booking day ?
_:booking stay ?
_:search stay 3
_:result ref ?
_:system inquired _:user
_:booking ref D09887CW
_:search area same area
_:search food korean
_:result address Regent Street
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search people 3
_:booking duration ?
_:booking type Booking
_:search day same day
_:search duration 14:15
_:search type Restaurant
_:search stars 4
_:search category hotel
_:search has_parking yes
_:system offered _:booking
_:result has_internet none
_:result has_parking none
_:result stars 4
_:system canthelp _:booking/fe4b2194
_:booking/fe4b2194 type Booking
_:booking day ?
_:booking stay ?
_:search stay 3
_:result ref ?
_:search area same area
_:search food korean
_:result address Regent Street
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search people 3
_:booking duration ?
_:search day same day
_:search duration 14:15
_:search type Restaurant
_:system inquired _:user
_:booking ref 9NJXK7CF
_:booking type Booking