inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
What trains are available from Cambridge on Monday
inform((_:result,leave_at,'05:00');(_:result,leave_at,'13:00');(_:result,leave_at,'every 2 hours');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The first train departs at 05:00 and every 2 hours . The last one leaves at 13:00 . Can I book you some tickets ?
inform((_:search,destination,'kings lynn');(_:search,leave_at,'13:00');(_:search,type,'Train'))
user
I wanted to leave after 13:00 . When is the last train to kings lynn ?
inform((_:result,arrive_by,'23:58');(_:result,day,'Monday');(_:result,leave_at,'13:11');(_:result,leave_at,'23:11');(_:result,leave_at,'every hour after that');(_:result,type,'Train'))
system
There is one leaving at 13:11 , and they run every hour after that . That last one on Monday leaves at 23:11 and arrives at 23:58 .
request((_:result,arrive_by,?);(_:result,duration,?);(_:result,type,'Train'))
user
Great . How much is the ticket for the train leaving at 13:11 ? What time does it arrive and what is the travel time ?
inform((_:result,arrive_by,'13:58');(_:result,duration,'47 minutes');(_:result,id,'TR0793');(_:result,leave_at,'13:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train'))
system
Sure , TR0793 leaves at 13:11 , arrives at 13:58 and costs 9.80 pounds travel time 47 minutes .
thank()
user
Sounds good . Get me a ticket for TR0793 . Thank you in advance .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'HIF2WMPY');(_:booking,ticket,'9.8 GBP');(_:booking,type,'Booking'))
system
The booking was successful , you will pay 9.8 GBP at the station .   Your reference number is HIF2WMPY .   Is there anything else I can help you with ?
inform((_:search,category,'entertainment');(_:search,type,'Attraction')) request((_:result,area,?);(_:result,type,'Attraction'))
user
I also would like to find an entertainment area in town . Any suggestions ?
inform((_:result,area,'East side');(_:result,name,'Funky Fun House');(_:result,type,'Attraction')) reqmore()
system
You could try out Funky Fun House on the East side . Does that sound good or would you like to hear other options ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Yeah that 'd be good can you please give me the address and postcode as well ?
reqmore() inform((_:result,address,'8 mercers row , mercers row industrial estate');(_:result,name,'Funky Fun House');(_:result,postcode,'cb58hy');(_:result,type,'Attraction'))
system
Funky Fun House is located at 8 mercers row , mercers row industrial estate , cb58hy . Can I help you with anything else today ?
user
Great that 's all the info I need !
system
Bon voyage !
_:search day monday
_:search departure cambridge
_:search type Train
_:search day monday
_:search departure cambridge
_:result leave_at 05:00
_:result leave_at 13:00
_:result leave_at every 2 hours
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination kings lynn
_:search leave_at 13:00
_:search type Train
_:search day monday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination kings lynn
_:search leave_at 13:00
_:search type Train
_:result arrive_by 23:58
_:result day Monday
_:result leave_at 13:11
_:result leave_at 23:11
_:result leave_at every hour after that
_:result type Train
_:result arrive_by ?
_:result duration ?
_:search day monday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination kings lynn
_:search leave_at 13:00
_:search type Train
_:result day Monday
_:result arrive_by 13:58
_:result duration 47 minutes
_:result id TR0793
_:result leave_at 13:11
_:result ticket 9.80 pounds
_:result type Train
_:search day monday
_:search departure cambridge
_:system offered _:booking
_:search destination kings lynn
_:search leave_at 13:00
_:result day Monday
_:result arrive_by 13:58
_:result duration 47 minutes
_:result id TR0793
_:result leave_at 13:11
_:result ticket 9.80 pounds
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ref HIF2WMPY
_:booking ticket 9.8 GBP
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:result area ?
_:result type Attraction
_:search day monday
_:search departure cambridge
_:system offered _:booking
_:search destination kings lynn
_:search leave_at 13:00
_:result day Monday
_:result arrive_by 13:58
_:result duration 47 minutes
_:result id TR0793
_:result leave_at 13:11
_:result ticket 9.80 pounds
_:booking category Train
_:booking ref HIF2WMPY
_:booking ticket 9.8 GBP
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:result area East side
_:result name Funky Fun House
_:result type Attraction
_:system inquired _:user
_:result address ?
_:result postcode ?
_:search day monday
_:search departure cambridge
_:system offered _:booking
_:search destination kings lynn
_:search leave_at 13:00
_:result day Monday
_:result arrive_by 13:58
_:result duration 47 minutes
_:result id TR0793
_:result leave_at 13:11
_:result ticket 9.80 pounds
_:booking category Train
_:booking ref HIF2WMPY
_:booking ticket 9.8 GBP
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:result area East side
_:system inquired _:user
_:result address 8 mercers row , mercers row industrial estate
_:result name Funky Fun House
_:result postcode cb58hy
_:result type Attraction