inform((_:search,day,'friday');(_:search,departure,'leicester');(_:search,type,'Train'))
user
Hi , could you find me a train for Friday ? I need to leave from Leicester .
thank() request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,day,'Friday');(_:result,type,'Train'))
system
I can assist you with that .   What time Friday would you like to leave at ?
inform((_:search,leave_at,'12:15');(_:search,type,'Train'))
user
I would like to leave after 12:15 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
Okay there are several trains that may work . What is your destination ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'd like to go to Cambridge , please .
inform((_:result,day,'Friday');(_:result,id,'TR4625');(_:result,leave_at,'13:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4625 leaves at 13:09 Friday . Would that train work for you ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . Could you book that for 7 people and give me the reference number please ?
inform((_:booking,category,'Train');(_:booking,day,'Friday');(_:booking,departure,'Leicester');(_:booking,id,'TR4625');(_:booking,leave_at,'14:09');(_:booking,people,'7');(_:booking,ref,'U32YDDW9');(_:booking,ticket,'264.59 GBP');(_:booking,type,'Booking')) thank()
system
Sure .   I booked TR4625 leaving Leicester Friday at 14:09 , 7 tickets .   Reference number is U32YDDW9 and 264.59 GBP will be due , payable at the station .
bye()
user
Great , that 's all for today . Goodbye !
system
You are welcome , enjoy your trip .
_:search day friday
_:search departure leicester
_:search type Train
_:search departure leicester
_:search day ?
_:result day Friday
_:result type Train
_:search leave_at 12:15
_:search type Train
_:search departure leicester
_:search day ?
_:result day Friday
_:search leave_at 12:15
_:result amount several
_:result type Train
_:search destination cambridge
_:search type Train
_:search departure leicester
_:search day ?
_:search leave_at 12:15
_:result amount several
_:search destination cambridge
_:result day Friday
_:result id TR4625
_:result leave_at 13:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:result ref ?
_:search departure leicester
_:search day ?
_:search leave_at 12:15
_:result amount several
_:search destination cambridge
_:result day Friday
_:result id TR4625
_:result leave_at 13:09
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:result ref ?
_:booking category Train
_:booking day Friday
_:booking departure Leicester
_:booking id TR4625
_:booking leave_at 14:09
_:booking people 7
_:booking ref U32YDDW9
_:booking ticket 264.59 GBP
_:booking type Booking
_:user dismissed _:system