inform((_:search,area,'center');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like to find an expensive restaurant in the center of town .
inform((_:result,amount,'many');(_:result,area,'Centre');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are many options for expensive dieting in Centre .
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
Can you find me one that serves European cuisine ?
inform((_:result,address,'Free School Lane City Centre');(_:result,food,'European');(_:result,name,'Eraina');(_:result,type,'Restaurant'))
system
Yes , Eraina serves European food and is located at Free School Lane City Centre .   Will this work ?
inform((_:search,day,'monday');(_:search,duration,'11:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes . Please book for 6 people on Monday at 11:30 .
system
Will you be needing a reference number ?
inform((_:search,type,'Train'))
user
Yes please . I will also need a train .
request((_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,people,?);(_:search,type,'Train'))
system
Where is the departure and arrival ? What time and day would you like ? How many passengers ?
inform((_:search,arrive_by,'21:15');(_:search,day,'tuesday');(_:search,type,'Train'))
user
The train should leave on tuesday and should arrive by 21:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
where are you leaving from and where is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I am departing Cambridge and going to Kings Lynn .
request((_:search,people,?);(_:search,type,'Train'))
system
I can help you with that , however how many tickets do you need please ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Just myself is traveling .
inform((_:result,arrive_by,'20:58');(_:result,id,'TR9926');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
The TR9926 will arrived at 20:58 .   Shall I go ahead and book a ticket for you ? Or do you want an earlier time ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Can you give me the price on tickets for that ?
inform((_:result,ticket,'9.80 pounds');(_:result,type,'Train'))
system
A ticket will cost you 9.80 pounds
request((_:result,duration,?);(_:result,type,'Train'))
user
Cool , I need the length of time for the travel as well .
inform((_:result,duration,'47 minutes');(_:result,type,'Train'))
system
47 minutes is the travel time
thank()
user
That is all I need today thank you .
system
Alrighty then thank you and have a nice day !
_:search area center
_:search pricerange expensive
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:result type Restaurant
_:search food european
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:result type Restaurant
_:search day monday
_:search duration 11:30
_:search people 6
_:search type Restaurant
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:result type Restaurant
_:search day monday
_:search duration 11:30
_:search people 6
_:search type Train
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:result type Restaurant
_:search duration 11:30
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search people ?
_:search arrive_by 21:15
_:search day tuesday
_:search type Train
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:result type Restaurant
_:search duration 11:30
_:search leave_at ?
_:search people ?
_:search arrive_by 21:15
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:result type Restaurant
_:search duration 11:30
_:search leave_at ?
_:search arrive_by 21:15
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search people 1
_:search type Train
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:search duration 11:30
_:search leave_at ?
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search people 1
_:result arrive_by 20:58
_:result id TR9926
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by ?
_:search type Train
_:result ticket ?
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:search duration 11:30
_:search leave_at ?
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search people 1
_:result arrive_by 20:58
_:result id TR9926
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by ?
_:search type Train
_:result ticket 9.80 pounds
_:result type Train
_:result duration ?
_:search area center
_:search pricerange expensive
_:result amount many
_:result area Centre
_:result pricerange expensive
_:search food european
_:result address Free School Lane City Centre
_:result food European
_:result name Eraina
_:search duration 11:30
_:search leave_at ?
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search people 1
_:result arrive_by 20:58
_:result id TR9926
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by ?
_:search type Train
_:result ticket 9.80 pounds
_:result duration 47 minutes
_:result type Train