inform((_:search,day,'thursday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I 'm trying to find a train that departs from London Kings Cross on Thursday . Can you help me book a ticket ?
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , are you coming to Cambridge ? What time would you like to depart ?
inform((_:search,arrive_by,'08:45');(_:search,type,'Train'))
user
Any time that lets me arrive by 08:45 .
inform((_:result,arrive_by,'8:08');(_:result,day,'thursday');(_:result,departure,'london kings cross');(_:result,destination,'cambridge');(_:result,id,'TR4016');(_:result,leave_at,'07:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR4016 from london kings cross to 	 cambridge , traveling on thursday , leaves at 07:17 and arrives at 8:08 . Should I book it for you ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes can you please book that for 8 people and give me the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'FCRRA5HL');(_:booking,ticket,'188.8 GBP');(_:booking,type,'Booking')) reqmore()
system
great , I was able to get your tickets . Reference number is FCRRA5HL and the tickets , 188.8 GBP are payable at the station , anything else ?
inform((_:search,name,'curry king');(_:search,type,'Restaurant'))
user
Yes , have you heard of a restaurant called Curry King ?
reqmore() inform((_:result,area,'centre');(_:result,food,'Indian');(_:result,name,'Curry King');(_:result,type,'Restaurant'))
system
Yes , Curry King is an Indian restaurant in the centre . What more information would you like ?
inform((_:search,day,'thursday');(_:search,duration,'18:30');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Can you book be there for 8 people at 18:30 on thursday ?
inform((_:booking,ref,'ZTVSJGBZ');(_:booking,type,'Booking'))
system
I have your table reserved . The reference number is ZTVSJGBZ .
thank()
user
Thank you for reserving that for me . That 's all I need today .
system
You 're very welcome . Have a lovely day .
_:search day thursday
_:search departure london kings cross
_:search type Train
_:search day thursday
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 08:45
_:search type Train
_:search day thursday
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 08:45
_:result arrive_by 8:08
_:result day thursday
_:result departure london kings cross
_:result destination cambridge
_:result id TR4016
_:result leave_at 07:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:result ref ?
_:search day thursday
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 08:45
_:result arrive_by 8:08
_:result day thursday
_:result departure london kings cross
_:result destination cambridge
_:result id TR4016
_:result leave_at 07:17
_:result type Train
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref FCRRA5HL
_:booking ticket 188.8 GBP
_:booking type Booking
_:system inquired _:user
_:search name curry king
_:search type Restaurant
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 08:45
_:result arrive_by 8:08
_:result day thursday
_:result departure london kings cross
_:result destination cambridge
_:result id TR4016
_:result leave_at 07:17
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref FCRRA5HL
_:booking ticket 188.8 GBP
_:booking type Booking
_:search name curry king
_:system inquired _:user
_:result area centre
_:result food Indian
_:result name Curry King
_:result type Restaurant
_:search day thursday
_:search duration 18:30
_:search people 8
_:search type Restaurant
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 08:45
_:result arrive_by 8:08
_:result day thursday
_:result departure london kings cross
_:result destination cambridge
_:result id TR4016
_:result leave_at 07:17
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ticket 188.8 GBP
_:search name curry king
_:system inquired _:user
_:result area centre
_:result food Indian
_:result name Curry King
_:result type Restaurant
_:search day thursday
_:search duration 18:30
_:search people 8
_:search type Restaurant
_:booking ref ZTVSJGBZ
_:booking type Booking