inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I need a train on Wednesday
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you departing from and where is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I will be departing from Cambridge . My destination is Birmingham New Street .
inform((_:result,amount,'lots');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I 've got lots of available trains that will get you there . Do you have a preferred time you want to leave or arrive ?
inform((_:search,leave_at,'08:15');(_:search,type,'Train'))
user
I want to leave after 08:15 , arrival is n't that important .
inform((_:result,arrive_by,'11:44');(_:result,departure,'Cambridge');(_:result,destination,'Birmingham');(_:result,leave_at,'9:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have one leaving Cambridge at 9:01 and arriving in Birmingham at 11:44 . Would you like to book this one ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . Would you please provide me with the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'93NZYRZQ');(_:booking,type,'Booking'))
system
I have booked you and your reference number is 93NZYRZQ .
thank()
user
Thank you so much .
system
Thank you for using our system !
_:search day wednesday
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination birmingham new street
_:result amount lots
_:result type Train
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search destination birmingham new street
_:result amount lots
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:result arrive_by 11:44
_:result departure Cambridge
_:result destination Birmingham
_:result leave_at 9:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search day wednesday
_:search departure cambridge
_:search destination birmingham new street
_:result amount lots
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:result arrive_by 11:44
_:result departure Cambridge
_:result destination Birmingham
_:result leave_at 9:01
_:result type Train
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref 93NZYRZQ
_:booking type Booking