inform((_:search,day,'wednesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to leave for Cambridge by train on Wednesday .
request((_:search,departure,?);(_:search,type,'Train'))
system
Okay , where are you departing from ?
inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I 'll be coming from london kings cross
request((_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,departure,'London Kings Cross');(_:result,type,'Train'))
system
When do you want to leave London Kings Cross ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
i will leave on wednesday
inform((_:result,id,'TR5725');(_:result,leave_at,'05:17');(_:result,type,'Train'))
system
how about TR5725 that leaves at 05:17 ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
That will work . Will you please book it for 5 people ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'EKDNFGB7');(_:booking,type,'Booking'))
system
It is booked and your reference number is EKDNFGB7 . Is there anything else ?
thank()
user
That is all I needed . Thanks !
system
You are more than welcome !
_:search day wednesday
_:search destination cambridge
_:search type Train
_:search day wednesday
_:search destination cambridge
_:search departure london kings cross
_:search type Train
_:search destination cambridge
_:search departure london kings cross
_:search leave_at ?
_:result departure London Kings Cross
_:result type Train
_:search day wednesday
_:search type Train
_:search destination cambridge
_:search departure london kings cross
_:search leave_at ?
_:result departure London Kings Cross
_:search day wednesday
_:result id TR5725
_:result leave_at 05:17
_:result type Train
_:search people 5
_:search type Train
_:search destination cambridge
_:search departure london kings cross
_:search leave_at ?
_:result departure London Kings Cross
_:search day wednesday
_:result id TR5725
_:result leave_at 05:17
_:result type Train
_:search people 5
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref EKDNFGB7
_:booking type Booking