inform((_:search,type,'Train'))
user
Hi , I sure am looking forward to trying some of your local food when I get there .   Can you help me find a train ?
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Yes , there are many trains where are you going and leaving from ? What time do you want to arrive or depart ?
inform((_:search,day,'monday');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I want to go to Kings Lynn on Monday .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where will you be departing from and what time ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'21:00');(_:search,type,'Train'))
user
I am departing from Cambridge after 21:00 .
inform((_:result,id,'TR8453');(_:result,leave_at,'21:11');(_:result,type,'Train'))
system
I have train TR8453 leaving at 21:11 is that okay for you ?
user
Yeah , that works . Is there a seat available ?
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Yes there is . Would you like reservations ?
user
Yeah , I just need a ticket for myself .
inform((_:booking,category,'Train');(_:booking,ref,'R547NJH2');(_:booking,type,'Booking'))
system
I have made that reservation and your reference number is R547NJH2 .
inform((_:search,food,'caribbean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I also am looking for an expensive caribbean restaurant .
canthelp((_:search,area,'in town');(_:search,food,'caribbean');(_:search,type,'Restaurant')) reqmore()
system
i do nt happen to have any caribbean restaurants in town . can i look for something else for you ?
inform((_:search,area,'centre');(_:search,food,'gastropub');(_:search,type,'Restaurant'))
user
How about Gastropub ?   In the centre ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,count,'3');(_:result,food,'gastropubs');(_:result,name,'backstreet bistro');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 3 expensive gastropubs in the centre .   My personal favorite is backstreet bistro .   Would you like me to make reservations for you ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
I do n't need a reservation at the moment but can i have their post code ?
inform((_:result,postcode,'cb12qa');(_:result,type,'Restaurant'))
system
Their postcode is cb12qa
thank()
user
Thank you for all your help !
system
Have a nice day .
_:search type Train
_:result amount many
_:result type Train
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search day monday
_:search destination kings lynn
_:search type Train
_:result amount many
_:result type Train
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:search type Train
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:search type Train
_:result id TR8453
_:result leave_at 21:11
_:result type Train
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:search type Train
_:result id TR8453
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:result id TR8453
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking ref R547NJH2
_:booking type Booking
_:search food caribbean
_:search pricerange expensive
_:search type Restaurant
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:result id TR8453
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking ref R547NJH2
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/63c4b130
_:search/63c4b130 area in town
_:search/63c4b130 food caribbean
_:search/63c4b130 type Restaurant
_:system inquired _:user
_:search area centre
_:search food gastropub
_:search type Restaurant
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:result id TR8453
_:result leave_at 21:11
_:system offered _:booking
_:booking category Train
_:booking ref R547NJH2
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/63c4b130
_:search/63c4b130 area in town
_:search/63c4b130 food caribbean
_:search/63c4b130 type Restaurant
_:system inquired _:user
_:search area centre
_:search food gastropub
_:search type Restaurant
_:result area centre
_:result count 3
_:result food gastropubs
_:result name backstreet bistro
_:result pricerange expensive
_:result type Restaurant
_:result postcode ?
_:result amount many
_:search arrive_by ?
_:search day monday
_:search destination kings lynn
_:search departure cambridge
_:search leave_at 21:00
_:result id TR8453
_:result leave_at 21:11
_:system offered _:booking
_:booking category Train
_:booking ref R547NJH2
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/63c4b130
_:search/63c4b130 area in town
_:search/63c4b130 food caribbean
_:search/63c4b130 type Restaurant
_:system inquired _:user
_:search area centre
_:search food gastropub
_:search type Restaurant
_:result area centre
_:result count 3
_:result food gastropubs
_:result name backstreet bistro
_:result pricerange expensive
_:result postcode cb12qa
_:result type Restaurant