inform((_:search,leave_at,'18:15');(_:search,type,'Train'))
user
I want to get a train that is leaving after 18:15 .
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
What area would you like to catch a train and what day would you like to leave ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need to go from Cambridge to London Kings Cross on Tuesday .
inform((_:result,arrive_by,'19:51');(_:result,destination,'kings cross');(_:result,leave_at,'19:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving at 19:00 and arriving at kings cross at 19:51 would you like me to book it for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
How much is it ?
inform((_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
It 's 23.60 pounds .
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Ok . I also want to book an expensive restaurant in the centre part of town .
request((_:search,food,?);(_:search,type,'Restaurant')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I just want to make sure you did n't want me to book that train for you ?   And what type of food are you looking for ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant')) request((_:result,arrive_by,?);(_:result,food,?);(_:result,ticket,?);(_:result,type,'Restaurant');(_:result,type,'Train'))
user
I just needed the price and arrival time . Food wise , anything will do , I 'm not a picky eater
inform((_:result,address,'100 Mill Road City Centre');(_:result,food,'african');(_:result,name,'bedouin');(_:result,type,'Restaurant'))
system
Then how about bedouin an african restaurant on 100 Mill Road City Centre ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
That sounds great . is it expensive ?
inform((_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
yes , it 's an expensive restaurant .
thank()
user
Great .   Thanks for your assistance today !
system
You 're very welcome . have a good visit .
_:search leave_at 18:15
_:search type Train
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:result arrive_by 19:51
_:result destination kings cross
_:result leave_at 19:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result destination kings cross
_:result leave_at 19:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 23.60 pounds
_:result type Train
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result destination kings cross
_:result leave_at 19:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 23.60 pounds
_:result type Train
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:search type Restaurant
_:result arrive_by ?
_:result food ?
_:result ticket ?
_:result type Restaurant
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result destination kings cross
_:result leave_at 19:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 23.60 pounds
_:search area centre
_:search food dontcare
_:result arrive_by ?
_:result ticket ?
_:result address 100 Mill Road City Centre
_:result food african
_:result name bedouin
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search leave_at 18:15
_:search day tuesday
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 19:51
_:result destination kings cross
_:result leave_at 19:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 23.60 pounds
_:search area centre
_:search food dontcare
_:result arrive_by ?
_:result ticket ?
_:result address 100 Mill Road City Centre
_:result food african
_:result name bedouin
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result type Restaurant