inform((_:search,arrive_by,'9:45');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I 'd like a train to Leicester to arrive by 9:45 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Okay , where would you like to depart from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'd like to leave from Cambridge , please .
inform((_:result,count,'28');(_:result,type,'Train'))
system
There are 28 trains , do you have a day preference ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I need to leave on Tuesday .
inform((_:result,arrive_by,'9:06');(_:result,day,'Tuesday');(_:result,id,'TR2863');(_:result,leave_at,'7:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR2863 leaves on Tuesday at 7:21 and arrives at 9:06 . Would you like me to book ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
I sure would , thanks .   I will need seats for 8 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'XNMIHQHK');(_:booking,ticket,'302.39 GBP');(_:booking,type,'Booking'))
system
Your reference number is : XNMIHQHK , the total fee is 302.39 GBP payable at the station .   Is there anything else I can do for you ?
thank()
user
No thank you . Have a great day !
system
You as well , enjoy your trip !
_:search arrive_by 9:45
_:search destination leicester
_:search type Train
_:search arrive_by 9:45
_:search destination leicester
_:search departure cambridge
_:search type Train
_:search arrive_by 9:45
_:search destination leicester
_:search departure cambridge
_:result count 28
_:result type Train
_:search day tuesday
_:search type Train
_:search arrive_by 9:45
_:search destination leicester
_:search departure cambridge
_:result count 28
_:search day tuesday
_:result arrive_by 9:06
_:result day Tuesday
_:result id TR2863
_:result leave_at 7:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search arrive_by 9:45
_:search destination leicester
_:search departure cambridge
_:result count 28
_:search day tuesday
_:result arrive_by 9:06
_:result day Tuesday
_:result id TR2863
_:result leave_at 7:21
_:result type Train
_:system offered _:booking
_:search people 8
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref XNMIHQHK
_:booking ticket 302.39 GBP
_:booking type Booking