inform((_:search,area,'centre');(_:search,category,'hotel');(_:search,has_internet,'yes');(_:search,type,'Hotel'))
user
I am coming to Cambridge and need a place to stay . Is there a hotel in centre with free wifi ?
inform((_:result,address,'regent street');(_:result,name,'university arms hotel');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
I recommend the university arms hotel on regent street . Would you like me to book your stay ?
inform((_:search,category,'guesthouse');(_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
Is that a guesthouse ? I would like to stay in a guesthouse please . It does n't need to have free parking .
inform((_:result,amount,'both');(_:result,category,'guesthouses');(_:result,name,'Alexander Bed and Breakfast');(_:result,name,'El Shaddai');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) thank()
system
No it is n't . But the Alexander Bed and Breakfast and El Shaddai are both guesthouses that fit what you are looking for . Are you interested ?
inform((_:search,name,'El Shaddai');(_:search,type,'Hotel'))
user
El Shaddai sounds interesting . Can you tell me more about it ?
inform((_:result,area,'centre');(_:result,category,'guesthouse');(_:result,name,'El Shaddai');(_:result,phone,'01223327978');(_:result,pricerange,'cheap');(_:result,type,'Hotel')) reqmore()
system
El Shaddai is a cheap guesthouse in the centre of town . the phone number is 01223327978 . Can I be of further help ?
inform((_:search,day,'tuesday');(_:search,people,'7');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Yes , please . I 'd like a reservation for 7 people for 4 nights starting on Tuesday .
reqmore() inform((_:booking,name,'El Shaddai');(_:booking,ref,'XS30YDOA');(_:booking,type,'Booking'))
system
You 're booked at the El Shaddai , ref # XS30YDOA . Can I help you with anything else today ?
thank()
user
Nothing else . Thank you for getting us booked .
bye() thank()
system
You 're welcome . Have a great day !
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
actually , i also need a chinese restaurant .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) thank()
system
I can help you with that . In what area of town and price range would you like to dine ?
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am looking for the south side and cheap please .
offer((_:booking,type,'Booking')) inform((_:result,name,'Lucky Star');(_:result,type,'Restaurant'))
system
The Lucky Star will fit your needs . Would you like me to make you   a reservation ?
inform((_:search,day,'same day');(_:search,duration,'13:30');(_:search,people,'same group of people');(_:search,type,'Restaurant'))
user
yes the same group of people on the same day at 13:30 please , sorry for being such a pain today
thank() inform((_:booking,day,'Tuesday');(_:booking,duration,'13:30');(_:booking,name,'Lucky Star Restaurant');(_:booking,people,'7');(_:booking,type,'Booking'))
system
Okay .   I have made reservations for 7 at the Lucky Star Restaurant for Tuesday at 13:30 .
thank() request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Thank you . What is the reference number ?
inform((_:booking,ref,'3GOBXA42');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : 3GOBXA42 .
thank()
user
Ok great , Thank you . That is all that I need .
system
You 're welcome ! Have a great day !
_:search area centre
_:search category hotel
_:search has_internet yes
_:search type Hotel
_:search area centre
_:search has_internet yes
_:result address regent street
_:result name university arms hotel
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:search category guesthouse
_:search has_parking yes
_:search type Hotel
_:search area centre
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:booking type Booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:result category guesthouses
_:result name Alexander Bed and Breakfast
_:result name El Shaddai
_:result type Hotel
_:search name El Shaddai
_:search type Hotel
_:search area centre
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:booking type Booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result type Hotel
_:system inquired _:user
_:search day tuesday
_:search people 7
_:search stay 4
_:search type Hotel
_:search area centre
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result type Hotel
_:search day tuesday
_:search people 7
_:search stay 4
_:search type Hotel
_:system inquired _:user
_:booking name El Shaddai
_:booking ref XS30YDOA
_:booking type Booking
_:search area centre
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result type Hotel
_:search day tuesday
_:search people 7
_:search stay 4
_:system inquired _:user
_:booking name El Shaddai
_:booking ref XS30YDOA
_:booking type Booking
_:system dismissed _:user
_:search food chinese
_:search type Restaurant
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result type Hotel
_:search day tuesday
_:search people 7
_:search stay 4
_:system inquired _:user
_:booking name El Shaddai
_:booking ref XS30YDOA
_:booking type Booking
_:system dismissed _:user
_:search food chinese
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result phone 01223327978
_:result pricerange cheap
_:search stay 4
_:system inquired _:user
_:booking name El Shaddai
_:booking ref XS30YDOA
_:booking type Booking
_:system dismissed _:user
_:search food chinese
_:search area south
_:search pricerange cheap
_:result name Lucky Star
_:result type Restaurant
_:search day same day
_:search duration 13:30
_:search people same group of people
_:search type Restaurant
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result phone 01223327978
_:result pricerange cheap
_:search stay 4
_:system inquired _:user
_:booking ref XS30YDOA
_:system dismissed _:user
_:search food chinese
_:search area south
_:search pricerange cheap
_:result name Lucky Star
_:result type Restaurant
_:search day same day
_:search duration 13:30
_:search people same group of people
_:search type Restaurant
_:booking day Tuesday
_:booking duration 13:30
_:booking name Lucky Star Restaurant
_:booking people 7
_:booking type Booking
_:result ref ?
_:search has_internet yes
_:result address regent street
_:system offered _:booking
_:search category guesthouse
_:search has_parking yes
_:result amount both
_:search name El Shaddai
_:result area centre
_:result category guesthouse
_:result phone 01223327978
_:result pricerange cheap
_:search stay 4
_:system inquired _:user
_:system dismissed _:user
_:search food chinese
_:search area south
_:search pricerange cheap
_:result name Lucky Star
_:result type Restaurant
_:search day same day
_:search duration 13:30
_:search people same group of people
_:search type Restaurant
_:booking day Tuesday
_:booking duration 13:30
_:booking name Lucky Star Restaurant
_:booking people 7
_:result ref ?
_:booking ref 3GOBXA42
_:booking type Booking