inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Yes I am looking for a train leaving Cambridge on a Thursday .
inform((_:result,id,'TR8272');(_:result,leave_at,'05.00');(_:result,type,'Train'))
system
TR8272 leaves at 05.00
inform((_:search,destination,'broxbourne');(_:search,leave_at,'13:45');(_:search,type,'Train'))
user
I 'm heading to Broxbourne , and I 'd like to leave after 13:45 .
inform((_:result,departure,'cambridge');(_:result,id,'TR9033');(_:result,leave_at,'14:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Your best bet is probably the TR9033 . It leaves cambridge at 14:01 . Would you like a ticket ?
inform((_:search,day,'wednesday');(_:search,departure,'Cambridge');(_:search,destination,'Broxbourne');(_:search,leave_at,'12:45');(_:search,type,'Train'))
user
Actually , I gave you the wrong day . I 'd like to travel on Wednesday , from Cambridge to Broxbourne , and I 'd like to leave anytime after 12:45 .
inform((_:result,count,'11');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
No problem .   I found 11 trains matching your request .   What time would you like to arrive ?
inform((_:search,arrive_by,'dontcare');(_:search,leave_at,'12:45');(_:search,type,'Train'))
user
No I would just like the earliest train that leaves after 12:45 .
inform((_:result,departure,'Cambridge');(_:result,id,'TR6167');(_:result,leave_at,'13:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR6167 leaves Cambridge at 13:01 .   Can I book a seat for you ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
I 'll need it booked for 8 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'W8FEGXWO');(_:booking,ticket,'143.19 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 143.19 GBP payable at the station . Reference number is : W8FEGXWO . Is there anything else I can help with ?
inform((_:search,area,'south');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Yes , I 'm also looking for entertainment places to go in town in the south area .   Can you help me with that ?
select((_:result,name,'Nusha');(_:result,name,'Tenpin');(_:result,type,'Attraction')) inform((_:result,area,'south');(_:result,category,'entertainment');(_:result,count,'2');(_:result,type,'Attraction'))
system
I can definitely help with that . I have two different entertainment venues in the south . One is Nusha and the other is Tenpin . Does either sound interesting ?
inform((_:search,name,'nusha');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you give me the postcode and phone number for Nusha ?
inform((_:result,phone,'01223902158');(_:result,postcode,'cb17dy');(_:result,type,'Attraction'))
system
Certainly . The number is 01223902158 , and the postcode is cb17dy .
thank()
user
Thanks , that 's all I need today . I 'm all set !
system
Thank you , enjoy your stay in Cambridge .
_:search day thursday
_:search departure cambridge
_:search type Train
_:search day thursday
_:search departure cambridge
_:result id TR8272
_:result leave_at 05.00
_:result type Train
_:search destination broxbourne
_:search leave_at 13:45
_:search type Train
_:result departure cambridge
_:result id TR9033
_:result leave_at 14:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:search leave_at 12:45
_:search type Train
_:result departure cambridge
_:result id TR9033
_:result leave_at 14:01
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:result count 11
_:result type Train
_:search arrive_by dontcare
_:search leave_at 12:45
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:result count 11
_:search arrive_by dontcare
_:search leave_at 12:45
_:result departure Cambridge
_:result id TR6167
_:result leave_at 13:01
_:result type Train
_:search people 8
_:search type Train
_:system offered _:booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:result count 11
_:search arrive_by dontcare
_:search leave_at 12:45
_:result departure Cambridge
_:result id TR6167
_:result leave_at 13:01
_:result type Train
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref W8FEGXWO
_:booking ticket 143.19 GBP
_:booking type Booking
_:search area south
_:search category entertainment
_:search type Attraction
_:system offered _:booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:search arrive_by dontcare
_:search leave_at 12:45
_:result departure Cambridge
_:result id TR6167
_:result leave_at 13:01
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref W8FEGXWO
_:booking ticket 143.19 GBP
_:booking type Booking
_:search area south
_:search category entertainment
_:result name Nusha
_:result name Tenpin
_:result area south
_:result category entertainment
_:result count 2
_:result type Attraction
_:search name nusha
_:search type Attraction
_:result phone ?
_:result postcode ?
_:system offered _:booking
_:search day wednesday
_:search departure Cambridge
_:search destination Broxbourne
_:search arrive_by dontcare
_:search leave_at 12:45
_:result departure Cambridge
_:result id TR6167
_:result leave_at 13:01
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref W8FEGXWO
_:booking ticket 143.19 GBP
_:booking type Booking
_:search area south
_:search category entertainment
_:result name Nusha
_:result name Tenpin
_:result area south
_:result category entertainment
_:result count 2
_:search name nusha
_:search type Attraction
_:result phone 01223902158
_:result postcode cb17dy
_:result type Attraction