inform((_:search,day,'monday');(_:search,departure,'kings lynn');(_:search,type,'Train'))
user
Hi , can you help me find a train from kings lynn on Monday ?
inform((_:result,count,'19');(_:result,day,'Monday');(_:result,departure,'Kings Lynn');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure ! There are 19 trains departing from Kings Lynn on Monday . What is your destination so I can narrow down the list for you ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Cambridge is my destination , please .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
I will need 6 tickets .
inform((_:result,departure,'Kings Lynn');(_:result,id,'TR4943');(_:result,leave_at,'05:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR4943 leaves Kings Lynn at 05:11 , would you like me to book your seats on that train ?
inform((_:search,area,'north');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Yes , is there a reference number ?   I also am looking for a place to dine in the north area of town that serves chinese food .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'North');(_:result,count,'3');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
There are three places that serve Chinese in the North , what is your price - range ?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Moderate please and thank you .
inform((_:result,name,'The golden wok');(_:result,type,'Restaurant')) reqmore()
system
The golden wok fits your criteria . Is there anything else I could help you with today ?
inform((_:search,day,'monday');(_:search,duration,'14:30');(_:search,type,'Restaurant'))
user
Can you book me a table there for Monday at 14:30 ?
offer((_:booking,type,'Booking')) request((_:booking,people,?);(_:booking,type,'Booking'))
system
Yes of course , just tell me how many guests before I can process .
inform((_:search,people,'6');(_:search,type,'Restaurant'))
user
There will be 6 of us .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking')) reqmore()
system
That place is not open at that time . Shall I try another ?
inform((_:search,duration,'13:30');(_:search,type,'Restaurant'))
user
Could you try for 13:30 ?
reqmore() inform((_:booking,ref,'OESBPDPB');(_:booking,type,'Booking'))
system
I was able to book the restaurant for you . The reference number is OESBPDPB . What else can I help you with ?
thank()
user
That will be all . Thank you so much for all of your help !
system
you are welcome . its been our pleasure to serve you .
_:search day monday
_:search departure kings lynn
_:search type Train
_:search day monday
_:search departure kings lynn
_:result count 19
_:result day Monday
_:result departure Kings Lynn
_:result type Train
_:search destination cambridge
_:search type Train
_:search day monday
_:search departure kings lynn
_:result count 19
_:result day Monday
_:result departure Kings Lynn
_:result type Train
_:search destination cambridge
_:search people 6
_:search type Train
_:search day monday
_:search departure kings lynn
_:result count 19
_:result day Monday
_:search destination cambridge
_:search people 6
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area north
_:search food chinese
_:search type Restaurant
_:search day monday
_:search departure kings lynn
_:result day Monday
_:search destination cambridge
_:search people 6
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area north
_:search food chinese
_:result area North
_:result count 3
_:result food Chinese
_:result type Restaurant
_:search pricerange moderate
_:search type Restaurant
_:search departure kings lynn
_:result day Monday
_:search destination cambridge
_:search people 6
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area north
_:search food chinese
_:result area North
_:result count 3
_:result food Chinese
_:search pricerange moderate
_:result name The golden wok
_:result type Restaurant
_:system inquired _:user
_:search day monday
_:search duration 14:30
_:search type Restaurant
_:search departure kings lynn
_:result day Monday
_:search destination cambridge
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:system offered _:booking
_:booking category Train
_:search area north
_:search food chinese
_:result area North
_:result count 3
_:result food Chinese
_:search pricerange moderate
_:result name The golden wok
_:result type Restaurant
_:system inquired _:user
_:search day monday
_:search duration 14:30
_:booking people ?
_:booking type Booking
_:search people 6
_:search type Restaurant
_:search departure kings lynn
_:result day Monday
_:search destination cambridge
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:system offered _:booking
_:booking category Train
_:search area north
_:search food chinese
_:result area North
_:result count 3
_:result food Chinese
_:search pricerange moderate
_:result name The golden wok
_:result type Restaurant
_:search day monday
_:booking people ?
_:search people 6
_:system canthelp _:booking/b924c1be
_:booking/b924c1be type Booking
_:booking duration ?
_:booking type Booking
_:system inquired _:user
_:search duration 13:30
_:search type Restaurant
_:search departure kings lynn
_:result day Monday
_:search destination cambridge
_:result departure Kings Lynn
_:result id TR4943
_:result leave_at 05:11
_:system offered _:booking
_:booking category Train
_:search area north
_:search food chinese
_:result area North
_:result count 3
_:result food Chinese
_:search pricerange moderate
_:result name The golden wok
_:result type Restaurant
_:search day monday
_:booking people ?
_:search people 6
_:system canthelp _:booking/b924c1be
_:booking/b924c1be type Booking
_:booking duration ?
_:search duration 13:30
_:search type Restaurant
_:system inquired _:user
_:booking ref OESBPDPB
_:booking type Booking