inform((_:search,day,'saturday');(_:search,destination,"london king 's cross");(_:search,type,'Train'))
user
I need some help locating a train for Saturday , heading to London King 's Cross .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where will you be departing from , and what time would you like to travel ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'12:15');(_:search,type,'Train'))
user
I 'll be departing from Cambridge and would like to leave at 12:15 .
inform((_:result,amount,'The closest one');(_:result,arrive_by,'13:51');(_:result,destination,'London Kings Cross');(_:result,leave_at,'13:00');(_:result,type,'Train')) canthelp((_:search,leave_at,'12:15');(_:search,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is n't a train that leaves at 12:15 . The closest one leaves at 13:00 and arrives in London Kings Cross at 13:51 . Shall I book it for you ?
inform((_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That would be perfect . Book it for 5 people please and send me the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'AJTE5TLW');(_:booking,ticket,'94.4 GBP');(_:booking,type,'Booking'))
system
Okay , the booking was successful , the total fee is 94.4 GBP payable at the station . 
 Your reference number is : AJTE5TLW .   Is there anything else I can do for you ?
inform((_:search,category,'hotel');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
I also need a cheap hotel .
system
What area would you like to stay in ?
_:search day saturday
_:search destination london king 's cross
_:search type Train
_:search day saturday
_:search destination london king 's cross
_:search departure cambridge
_:search leave_at 12:15
_:search type Train
_:search day saturday
_:search destination london king 's cross
_:search departure cambridge
_:search leave_at 12:15
_:result amount The closest one
_:result arrive_by 13:51
_:result destination London Kings Cross
_:result leave_at 13:00
_:result type Train
_:system canthelp _:search/0831c1f8
_:search/0831c1f8 leave_at 12:15
_:search/0831c1f8 type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:result ref ?
_:search day saturday
_:search destination london king 's cross
_:search departure cambridge
_:search leave_at 12:15
_:result amount The closest one
_:result arrive_by 13:51
_:result destination London Kings Cross
_:result leave_at 13:00
_:result type Train
_:system canthelp _:search/0831c1f8
_:search/0831c1f8 leave_at 12:15
_:search/0831c1f8 type Train
_:system offered _:booking
_:search people 5
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id AJTE5TLW
_:booking ticket 94.4 GBP
_:booking type Booking
_:search category hotel
_:search pricerange cheap
_:search type Hotel