inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
I 'd like to visit a theatre .
inform((_:result,area,'Cambridge');(_:result,area,'centre');(_:result,category,'theaters');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 theaters in Cambridge most of which are in the centre of town . Would you like information on one of those ?
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Yes please . I 'll need postcodes as well .
inform((_:result,area,'centre');(_:result,area,'south');(_:result,name,'ADC theatre');(_:result,name,'Cambridge Arts Theatre');(_:result,name,'Cambridge Corn Exchange');(_:result,name,'Junction');(_:result,name,'Mumford Theatre');(_:result,postcode,'cb11pt');(_:result,postcode,'cb17gx');(_:result,postcode,'cb23pj');(_:result,postcode,'cb23qe');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
The Junction is in the south , cb17gx . The other 4 are in centre . ADC theatre , cb58as . Cambridge Arts Theatre , cb23pj . Mumford Theatre , cb11pt . And The Cambridge Corn Exchange , cb23qe .
inform((_:search,area,'centre');(_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Thank you . Can you help me find a place to dine that is in the centre and serves asian oriental ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
Yes I have several . Do you have a price preference ?
inform((_:search,pricerange,'cheaper');(_:search,type,'Restaurant'))
user
Yes , I 'm looking for something inexpensive . Can you list those in the cheaper price range ?
offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,name,'Dojo Noodle Bar');(_:result,name,'J Restaurant');(_:result,type,'Restaurant'))
system
Yes , there are two options :   Dojo Noodle Bar and J Restaurant .   Would you like to book one ?
inform((_:search,day,'wednesday');(_:search,duration,'14:30');(_:search,name,'dojo noodle bar');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Let 's try Dojo Noodle Bar for 7 on Wednesday at 14:30 .
inform((_:booking,day,'Wednesday');(_:booking,duration,'14:30');(_:booking,name,'Dojo noodle bar');(_:booking,people,'7');(_:booking,type,'Booking'))
system
Ok , I have made a reservation at Dojo noodle bar for 7 on Wednesday at 14:30
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Awesome . Could I have the reference number , please ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
The booking was unsuccessful for that time , can we try another time that works for you ?
user
Maybe fifteen minutes earlier ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
No , I 'm afraid it 's still not available .   Would you like to try a new time ?
inform((_:search,duration,'13:30');(_:search,type,'Restaurant'))
user
Let 's try 13:30 please .
inform((_:booking,ref,'8MO0T711');(_:booking,type,'Booking'))
system
That booking was successful . The reference number is 8MO0T711 .
inform((_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
I will need to also book a taxi from to the restaurant .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I 'm sorry , what is your destination and departure site ?
inform((_:search,arrive_by,'13:30');(_:search,destination,'the restaurant');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to go from the theatre and arrive at the restaurant by 13:30 . Could I get the contact number and vehicle type please ?
system
Could you please tell me what theatre option you have chosen ?
inform((_:search,departure,'the junction');(_:search,type,'Taxi'))
user
The Junction is the theater I chose .
inform((_:result,car,'red volkswagen');(_:result,phone,'07277320157');(_:result,type,'Taxi')) reqmore()
system
Okay , I went ahead and booked that for you . You will be in a red volkswagen , and the contact number is 07277320157 . Is there anything else I can assist you with today ?
thank()
user
No , I think you have covered it all .   Thank you .
system
You 're welcome . Have a nice day !
_:search category theatre
_:search type Attraction
_:search category theatre
_:search type Attraction
_:result area Cambridge
_:result area centre
_:result category theaters
_:result count 5
_:result type Attraction
_:result postcode ?
_:search category theatre
_:result category theaters
_:result count 5
_:result area centre
_:result area south
_:result name ADC theatre
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result name Junction
_:result name Mumford Theatre
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:result type Attraction
_:search area centre
_:search food asian oriental
_:search type Restaurant
_:search category theatre
_:result category theaters
_:result count 5
_:result area centre
_:result area south
_:result name ADC theatre
_:result name Cambridge Arts Theatre
_:result name Cambridge Corn Exchange
_:result name Junction
_:result name Mumford Theatre
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:result type Restaurant
_:search pricerange cheaper
_:search type Restaurant
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:booking type Booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search duration 14:30
_:search name dojo noodle bar
_:search people 7
_:search type Restaurant
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search duration 14:30
_:search name dojo noodle bar
_:search people 7
_:search type Restaurant
_:booking day Wednesday
_:booking duration 14:30
_:booking name Dojo noodle bar
_:booking people 7
_:booking type Booking
_:result ref ?
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search duration 14:30
_:search name dojo noodle bar
_:search people 7
_:search type Restaurant
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:booking duration ?
_:booking type Booking
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search name dojo noodle bar
_:search people 7
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:system canthelp _:booking/29f0bfc6
_:booking/29f0bfc6 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 13:30
_:search type Restaurant
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search name dojo noodle bar
_:search people 7
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:system canthelp _:booking/29f0bfc6
_:booking/29f0bfc6 type Booking
_:booking duration ?
_:search duration 13:30
_:booking ref 8MO0T711
_:booking type Booking
_:search type Restaurant
_:search type Taxi
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search name dojo noodle bar
_:search people 7
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:system canthelp _:booking/29f0bfc6
_:booking/29f0bfc6 type Booking
_:booking duration ?
_:search duration 13:30
_:booking ref 8MO0T711
_:booking type Booking
_:search departure ?
_:search arrive_by 13:30
_:search destination the restaurant
_:search type Taxi
_:result car ?
_:result type Taxi
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:result type Restaurant
_:search day wednesday
_:search name dojo noodle bar
_:search people 7
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:system canthelp _:booking/29f0bfc6
_:booking/29f0bfc6 type Booking
_:booking duration ?
_:search duration 13:30
_:booking ref 8MO0T711
_:booking type Booking
_:search arrive_by 13:30
_:search destination the restaurant
_:result car ?
_:result type Taxi
_:search departure the junction
_:search type Taxi
_:search category theatre
_:result category theaters
_:result area centre
_:result area south
_:result postcode cb11pt
_:result postcode cb17gx
_:result postcode cb23pj
_:result postcode cb23qe
_:result postcode cb58as
_:search area centre
_:search food asian oriental
_:result amount several
_:search pricerange cheaper
_:system offered _:booking
_:result count 2
_:result name Dojo Noodle Bar
_:result name J Restaurant
_:search day wednesday
_:search name dojo noodle bar
_:search people 7
_:booking day Wednesday
_:booking name Dojo noodle bar
_:booking people 7
_:result ref ?
_:system canthelp _:booking/18f40ce7
_:booking/18f40ce7 type Booking
_:system canthelp _:booking/29f0bfc6
_:booking/29f0bfc6 type Booking
_:booking duration ?
_:search duration 13:30
_:booking ref 8MO0T711
_:booking type Booking
_:search arrive_by 13:30
_:search destination the restaurant
_:search departure the junction
_:search type Taxi
_:result car red volkswagen
_:result phone 07277320157
_:result type Taxi
_:system inquired _:user