inform((_:search,day,'tuesday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need a train on Tuesday , leaving from London Kings Cross .
inform((_:result,count,'10');(_:result,day,'Tuesday');(_:result,departure,'London Kings Cross');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are 10 trains leaving London Kings Cross on Tuesday . What time would you like to depart ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'08:00');(_:search,type,'Train'))
user
Around 08:00 and departing for Cambridge .
inform((_:result,leave_at,'9:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving at 9:17 . Does that work ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
That should work fine can I get tickets for 6 people ?
inform((_:booking,category,'Train');(_:booking,people,'6');(_:booking,ref,'OFA93O2T');(_:booking,ticket,'141.6 GBP');(_:booking,type,'Booking'))
system
I have booked the train for 6 people . 141.6 GBP is payable at the station . The reference number is OFA93O2T .
bye()
user
That sounds great .   I appreciate your help .   Bye .
system
Okay Glad i could be of help .
_:search day tuesday
_:search departure london kings cross
_:search type Train
_:search day tuesday
_:search departure london kings cross
_:result count 10
_:result day Tuesday
_:result departure London Kings Cross
_:result type Train
_:search destination cambridge
_:search leave_at 08:00
_:search type Train
_:search day tuesday
_:search departure london kings cross
_:result count 10
_:result day Tuesday
_:result departure London Kings Cross
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:search day tuesday
_:search departure london kings cross
_:result count 10
_:result day Tuesday
_:result departure London Kings Cross
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:search people 6
_:search type Train
_:booking category Train
_:booking people 6
_:booking ref OFA93O2T
_:booking ticket 141.6 GBP
_:booking type Booking
_:user dismissed _:system