inform((_:search,day,'thursday');(_:search,departure,'leicester');(_:search,type,'Train'))
user
I need a train leaving from leicester on thursday . Thanks .
inform((_:result,count,'19');(_:result,day,'Thursday');(_:result,departure,'Leicester');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are 19 trains leaving Leicester Thursday . Where do you want to arrive ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to arrive in Cambridge
inform((_:result,arrive_by,'10:54');(_:result,id,'TR3839');(_:result,ticket,'37.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3839 ill cost you 37.80 pounds and will arrive 10:54 . can we book ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Okay . Could you make me a booking for 2 people please ?
inform((_:booking,category,'Train');(_:booking,ref,'UE7KA83C');(_:booking,ticket,'75.59 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 75.59 GBP payable at the station . Your reference number is UE7KA83C
inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Can you help me find a place to eat that is really cheap in the centre of town ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Okay , what type of food would you like to eat ?
inform((_:search,duration,'10:00');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Just to make sure , TR3839 leaves after 10:00 correct ?   I can not leave before then . As far as cuisine type , Chinese sounds good .
inform((_:result,leave_at,'10:54');(_:result,type,'Train')) offer((_:booking,type,'Booking')) inform((_:result,address,'88 Mill Road City Centre');(_:result,name,'Rice House');(_:result,type,'Restaurant'))
system
Yes the train leaves at 10:54 .   I would recommend Rice House at 88 Mill Road City Centre .   Would you like to make a reservation ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
No thank you . I just need the postcode please .
inform((_:result,postcode,'cb12bd');(_:result,type,'Restaurant')) reqmore()
system
The post code is cb12bd . Can I get you anything else ?
inform((_:search,type,'Restaurant'))
user
yes I will be hungry i need a place to eat
offer((_:booking,type,'Booking')) inform((_:result,name,'rice house');(_:result,type,'Restaurant'))
system
rice house is a good place . Shall I book it ?
thank()
user
Sorry , I do n't need a reservation . That 's all I need , thanks so much for your help !
system
Thank you for using this service goodbye
_:search day thursday
_:search departure leicester
_:search type Train
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:result type Train
_:search destination cambridge
_:search type Train
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref UE7KA83C
_:booking ticket 75.59 GBP
_:booking type Booking
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref UE7KA83C
_:booking ticket 75.59 GBP
_:booking type Booking
_:search area centre
_:search pricerange cheap
_:search duration 10:00
_:search food chinese
_:search type Restaurant
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref UE7KA83C
_:booking ticket 75.59 GBP
_:booking type Booking
_:search area centre
_:search pricerange cheap
_:search duration 10:00
_:search food chinese
_:search type Restaurant
_:result leave_at 10:54
_:result address 88 Mill Road City Centre
_:result name Rice House
_:result type Restaurant
_:result postcode ?
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref UE7KA83C
_:booking ticket 75.59 GBP
_:booking type Booking
_:search area centre
_:search pricerange cheap
_:search duration 10:00
_:search food chinese
_:result leave_at 10:54
_:result address 88 Mill Road City Centre
_:result name Rice House
_:result postcode cb12bd
_:result type Restaurant
_:system inquired _:user
_:search type Restaurant
_:search day thursday
_:search departure leicester
_:result count 19
_:result day Thursday
_:result departure Leicester
_:search destination cambridge
_:result arrive_by 10:54
_:result id TR3839
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref UE7KA83C
_:booking ticket 75.59 GBP
_:booking type Booking
_:search area centre
_:search pricerange cheap
_:search duration 10:00
_:search food chinese
_:result leave_at 10:54
_:result address 88 Mill Road City Centre
_:result postcode cb12bd
_:system inquired _:user
_:search type Restaurant
_:result name rice house
_:result type Restaurant