inform((_:search,destination,'cambridge');(_:search,leave_at,'3:45');(_:search,type,'Train'))
user
I need to locate a train that 's going to Cambridge and leaves after 3:45 PM . Can you help ?
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
What is your departure site and what day are you traveling on ?
inform((_:search,day,'thursday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need to depart from london kings cross on thursday .
select((_:result,leave_at,'13:45');(_:result,leave_at,'15:45');(_:result,type,'Train'))
system
To clarify , do you need to leave after 13:45 , or after 15:45 ?
inform((_:search,leave_at,'15:45');(_:search,people,'6');(_:search,type,'Train'))
user
After 15:45 , please . And I 'll need tickets for 6 people .
reqmore() inform((_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,departure,'London Kings Cross');(_:booking,destination,'Cambridge');(_:booking,id,'TR1149');(_:booking,leave_at,'17:17');(_:booking,people,'6');(_:booking,ref,'6xjzp2j2');(_:booking,type,'Booking'))
system
I booked you seats for 6 on TR1149 departing London Kings Cross for Cambridge on Thursday at 17:17 . Reference number : 6xjzp2j2 . Do you need further assistance today ?
inform((_:search,name,'india house');(_:search,type,'Restaurant'))
user
I am also looking for more info on the India house .
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'Indian');(_:result,name,'India House');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The India House is an expensive Indian Restaurant in the west . Would you like to reserve a table ?
inform((_:search,day,'thursday');(_:search,duration,'19:45');(_:search,people,'6');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , please reserve a table for 6 people on thursday at 19:45 . And tell me my reference number too .
reqmore() inform((_:booking,ref,'TNIP68UH');(_:booking,type,'Booking'))
system
Ok .   I was able to complete that booking , and your reference number is TNIP68UH .   Can I help you with anything else ?
user
That is the only thing I needed .
system
Thank you for contacting us .   Have a great day !
_:search destination cambridge
_:search leave_at 3:45
_:search type Train
_:search destination cambridge
_:search leave_at 3:45
_:search day thursday
_:search departure london kings cross
_:search type Train
_:search destination cambridge
_:search day thursday
_:search departure london kings cross
_:result leave_at 13:45
_:result leave_at 15:45
_:result type Train
_:search leave_at 15:45
_:search people 6
_:search type Train
_:search destination cambridge
_:search day thursday
_:search departure london kings cross
_:result leave_at 13:45
_:result leave_at 15:45
_:result type Train
_:search leave_at 15:45
_:search people 6
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking departure London Kings Cross
_:booking destination Cambridge
_:booking id TR1149
_:booking leave_at 17:17
_:booking people 6
_:booking ref 6xjzp2j2
_:booking type Booking
_:search name india house
_:search type Restaurant
_:search destination cambridge
_:search departure london kings cross
_:result leave_at 13:45
_:result leave_at 15:45
_:search leave_at 15:45
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking departure London Kings Cross
_:booking destination Cambridge
_:booking id TR1149
_:booking leave_at 17:17
_:booking people 6
_:booking ref 6xjzp2j2
_:booking type Booking
_:search name india house
_:system offered _:booking
_:result area west
_:result food Indian
_:result name India House
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 19:45
_:search people 6
_:search type Restaurant
_:result ref ?
_:search destination cambridge
_:search departure london kings cross
_:result leave_at 13:45
_:result leave_at 15:45
_:search leave_at 15:45
_:booking category Train
_:booking day Thursday
_:booking departure London Kings Cross
_:booking destination Cambridge
_:booking id TR1149
_:booking leave_at 17:17
_:booking people 6
_:search name india house
_:system offered _:booking
_:result area west
_:result food Indian
_:result name India House
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 19:45
_:search people 6
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref TNIP68UH
_:booking type Booking