inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I 'm looking for a train leaving on tuesday please .
inform((_:result,destination,"London King 's Cross");(_:result,leave_at,'05:00');(_:result,type,'Train'))
system
I have a train going to London King 's Cross that will leave at 05:00 .
inform((_:search,departure,'Cabridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
Actually I need to go to London Liverpool Street from Cabridge .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Alright , what time would you like to leave ?
inform((_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I would like to leave anytime after 20:15 .
inform((_:result,id,'TR9616');(_:result,leave_at,'21:39');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Ok , I have TR9616 that leaves at 21:39 . Will that work for you ?
inform((_:search,day,'tuesday');(_:search,type,'Train')) request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Is that on Tuesday ? If so that would work . I 'll need the train ID and price .
inform((_:result,id,'TR9616');(_:result,type,'Train'))
system
The train ID is TR9616 .
request((_:result,ticket,?);(_:result,type,'Train'))
user
I also need the price .
inform((_:result,ticket,'16.60 pounds');(_:result,type,'Train')) reqmore()
system
The price is 16.60 pounds .   Do you need any further assistance ?
thank()
user
No , that 's all . Thank you .
system
Thank you for allowing me to help you . Have a great day .
_:search day tuesday
_:search type Train
_:search day tuesday
_:result destination London King 's Cross
_:result leave_at 05:00
_:result type Train
_:search departure Cabridge
_:search destination london liverpool street
_:search type Train
_:search day tuesday
_:result destination London King 's Cross
_:result leave_at 05:00
_:result type Train
_:search departure Cabridge
_:search destination london liverpool street
_:search leave_at 20:15
_:search type Train
_:result destination London King 's Cross
_:search departure Cabridge
_:search destination london liverpool street
_:search leave_at 20:15
_:result id TR9616
_:result leave_at 21:39
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search type Train
_:result id ?
_:result ticket ?
_:result destination London King 's Cross
_:search departure Cabridge
_:search destination london liverpool street
_:search leave_at 20:15
_:result leave_at 21:39
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search type Train
_:result ticket ?
_:result id TR9616
_:result type Train
_:result destination London King 's Cross
_:search departure Cabridge
_:search destination london liverpool street
_:search leave_at 20:15
_:result leave_at 21:39
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search type Train
_:result id TR9616
_:result ticket 16.60 pounds
_:result type Train
_:system inquired _:user