inform((_:search,type,'Train'))
user
Yes . I 'm looking for a train , please .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Of course . Where will you be departing from and arriving ? When would you like to leave ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to leave from Cambridge on Sunday .
inform((_:result,count,'202');(_:result,day,'sunday');(_:result,departure,'cambridge');(_:result,type,'Train')) request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 202 trains leaving cambridge on sunday , do you have a destination or time ?
inform((_:search,destination,'norwich');(_:search,leave_at,'10:45');(_:search,type,'Train'))
user
Well , I 'm thinking I need to leave sometime after 10:45 for Norwich .
inform((_:result,arrive_by,'12:55');(_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,leave_at,'11:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving Cambridge for Norwich at 11:36 which arrives at 12:55 . Shall I book it for you ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes , I 'd like one ticket please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'23G7RUXL');(_:booking,ticket,'14.08 pounds');(_:booking,type,'Booking'))
system
Your booking was successful . The ticket fee is 14.08 pounds and is payable at the station . Your reference number is 23G7RUXL . May I assist you with anything else today ?
thank()
user
Thank you very much .   I am all set .   Have a nice day .
system
You too .   Good bye .
_:search type Train
_:search destination ?
_:search leave_at ?
_:search day sunday
_:search departure cambridge
_:search type Train
_:search day sunday
_:search departure cambridge
_:result count 202
_:result day sunday
_:result departure cambridge
_:result type Train
_:search destination norwich
_:search leave_at 10:45
_:search type Train
_:search day sunday
_:search departure cambridge
_:result count 202
_:result day sunday
_:search destination norwich
_:search leave_at 10:45
_:result arrive_by 12:55
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 11:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people one
_:search type Train
_:search day sunday
_:search departure cambridge
_:result count 202
_:result day sunday
_:search destination norwich
_:search leave_at 10:45
_:result arrive_by 12:55
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 11:36
_:result type Train
_:system offered _:booking
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref 23G7RUXL
_:booking ticket 14.08 pounds
_:booking type Booking