inform((_:search,category,'hotel');(_:search,has_internet,'yes');(_:search,stars,'4');(_:search,type,'Hotel'))
user
i am looking for a place to stay . The hotel should have a star of 4 and should include free wifi .
inform((_:result,amount,'several');(_:result,type,'Hotel')) request((_:booking,day,?);(_:booking,type,'Booking'))
system
I have several , when is your stay ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
Do you have one that is a guesthouse ?
inform((_:result,name,'a and b guest house');(_:result,type,'Hotel'))
system
a and b guest house is very nice
inform((_:search,day,'thursday');(_:search,people,'6');(_:search,stay,'three');(_:search,type,'Hotel'))
user
book for   6 people and three   nights starting on thursday .
reqmore() inform((_:booking,ref,'ZCRPOLK8');(_:booking,type,'Booking'))
system
Booking was successful . 
 Reference number is : ZCRPOLK8 . anything else ?
inform((_:search,name,'a and b guest house');(_:search,pricerange,'moderate');(_:search,type,'Hotel'))
user
Can you confirm a and b guest house is in the moderate price range , please ?
inform((_:result,pricerange,'moderate');(_:result,type,'Hotel'))
system
Yes it is in the moderate price range , what help can I help with ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Okay , now I would like to find a restaurant in the centre that is also in the moderate price range
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
There are 21 options . What type of food do you like ? Our restaurants are quite diverse .
inform((_:search,day,'thursday');(_:search,duration,'13:15');(_:search,people,'6');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Choose one and surprise me . And book it for 6 people on thursday at 13:15 . I 'll need the reference number
canthelp((_:booking,type,'Booking')) reqmore()
system
It appears our booking system is down . Is there anything else I can do for you ?
inform((_:search,type,'Restaurant'))
user
Yes ! What do you mean it 's down ? I need a place to eat !
inform((_:booking,ref,'K9PYGG5A');(_:booking,type,'Booking'))
system
Ah , it was just a temporary lapse , it is back up now .   I have you booked .   The reference number is K9PYGG5A .
inform((_:search,departure,'the guesthouse');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
What is the name of the restaurant you booked the reservation at ? We will also need a taxi to get there from the guesthouse .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi')) inform((_:result,name,'restaurant one seven');(_:result,type,'Restaurant'))
system
It was restaurant one seven , what time would you like that taxi ?
inform((_:search,type,'Hotel');(_:search,type,'Restaurant'))
user
I 'll need it to pick me up from the hotel and arrive at the restaurant at least 10 min before our reservation ?
inform((_:result,car,'white bmw');(_:result,phone,'07793421858');(_:result,type,'Taxi'))
system
A white bmw is booked for you . The contact number is 07793421858
bye()
user
Thanks ! I 'm all set now . Bye !
system
You are welcome and good bye
_:search category hotel
_:search has_internet yes
_:search stars 4
_:search type Hotel
_:search has_internet yes
_:search stars 4
_:result amount several
_:result type Hotel
_:booking day ?
_:booking type Booking
_:search category guesthouse
_:search type Hotel
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:booking type Booking
_:search category guesthouse
_:result name a and b guest house
_:result type Hotel
_:search day thursday
_:search people 6
_:search stay three
_:search type Hotel
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:result name a and b guest house
_:result type Hotel
_:search day thursday
_:search people 6
_:search stay three
_:system inquired _:user
_:booking ref ZCRPOLK8
_:booking type Booking
_:search name a and b guest house
_:search pricerange moderate
_:search type Hotel
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:result name a and b guest house
_:search day thursday
_:search people 6
_:search stay three
_:system inquired _:user
_:booking ref ZCRPOLK8
_:booking type Booking
_:search name a and b guest house
_:result pricerange moderate
_:result type Hotel
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:result name a and b guest house
_:search stay three
_:system inquired _:user
_:booking ref ZCRPOLK8
_:booking type Booking
_:search name a and b guest house
_:result pricerange moderate
_:search area centre
_:search pricerange moderate
_:search food ?
_:result count 21
_:result type Restaurant
_:search day thursday
_:search duration 13:15
_:search people 6
_:search type Restaurant
_:result ref ?
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:result name a and b guest house
_:search stay three
_:booking ref ZCRPOLK8
_:booking type Booking
_:search name a and b guest house
_:result pricerange moderate
_:search area centre
_:search pricerange moderate
_:search food ?
_:result count 21
_:result type Restaurant
_:search day thursday
_:search duration 13:15
_:search people 6
_:result ref ?
_:system canthelp _:booking/124dee3d
_:booking/124dee3d type Booking
_:system inquired _:user
_:search type Restaurant
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:result name a and b guest house
_:search stay three
_:search name a and b guest house
_:result pricerange moderate
_:search area centre
_:search pricerange moderate
_:search food ?
_:result count 21
_:result type Restaurant
_:search day thursday
_:search duration 13:15
_:search people 6
_:result ref ?
_:system canthelp _:booking/124dee3d
_:booking/124dee3d type Booking
_:system inquired _:user
_:booking ref K9PYGG5A
_:booking type Booking
_:search departure the guesthouse
_:search type Restaurant
_:search type Taxi
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:search stay three
_:search name a and b guest house
_:result pricerange moderate
_:search area centre
_:search pricerange moderate
_:search food ?
_:result count 21
_:search day thursday
_:search duration 13:15
_:search people 6
_:result ref ?
_:system canthelp _:booking/124dee3d
_:booking/124dee3d type Booking
_:system inquired _:user
_:booking ref K9PYGG5A
_:booking type Booking
_:search departure the guesthouse
_:search arrive_by ?
_:search leave_at ?
_:result name restaurant one seven
_:result type Restaurant
_:search type Hotel
_:search type Restaurant
_:search has_internet yes
_:search stars 4
_:result amount several
_:booking day ?
_:search category guesthouse
_:search stay three
_:search name a and b guest house
_:result pricerange moderate
_:search area centre
_:search pricerange moderate
_:search food ?
_:result count 21
_:search day thursday
_:search duration 13:15
_:search people 6
_:result ref ?
_:system canthelp _:booking/124dee3d
_:booking/124dee3d type Booking
_:system inquired _:user
_:booking ref K9PYGG5A
_:booking type Booking
_:search departure the guesthouse
_:search arrive_by ?
_:search leave_at ?
_:result name restaurant one seven
_:search type Hotel
_:search type Restaurant
_:result car white bmw
_:result phone 07793421858
_:result type Taxi
_:user dismissed _:system