inform((_:search,type,'Train'))
user
I am   looking for a train .
request((_:search,destination,?);(_:search,type,'Train'))
system
Alright . Where are you headed ?
inform((_:search,day,'saturday');(_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I 'm head to Leicester from Cambridge on Saturday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time are you planning to leave ?
inform((_:search,leave_at,'8:45');(_:search,type,'Train'))
user
Anytime after 8:45 .
inform((_:result,arrive_by,'11:06');(_:result,id,'TR3371');(_:result,leave_at,'09:21');(_:result,ticket,'30.24 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3371 leaves at 09:21 and arrives at 11:06 . It is 30.24 pounds . Would you be interested in that ?
inform((_:search,leave_at,'20:45');(_:search,type,'Train'))
user
I meant to say I want to leave after 20:45 .
inform((_:result,id,'TR9209');(_:result,ticket,'30.24 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Great , I have TR9209 that meets your criteria   and is 30.24 pounds . Would you like me to book it ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes , please . I booking for one person .
request((_:search,day,?);(_:search,type,'Train'))
system
Pardon me , did you say you are traveling on Saturday or Sunday ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
I am traveling on Saturday .
inform((_:result,id,'TR7610');(_:result,leave_at,'21:21');(_:result,ticket,'30.24 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay , I have TR7610 that leaves at 21:21 . The price is 30.24 pounds . Would you like me to book it ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes please , for one person .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'MHMRVMR4');(_:booking,type,'Booking'))
system
Okay , booking was successful . Your reference number is MHMRVMR4 . Anything else ?
thank()
user
Nope , that 's all . Thanks !
system
you are welcome , enjoy yourself .
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination leicester
_:search leave_at 8:45
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination leicester
_:result arrive_by 11:06
_:result id TR3371
_:result leave_at 09:21
_:result ticket 30.24 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 20:45
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination leicester
_:result arrive_by 11:06
_:result leave_at 09:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 20:45
_:result id TR9209
_:result ticket 30.24 pounds
_:result type Train
_:search people one
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result arrive_by 11:06
_:result leave_at 09:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 20:45
_:result id TR9209
_:result ticket 30.24 pounds
_:result type Train
_:search people one
_:search day saturday
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result arrive_by 11:06
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 20:45
_:search day saturday
_:result id TR7610
_:result leave_at 21:21
_:result ticket 30.24 pounds
_:result type Train
_:search people one
_:search type Train
_:search departure cambridge
_:search destination leicester
_:result arrive_by 11:06
_:system offered _:booking
_:search leave_at 20:45
_:search day saturday
_:result id TR7610
_:result leave_at 21:21
_:result ticket 30.24 pounds
_:result type Train
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref MHMRVMR4
_:booking type Booking