inform((_:search,departure,'cambridge');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I want to get a train to travel from Cambridge to Bishops Stortford .
inform((_:result,amount,'many');(_:result,departure,'Cambridge');(_:result,departure,'bishops');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
I can assist you with that .   There are many options available to you leaving Cambridge for Bishops Stortford , what day and time would you like ?
inform((_:search,day,'monday');(_:search,leave_at,'8:15');(_:search,type,'Train'))
user
I 'd like to leave on Monday after 8:15 , please .
inform((_:result,amount,'first');(_:result,arrive_by,'10:07');(_:result,id,'TR7169');(_:result,leave_at,'9:29');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
The first availabe train I have is TR7169 leaving at 9:29 and arriving at 10:07 . Would that suit your schedule or would you prefer a later departure time ?
user
No , that sounds good .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like me to book ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Just one ticket please .
reqmore() inform((_:booking,category,'Train');(_:booking,destination,'Bishops Stortford');(_:booking,id,'TR7169');(_:booking,people,'one');(_:booking,ref,'54B99Z9O');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
You have one ticket to Bishops Stortford , train ID TR7169 , with 10.1 GBP payable at the station .   Reference number 54B99Z9O . Can I be of further assistance ?
thank()
user
Thank you very much for the assistance
thank() reqmore()
system
You 're welcome . Do you need anything else today ?
user
No that is all I need for the day .
system
Thank you for calling , goodbye .
_:search departure cambridge
_:search destination bishops stortford
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:result amount many
_:result departure Cambridge
_:result departure bishops
_:result type Train
_:search arrive_by ?
_:search day monday
_:search leave_at 8:15
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:result departure Cambridge
_:result departure bishops
_:search arrive_by ?
_:search day monday
_:result amount first
_:result arrive_by 10:07
_:result id TR7169
_:result leave_at 9:29
_:result type Train
_:search leave_at ?
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:result departure Cambridge
_:result departure bishops
_:search arrive_by ?
_:search day monday
_:result amount first
_:result arrive_by 10:07
_:result id TR7169
_:result leave_at 9:29
_:result type Train
_:search leave_at ?
_:search people one
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:result departure Cambridge
_:result departure bishops
_:search arrive_by ?
_:search day monday
_:result amount first
_:result arrive_by 10:07
_:result id TR7169
_:result leave_at 9:29
_:result type Train
_:search leave_at ?
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking destination Bishops Stortford
_:booking id TR7169
_:booking people one
_:booking ref 54B99Z9O
_:booking ticket 10.1 GBP
_:booking type Booking
_:search departure cambridge
_:search destination bishops stortford
_:result departure Cambridge
_:result departure bishops
_:search arrive_by ?
_:search day monday
_:result amount first
_:result arrive_by 10:07
_:result id TR7169
_:result leave_at 9:29
_:result type Train
_:search leave_at ?
_:search people one
_:search type Train
_:booking category Train
_:booking destination Bishops Stortford
_:booking id TR7169
_:booking people one
_:booking ref 54B99Z9O
_:booking ticket 10.1 GBP
_:booking type Booking
_:system inquired _:user