inform((_:search,departure,'kings lynn');(_:search,type,'Train'))
user
Hello , I 'd like some information on a train departing from kings lynn .
inform((_:result,departure,'Kings Lynn');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
I can certainly help you find a train leaving from Kings Lynn . What day would you like to go ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I want to leave on Sunday .
inform((_:result,count,'19');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
What time do you need to be in Cambridge ?   I have 19 trains available .   Can you help me sort this out better for you ?
inform((_:search,arrive_by,'09:15');(_:search,type,'Train'))
user
09:15 please , thank you for your help .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Do yo have a preferred time to leave ?
inform((_:search,arrive_by,'09:15');(_:search,destination,'Cambridge');(_:search,leave_at,'dontcare');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
Departure time is n't important as long as I can get to Cambridge by 09:15 .
inform((_:result,leave_at,'5:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a deaprting at 5:11 . Shall I book you one ?
request((_:result,duration,?);(_:result,id,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
No , not today .   Can you just give me the train ID and travel time ?   I guess I will need that departure time too .   Thanks .
inform((_:result,arrive_by,'05:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,duration,'47 minutes');(_:result,id,'TR6003');(_:result,leave_at,'05:11');(_:result,type,'Train'))
system
Train TR6003 departs Kings Lynn at 05:11 . The travel time is 47 minutes . It will get you to Cambridge at 05:58 .
inform((_:search,food,'thai');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thanks , I also need an expensive thai restaurant .
select((_:result,area,'centre');(_:result,area,'west');(_:result,name,'Bangkok City');(_:result,name,'Sala Thong');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have 2 options for you . Sala Thong is located in the west . And Bangkok City is located in the centre . Which would you prefer ?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
Which one has thai food ?
inform((_:result,amount,'Both');(_:result,food,'Thai');(_:result,name,'sala thong');(_:result,type,'Restaurant'))
system
Both choices serve Thai .   I prefer sala thong .
inform((_:search,name,'sala thong');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Could you give me the phone number and address of sala thong ?
reqmore() inform((_:result,address,'35 Newnham Road Newnham');(_:result,phone,'01223323178');(_:result,type,'Restaurant'))
system
No problem . The number is 01223323178 and they are located at 35 Newnham Road Newnham . Is there anything else you need help with today ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can I also get the postcode please ?
reqmore() inform((_:result,postcode,'cb39ey');(_:result,type,'Restaurant'))
system
Sure . The post code is cb39ey . Is there anything else I can find for you today ?
thank()
user
No that will be all , thanks .
system
I hope when you come the weather will be clement .
_:search departure kings lynn
_:search type Train
_:search departure kings lynn
_:result departure Kings Lynn
_:result type Train
_:search day sunday
_:search type Train
_:search departure kings lynn
_:result departure Kings Lynn
_:search day sunday
_:result count 19
_:result destination Cambridge
_:result type Train
_:search arrive_by 09:15
_:search type Train
_:search departure kings lynn
_:result departure Kings Lynn
_:search day sunday
_:result count 19
_:result destination Cambridge
_:result type Train
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:search type Train
_:result leave_at ?
_:search departure kings lynn
_:result departure Kings Lynn
_:search day sunday
_:result count 19
_:result destination Cambridge
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:search type Train
_:result leave_at 5:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result id ?
_:result leave_at ?
_:search departure kings lynn
_:search day sunday
_:result count 19
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 05:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result duration 47 minutes
_:result id TR6003
_:result leave_at 05:11
_:result type Train
_:search food thai
_:search pricerange expensive
_:search type Restaurant
_:search departure kings lynn
_:search day sunday
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 05:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result duration 47 minutes
_:result id TR6003
_:result leave_at 05:11
_:search pricerange expensive
_:result area centre
_:result area west
_:result name Bangkok City
_:result name Sala Thong
_:result count 2
_:result type Restaurant
_:search food thai
_:search type Restaurant
_:search departure kings lynn
_:search day sunday
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 05:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result duration 47 minutes
_:result id TR6003
_:result leave_at 05:11
_:search pricerange expensive
_:result area centre
_:result area west
_:result count 2
_:search food thai
_:result amount Both
_:result food Thai
_:result name sala thong
_:result type Restaurant
_:search name sala thong
_:search type Restaurant
_:result address ?
_:result phone ?
_:search departure kings lynn
_:search day sunday
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 05:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result duration 47 minutes
_:result id TR6003
_:result leave_at 05:11
_:search pricerange expensive
_:result area centre
_:result area west
_:result count 2
_:search food thai
_:result amount Both
_:result food Thai
_:result name sala thong
_:search name sala thong
_:search type Restaurant
_:system inquired _:user
_:result address 35 Newnham Road Newnham
_:result phone 01223323178
_:result type Restaurant
_:result postcode ?
_:search departure kings lynn
_:search day sunday
_:search arrive_by 09:15
_:search destination Cambridge
_:search leave_at dontcare
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 05:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result duration 47 minutes
_:result id TR6003
_:result leave_at 05:11
_:search pricerange expensive
_:result area centre
_:result area west
_:result count 2
_:search food thai
_:result amount Both
_:result food Thai
_:result name sala thong
_:search name sala thong
_:search type Restaurant
_:result address 35 Newnham Road Newnham
_:result phone 01223323178
_:system inquired _:user
_:result postcode cb39ey
_:result type Restaurant