inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Hi there , I 'm looking for a train going to cambridge .
request((_:search,destination,?);(_:search,type,'Train'))
system
I need to narrow down the search for you . Where are you heading ?
inform((_:search,destination,'Cambridge');(_:search,type,'Train'))
user
As I said , I am heading to Cambridge .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I 'm sorry , to help narrow down the results please reply with where you will be departing from and your requested arrival / departure time .
inform((_:search,arrive_by,'14:00');(_:search,type,'Train'))
user
I need to arrive by 14:00
inform((_:result,arrive_by,'13:58');(_:result,leave_at,'13:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train depart at 13:11 and arrive by 13:58 . Would that work for you ?
request((_:result,id,?);(_:result,type,'Train'))
user
Yes , what is the ID ?
inform((_:result,departure,"London -- King 's Cross Station");(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
Please confirm where you are coming from . Are you leaving from London -- King 's Cross Station ? Or from somewhere else ?
inform((_:search,departure,'bishops stortford');(_:search,type,'Train')) thank()
user
Oh , I 'll be departing from bishops stortford , yes , thanks .
inform((_:result,type,'Train')) offer((_:booking,arrive_by,'12:07');(_:booking,category,'Train');(_:booking,id,'TR0516');(_:booking,type,'Booking'))
system
TR0516 arrives at 12:07 , would you like to reserve seats ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
Yes please . I would like to travel on Tuesday
inform((_:result,arrive_by,'12:07');(_:result,destination,'Cambridge');(_:result,id,'TR4173');(_:result,type,'Train')) canthelp((_:search,day,'Tuesday');(_:search,id,'TR0516');(_:search,type,'Train'))
system
I 'm sorry for the mix - up , train TR0516 is not available on Tuesday . I do have TR4173 available but it arrives in Cambridge at 12:07 . Will   this work ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes , please book for 2 people./
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'ES8ZDMR2');(_:booking,ticket,'20.2 pounds');(_:booking,type,'Booking'))
system
You are booked . You 'll pay 20.2 pounds at the station . Your reference number is ES8ZDMR2 . May I help with anything further ?
thank()
user
No , thank you . That 's all . Thanks !
bye()
system
thanks a lot
bye()
user
Have a great day .
system
You too ! Please let us know if there 's anything else we can help you with .
_:search destination cambridge
_:search type Train
_:search destination Cambridge
_:search type Train
_:search destination Cambridge
_:search departure ?
_:search leave_at ?
_:search arrive_by 14:00
_:search type Train
_:search destination Cambridge
_:search departure ?
_:search leave_at ?
_:search arrive_by 14:00
_:search type Train
_:result arrive_by 13:58
_:result leave_at 13:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search destination Cambridge
_:search leave_at ?
_:search arrive_by 14:00
_:result arrive_by 13:58
_:result leave_at 13:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:result departure London -- King 's Cross Station
_:result type Train
_:search departure bishops stortford
_:search type Train
_:search destination Cambridge
_:search leave_at ?
_:search arrive_by 14:00
_:result arrive_by 13:58
_:result leave_at 13:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:result departure London -- King 's Cross Station
_:search departure bishops stortford
_:result type Train
_:booking arrive_by 12:07
_:booking id TR0516
_:search day tuesday
_:search type Train
_:search destination Cambridge
_:search leave_at ?
_:search arrive_by 14:00
_:result leave_at 13:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure London -- King 's Cross Station
_:search departure bishops stortford
_:booking arrive_by 12:07
_:booking id TR0516
_:search day tuesday
_:result arrive_by 12:07
_:result destination Cambridge
_:result id TR4173
_:result type Train
_:system canthelp _:search/8600085a
_:search/8600085a day Tuesday
_:search/8600085a id TR0516
_:search/8600085a type Train
_:search people 2
_:search type Train
_:search destination Cambridge
_:search leave_at ?
_:search arrive_by 14:00
_:result leave_at 13:11
_:system offered _:booking
_:result departure London -- King 's Cross Station
_:search departure bishops stortford
_:booking arrive_by 12:07
_:booking id TR0516
_:search day tuesday
_:result arrive_by 12:07
_:result destination Cambridge
_:result id TR4173
_:result type Train
_:system canthelp _:search/8600085a
_:search/8600085a day Tuesday
_:search/8600085a id TR0516
_:search/8600085a type Train
_:search people 2
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref ES8ZDMR2
_:booking ticket 20.2 pounds
_:booking type Booking
_:search destination Cambridge
_:search leave_at ?
_:search arrive_by 14:00
_:result leave_at 13:11
_:system offered _:booking
_:result departure London -- King 's Cross Station
_:search departure bishops stortford
_:booking arrive_by 12:07
_:booking id TR0516
_:search day tuesday
_:result arrive_by 12:07
_:result destination Cambridge
_:result id TR4173
_:result type Train
_:system canthelp _:search/8600085a
_:search/8600085a day Tuesday
_:search/8600085a id TR0516
_:search/8600085a type Train
_:search people 2
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref ES8ZDMR2
_:booking ticket 20.2 pounds
_:booking type Booking
_:system dismissed _:user
_:user dismissed _:system