inform((_:search,name,'thanh binh');(_:search,type,'Restaurant'))
user
I 'm looking for a restaurant called Thanh Binh . Can you help me find it ?
reqmore() inform((_:result,area,'west');(_:result,food,'vietnamese');(_:result,name,'Thanh Binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Absolutely ! Thanh Binh is a wonderful vietnamese restaurant in the west . It is relatively cheap . Would you like any more information about them ?
inform((_:search,day,'friday');(_:search,type,'Restaurant'))
user
Sounds perfect . Could you book it for myself and five others on Friday ?
system
Would you like a reference number .
inform((_:search,day,'friday');(_:search,duration,'12:00');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes but if you could book it for 6 , at 12:00 on friday , that would be good .
offer((_:booking,type,'Booking'))
system
I can , would you like the reference number ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Of course I would like the reference number .
canthelp((_:booking,type,'Booking'))
system
I 'm sorry but I can not book that .
inform((_:search,people,'11');(_:search,type,'Hotel'))
user
Can you book it for 11 instead ?
canthelp((_:booking,type,'Booking'))
system
Sorry , the restaurant ca n't accommodate you during that time .
inform((_:search,duration,'11:00');(_:search,type,'Restaurant'))
user
Hmm , how about 11:00 ?
canthelp((_:booking,duration,'11:00');(_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Looks like my system is acting up and ca n't accept you for 11:00 . Want to try for another time ?
inform((_:search,duration,'12:00');(_:search,type,'Restaurant'))
user
Yes , please try for 12:00
canthelp((_:booking,type,'Booking'))
system
I 'm sorry . I 'm not sure what is going on . It will not let me book . Would you like to try a different restaurant ?
user
Sure , what do you have available ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Would you like to stick with Asian Cuisine ?
inform((_:search,day,'friday');(_:search,type,'Restaurant'))
user
Can you please try again at 12 on friday ?
canthelp((_:booking,type,'Booking'))
system
I 'm sorry I am unable to book that .
inform((_:search,duration,'11:00');(_:search,type,'Restaurant'))
user
How about 11:00 that day ?
canthelp((_:booking,type,'Booking')) reqmore()
system
I am sorry I can not book it at that time . Would you like to try another restaurant ?
inform((_:search,type,'Attraction'))
user
No thank you .   Can you help me find an attraction ?
request((_:search,category,?);(_:search,type,'Attraction'))
system
What kind of attraction would you like to see ?
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Any kind of entertainment in the Centre please .
request((_:search,area,?);(_:search,type,'Attraction')) select((_:result,area,'different area');(_:result,category,'entertainment');(_:result,type,'Attraction')) canthelp((_:search,type,'Attraction'))
system
Nothing was found . Shall I look for entertainment in a different area ?
inform((_:search,category,'concert hall');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,car,?);(_:result,type,'Attraction');(_:result,type,'Taxi'))
user
Yes , the type of concert hall . I need address and a taxi for 11 and the car type and contact number please
inform((_:result,area,'centre');(_:result,category,'concert hall');(_:result,count,'1');(_:result,name,'man on the moon');(_:result,type,'Attraction'))
system
There is one concert hall in centre .   It is called the man on the moon .
request((_:result,address,?);(_:result,type,'Attraction'))
user
Great .   Can you please give me the address ?
inform((_:result,address,'2 norfolk street');(_:result,type,'Attraction')) thank()
system
Absolutely ! The address is 2 norfolk street .
inform((_:search,type,'Taxi'))
user
Great , can you also book a taxi for me ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where are you departing from and where are you headed ?
inform((_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
I just need it to arrive at the restaurant at the correct time .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I do need the departure place and destination in order to book the taxi .
inform((_:search,departure,'the man on the moon');(_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
From the concert hall to the restaurant .
thank() request((_:booking,people,?);(_:booking,type,'Booking'))
system
Alright . How many people is this for ?
user
It will be for six people .
offer((_:booking,type,'Booking'))
system
I need to book a reservation for you to tell the taxi man ...
inform((_:search,type,'Taxi'))
user
Can you please just book me for taxi service ?
inform((_:booking,day,'Friday');(_:booking,duration,'12:00');(_:booking,name,'Thanh binh');(_:booking,people,'6');(_:booking,ref,'9N8M4HQ9');(_:booking,type,'Booking')) request((_:search,departure,?);(_:search,type,'Taxi'))
system
You are in luck , I have managed to get you a table for 6 at 12:00 Friday at Thanh binh . 9N8M4HQ9 is the reference . Would you still like a taxi ?
inform((_:search,duration,'time for that reservation');(_:search,type,'Restaurant'))
user
Yes , please . I need it to get to the restaurant in time for that reservation .
inform((_:result,arrive_by,'12:00');(_:result,car,'blue honda');(_:result,destination,'the restaurant');(_:result,phone,'0713064642');(_:result,type,'Taxi'))
system
I have booked you with a blue honda to arrive by 12:00 at the restaurant . The phone number to contact them is 0713064642 . 
 .
thank()
user
Thank you , that is everything .
system
You are welcome . Thank you for your patience . I 'm sure you will have a delightful visit to Cambridge . Goodbye .
_:search name thanh binh
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:search duration 12:00
_:search people 6
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:search duration 12:00
_:search people 6
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result ref ?
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:search duration 12:00
_:system offered _:booking
_:booking type Booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:search type Hotel
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:system offered _:booking
_:booking type Booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:search duration 11:00
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:00
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:00
_:search type Restaurant
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:00
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:search type Restaurant
_:search name thanh binh
_:system inquired _:user
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:search type Restaurant
_:search name thanh binh
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search type Attraction
_:search name thanh binh
_:result area west
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area centre
_:search category entertainment
_:search type Attraction
_:search name thanh binh
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:result area different area
_:result category entertainment
_:result type Attraction
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:search type Attraction
_:result address ?
_:result car ?
_:result type Taxi
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:search type Attraction
_:result address ?
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result type Attraction
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search type Taxi
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search departure ?
_:search destination the restaurant
_:search type Taxi
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:booking type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search departure the man on the moon
_:search destination the restaurant
_:search type Taxi
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search departure the man on the moon
_:search destination the restaurant
_:search type Taxi
_:booking people ?
_:booking type Booking
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:booking duration ?
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:search duration 11:00
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search departure the man on the moon
_:search destination the restaurant
_:booking people ?
_:booking type Booking
_:search type Taxi
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result car ?
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search destination the restaurant
_:booking day Friday
_:booking duration 12:00
_:booking name Thanh binh
_:booking people 6
_:booking ref 9N8M4HQ9
_:booking type Booking
_:search departure ?
_:search duration time for that reservation
_:search type Restaurant
_:search name thanh binh
_:result food vietnamese
_:result pricerange cheap
_:system offered _:booking
_:result ref ?
_:system canthelp _:booking/0cdc377d
_:booking/0cdc377d type Booking
_:search people 11
_:system canthelp _:booking/3bf56c35
_:booking/3bf56c35 type Booking
_:system canthelp _:booking/be3f9b6f
_:booking/be3f9b6f duration 11:00
_:booking/be3f9b6f type Booking
_:system canthelp _:booking/131b0e19
_:booking/131b0e19 type Booking
_:search food ?
_:search day friday
_:system canthelp _:booking/e1d52d18
_:booking/e1d52d18 type Booking
_:system canthelp _:booking/65221958
_:booking/65221958 type Booking
_:system inquired _:user
_:search area ?
_:system canthelp _:search/a9dec036
_:search/a9dec036 type Attraction
_:search category concert hall
_:result area centre
_:result category concert hall
_:result count 1
_:result name man on the moon
_:result address 2 norfolk street
_:search destination the restaurant
_:booking day Friday
_:booking duration 12:00
_:booking name Thanh binh
_:booking people 6
_:booking ref 9N8M4HQ9
_:booking type Booking
_:search departure ?
_:search duration time for that reservation
_:search type Restaurant
_:result arrive_by 12:00
_:result car blue honda
_:result destination the restaurant
_:result phone 0713064642
_:result type Taxi