inform((_:search,name,'thanh binh');(_:search,type,'Restaurant'))
user
I 'm looking for a restaurant called Thanh Binh .
offer((_:booking,type,'Booking')) inform((_:result,address,'17 Magdelene St.');(_:result,area,'center');(_:result,type,'Restaurant'))
system
We have a restaurant by that name at 17 Magdelene St. in the city center . Would you like me to make a reservation ?
inform((_:search,day,'thursday');(_:search,duration,'16:30');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes , I 'll have 4 people to dine   at 16:30 on Thursday .
reqmore() inform((_:booking,ref,'2MNU3F8K');(_:booking,type,'Booking'))
system
You 're all set ! Your reference number is 2MNU3F8K . Do you need anything else ?
inform((_:search,type,'Train'))
user
Yes , can you help me book a train there as well ?
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Yes I can . What 's your departure time and city please ?
inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Forget about the train and help me find a theatre to go to while I 'm in town
inform((_:result,area,'center');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 located in the center .
request((_:result,area,?);(_:result,entrance_fee,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Could you give me the post code , area and entrance fee for one of them ?
inform((_:result,area,'centre');(_:result,entrance_fee,"I do n't have any information");(_:result,name,'ADC Theatre');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
Sure , the ADC Theatre is in the city centre at postcode cb58as . I do n't have any information on the entrance fee .
inform((_:search,destination,'the restaurant');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
Okay . I need a taxi to get to the restaurant by the booked time .
system
I can book you a taxi and I will get you a confirmation number
_:search name thanh binh
_:search type Restaurant
_:search name thanh binh
_:system offered _:booking
_:booking type Booking
_:result address 17 Magdelene St.
_:result area center
_:result type Restaurant
_:search day thursday
_:search duration 16:30
_:search people 4
_:search type Restaurant
_:search name thanh binh
_:system offered _:booking
_:result address 17 Magdelene St.
_:result area center
_:result type Restaurant
_:search day thursday
_:search duration 16:30
_:search people 4
_:system inquired _:user
_:booking ref 2MNU3F8K
_:booking type Booking
_:search type Train
_:search name thanh binh
_:system offered _:booking
_:result address 17 Magdelene St.
_:result area center
_:result type Restaurant
_:search day thursday
_:search duration 16:30
_:search people 4
_:system inquired _:user
_:booking ref 2MNU3F8K
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search category theatre
_:search type Attraction
_:search name thanh binh
_:system offered _:booking
_:result address 17 Magdelene St.
_:search day thursday
_:search duration 16:30
_:search people 4
_:system inquired _:user
_:booking ref 2MNU3F8K
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search category theatre
_:search type Attraction
_:result area center
_:result count 5
_:result type Attraction
_:result area ?
_:result entrance_fee ?
_:result postcode ?
_:search name thanh binh
_:system offered _:booking
_:result address 17 Magdelene St.
_:search day thursday
_:search duration 16:30
_:search people 4
_:system inquired _:user
_:booking ref 2MNU3F8K
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search category theatre
_:result count 5
_:result area centre
_:result entrance_fee I do n't have any information
_:result name ADC Theatre
_:result postcode cb58as
_:result type Attraction
_:search destination the restaurant
_:search type Restaurant
_:search type Taxi