inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need assistance finding a train departing from Cambridge and arriving at London Kings Cross .
inform((_:result,amount,'quite a few');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have quite a few options available to you . Is there a particular day you are looking to travel ?
inform((_:search,day,'tuesday');(_:search,leave_at,'15:15');(_:search,type,'Train'))
user
I 'm leaving after 15:15 on Tuesday . What 's available then ?
inform((_:result,count,'4');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
I have four , what time would you prefer to arrive by ?
inform((_:search,arrive_by,'dontcare');(_:search,type,'Train'))
user
It does n't matter .
inform((_:result,day,'tuesday');(_:result,id,'TR0945');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0945 leaves on tuesday at 17:00 . Would you like me to book it for you ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Yes please . Could you also tell me how much it is & what time it arrives ?
inform((_:booking,arrive_by,'17:51');(_:booking,category,'Train');(_:booking,leave_at,'17:00');(_:booking,ref,'FGAHEJD9');(_:booking,ticket,'23.60 pounds');(_:booking,type,'Booking'))
system
Okay , I have booked the 17:00 train for you . The arrival time is 17:51 . Your reference number is FGAHEJD9 and the price is 23.60 pounds .
inform((_:search,name,'lynne strover gallery');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,type,'Attraction'))
user
I am also looking for a particular attraction . The name of the place is Lynne Strover Gallery . Can you give me the address and fee ?
reqmore() inform((_:result,address,'23 high street , fen ditton');(_:result,entrance_fee,'free');(_:result,name,'Lynne Strover Gallery');(_:result,type,'Attraction'))
system
Lynne Strover Gallery 's address is 23 high street , fen ditton , entrance is free . Can I do anything else for you today ?
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
May I have the postal code for the Gallery as well please ?
reqmore() inform((_:result,postcode,'cb30aq');(_:result,type,'Attraction'))
system
Yes , it 's cb30aq . Is there anything else I can tell you about it ? Or something else I can help you with ?
bye()
user
No , that 's all I needed . Have a nice day .
system
Thank you ! Enjoy your visit to Cambridge . Goodbye .
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:result type Train
_:search day tuesday
_:search leave_at 15:15
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:search day tuesday
_:search leave_at 15:15
_:result count 4
_:result type Train
_:search arrive_by dontcare
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:search day tuesday
_:search leave_at 15:15
_:result count 4
_:search arrive_by dontcare
_:search type Train
_:result day tuesday
_:result id TR0945
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:search day tuesday
_:search leave_at 15:15
_:result count 4
_:search arrive_by dontcare
_:result day tuesday
_:result id TR0945
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:result arrive_by ?
_:booking arrive_by 17:51
_:booking category Train
_:booking leave_at 17:00
_:booking ref FGAHEJD9
_:booking ticket 23.60 pounds
_:booking type Booking
_:search name lynne strover gallery
_:search type Attraction
_:result address ?
_:result type Attraction
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:search day tuesday
_:search leave_at 15:15
_:result count 4
_:search arrive_by dontcare
_:result day tuesday
_:result id TR0945
_:result leave_at 17:00
_:system offered _:booking
_:result arrive_by ?
_:booking arrive_by 17:51
_:booking category Train
_:booking leave_at 17:00
_:booking ref FGAHEJD9
_:booking ticket 23.60 pounds
_:booking type Booking
_:search name lynne strover gallery
_:search type Attraction
_:system inquired _:user
_:result address 23 high street , fen ditton
_:result entrance_fee free
_:result name Lynne Strover Gallery
_:result type Attraction
_:result postcode ?
_:search departure cambridge
_:search destination london kings cross
_:result amount quite a few
_:search day tuesday
_:search leave_at 15:15
_:result count 4
_:search arrive_by dontcare
_:result day tuesday
_:result id TR0945
_:result leave_at 17:00
_:system offered _:booking
_:result arrive_by ?
_:booking arrive_by 17:51
_:booking category Train
_:booking leave_at 17:00
_:booking ref FGAHEJD9
_:booking ticket 23.60 pounds
_:booking type Booking
_:search name lynne strover gallery
_:search type Attraction
_:result address 23 high street , fen ditton
_:result entrance_fee free
_:result name Lynne Strover Gallery
_:system inquired _:user
_:result postcode cb30aq
_:result type Attraction
_:user dismissed _:system