inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I am looking for a train going from Cambridge to stansted airport .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
I 'd be happy to help with that . What day and time are you traveling ?
inform((_:search,day,'monday');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
The train needs to leave on Monday after 11:45 .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Do you need to arrive by a certain time ?
inform((_:search,leave_at,'11:45');(_:search,people,'5');(_:search,type,'Train'))
user
No , just the closest time after 11:45 for 5 tickets please .
inform((_:result,day,'Monday');(_:result,id,'TR8699');(_:result,leave_at,'12:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8699 leaves at 12:40 on Monday . Would you like to book a ticket ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes please . Can I have the reference number for the booking ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'5');(_:booking,ref,'A85FTGK4');(_:booking,type,'Booking'))
system
I have booked your train for 5 and your reference number is A85FTGK4 .   Can I help you with anything else today ?
thank()
user
No , that will be all .   Thanks for your help .
system
You are welcome ! Have fun ! Goodbye !
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search day monday
_:search leave_at 11:45
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search day monday
_:search arrive_by ?
_:search leave_at 11:45
_:search people 5
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search day monday
_:search arrive_by ?
_:search leave_at 11:45
_:search people 5
_:search type Train
_:result day Monday
_:result id TR8699
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search departure cambridge
_:search destination stansted airport
_:search day monday
_:search arrive_by ?
_:search leave_at 11:45
_:search people 5
_:search type Train
_:result day Monday
_:result id TR8699
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 5
_:booking ref A85FTGK4
_:booking type Booking