inform((_:search,day,'saturday');(_:search,leave_at,'16:30');(_:search,type,'Train'))
user
Let 's go with the train first . I 'm looking for one that leaves after 16:30 on saturday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
From where and to where will you travel ?
inform((_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like to leave cambridge to bishops stortford
inform((_:result,arrive_by,'18:07');(_:result,count,'1');(_:result,destination,"Bishop 's Stortford");(_:result,leave_at,'17:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have one leaving at 17:29 , arriving in Bishop 's Stortford at 18:07 . Does that work ?
inform((_:search,people,'three');(_:search,type,'Train'))
user
Yes , I 'd like three tickets , please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'JAVMFJGM');(_:booking,type,'Booking'))
system
Great . I have booked those seats for you and your reference number is JAVMFJGM . Is there anything else I can do for you ?
user
No that will be all for now .
reqmore()
system
Thank you for using our service . Have all of your needs been met ?
thank()
user
Yes they have .   Thanks .
system
You 're welcome , enjoy your trip .
_:search day saturday
_:search leave_at 16:30
_:search type Train
_:search day saturday
_:search leave_at 16:30
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:search day saturday
_:search leave_at 16:30
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 18:07
_:result count 1
_:result destination Bishop 's Stortford
_:result leave_at 17:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people three
_:search type Train
_:search day saturday
_:search leave_at 16:30
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 18:07
_:result count 1
_:result destination Bishop 's Stortford
_:result leave_at 17:29
_:result type Train
_:system offered _:booking
_:search people three
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref JAVMFJGM
_:booking type Booking
_:search day saturday
_:search leave_at 16:30
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 18:07
_:result count 1
_:result destination Bishop 's Stortford
_:result leave_at 17:29
_:result type Train
_:system offered _:booking
_:search people three
_:search type Train
_:booking category Train
_:booking ref JAVMFJGM
_:booking type Booking
_:system inquired _:user