inform((_:search,type,'Train'))
user
I 'm hoping to book a train .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where and when are you departing from ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I 'm going to Ely from Cambridge on Sunday .   Thank you .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
great , what is your preferred departure or arrival time ?
inform((_:search,arrive_by,'20:15');(_:search,type,'Train'))
user
I would like to arrive by 20:15 .
inform((_:result,leave_at,'5:50');(_:result,type,'Train'))
system
The first train leaves at 5:50 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Do you have something that leaves later but still makes the arrival time ?
inform((_:result,arrive_by,'18:07');(_:result,arrive_by,'20:07');(_:result,type,'Train'))
system
There 's a train that arrives at 20:07 . If you do n't want to cut it that close , there 's an earlier train that arrives at 18:07 .
inform((_:search,food,'north american > indian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,id,?);(_:result,type,'Train'))
user
Give me the arrival time and train ID of the earlier train . Also find me a cheap restaurant that serves north american food if available or Indian food .
inform((_:result,arrive_by,'18:07');(_:result,count,'4');(_:result,id,'TR5389');(_:result,type,'Restaurant');(_:result,type,'Train'))
system
The arrival time of the TR5389 is 18:07 . There are four restaurants that meet your criteria . Would you like a recommendation ?
inform((_:search,day,'same day');(_:search,duration,'15:30');(_:search,type,'Restaurant'))
user
Yes , any you choose will be fine . I 'll need to book a table for the same day , at 15:30 , and it will just be me .
reqmore() inform((_:booking,name,'kohinoor');(_:booking,ref,'ZTGXVBXU');(_:booking,type,'Booking'))
system
I booked you a table at kohinoor ! Here is your reference number ZTGXVBXU . Anything else I can do for you ?
thank()
user
Great , that 's all I need , thanks so much for your help ! Have a great day !
system
Have a good day as well . Bye .
_:search type Train
_:search leave_at ?
_:search day sunday
_:search departure cambridge
_:search destination ely
_:search type Train
_:search day sunday
_:search departure cambridge
_:search destination ely
_:search leave_at ?
_:search arrive_by 20:15
_:search type Train
_:search day sunday
_:search departure cambridge
_:search destination ely
_:search leave_at ?
_:search arrive_by 20:15
_:search type Train
_:result leave_at 5:50
_:result type Train
_:result arrive_by ?
_:search day sunday
_:search departure cambridge
_:search destination ely
_:search leave_at ?
_:search arrive_by 20:15
_:result leave_at 5:50
_:result arrive_by 18:07
_:result arrive_by 20:07
_:result type Train
_:search food north american > indian
_:search pricerange cheap
_:search type Restaurant
_:result id ?
_:search departure cambridge
_:search destination ely
_:search leave_at ?
_:search arrive_by 20:15
_:result leave_at 5:50
_:search food north american > indian
_:search pricerange cheap
_:result arrive_by 18:07
_:result count 4
_:result id TR5389
_:result type Restaurant
_:result type Train
_:search day same day
_:search duration 15:30
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search leave_at ?
_:search arrive_by 20:15
_:result leave_at 5:50
_:search food north american > indian
_:search pricerange cheap
_:result arrive_by 18:07
_:result count 4
_:result id TR5389
_:result type Restaurant
_:result type Train
_:search day same day
_:search duration 15:30
_:search type Restaurant
_:system inquired _:user
_:booking name kohinoor
_:booking ref ZTGXVBXU
_:booking type Booking