inform((_:search,day,'tuesday');(_:search,leave_at,'11:15');(_:search,type,'Train'))
user
I would like find some information about a train . Specifically , I 'm looking for details about a train that leaves Tuesday after 11:15 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Can I get information on where you will be departing from ?
inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Yes , I 'll be departing from London Kings Cross .
inform((_:result,arrive_by,'12:08');(_:result,departure,'London Kings Cross');(_:result,destination,'Cambridge');(_:result,id,'TR7850');(_:result,leave_at,'11:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR7850 leaves London Kings Cross at 11:17 and arrives in Cambridge at 12:08 . Would you like to book a ticket ?
inform((_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes please book it for 5 people and give me the reference number .
inform((_:booking,category,'Train');(_:booking,ref,'6SCORZPY');(_:booking,type,'Booking'))
system
The reference number is 6SCORZPY .
inform((_:search,food,'modern european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am also looking for a restaurant that serves modern european food in the expensive price range .   What do you find available ?
offer((_:booking,type,'Booking')) inform((_:result,amount,'only');(_:result,area,'center');(_:result,name,"Darry 's Cookhouse and Wine Shop");(_:result,type,'Restaurant'))
system
The only place in town like that is Darry 's Cookhouse and Wine Shop . It 's in the center of town . Would you like a table ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can you just give me their phone number and postcode ?
reqmore() inform((_:result,phone,'01223505015');(_:result,postcode,'cb11n');(_:result,type,'Restaurant'))
system
Certainly !   Their phone number is 01223505015 postcode cb11n .   Is there anything else I can help you with today ?
thank()
user
That 's all I need . I appreciate the help .
system
You 're quite welcome . Goodbye !
_:search day tuesday
_:search leave_at 11:15
_:search type Train
_:search day tuesday
_:search leave_at 11:15
_:search departure london kings cross
_:search type Train
_:search day tuesday
_:search leave_at 11:15
_:search departure london kings cross
_:result arrive_by 12:08
_:result departure London Kings Cross
_:result destination Cambridge
_:result id TR7850
_:result leave_at 11:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:result ref ?
_:search day tuesday
_:search leave_at 11:15
_:search departure london kings cross
_:result arrive_by 12:08
_:result departure London Kings Cross
_:result destination Cambridge
_:result id TR7850
_:result leave_at 11:17
_:result type Train
_:system offered _:booking
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref 6SCORZPY
_:booking type Booking
_:search food modern european
_:search pricerange expensive
_:search type Restaurant
_:search day tuesday
_:search leave_at 11:15
_:search departure london kings cross
_:result arrive_by 12:08
_:result departure London Kings Cross
_:result destination Cambridge
_:result id TR7850
_:result leave_at 11:17
_:system offered _:booking
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref 6SCORZPY
_:booking type Booking
_:search food modern european
_:search pricerange expensive
_:search type Restaurant
_:result amount only
_:result area center
_:result name Darry 's Cookhouse and Wine Shop
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search day tuesday
_:search leave_at 11:15
_:search departure london kings cross
_:result arrive_by 12:08
_:result departure London Kings Cross
_:result destination Cambridge
_:result id TR7850
_:result leave_at 11:17
_:system offered _:booking
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref 6SCORZPY
_:booking type Booking
_:search food modern european
_:search pricerange expensive
_:search type Restaurant
_:result amount only
_:result area center
_:result name Darry 's Cookhouse and Wine Shop
_:system inquired _:user
_:result phone 01223505015
_:result postcode cb11n
_:result type Restaurant