inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm looking for an expensive restaurant in the centre if you could help me .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'lots');(_:result,type,'Restaurant')) thank()
system
I sure can .   There are lots of choices .   Are you looking for a particular type of food ?
inform((_:search,food,'not really');(_:search,type,'Restaurant'))
user
No , not really . I think I 'd like to try something different . Could you suggest something ?
inform((_:result,address,'108 Regent Street City Centre');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
There is a Korean restaurant called Little Seoul located at 108 Regent Street City Centre . Would you like their phone number ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , I would like both the phone number and the postcode please .
reqmore() inform((_:result,name,'little seoul');(_:result,phone,'01223308681');(_:result,postcode,'cb21dp');(_:result,type,'Restaurant'))
system
The phone number for little seoul is 01223308681 , postcode cb21dp .   Can I help you with anything else today ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
Can I also have the address please ?
reqmore() inform((_:result,address,'108 Regent Street , City Centre');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
The address for Little Seoul is 108 Regent Street , City Centre .   Is there anything else I can help you with ?
inform((_:search,day,'saturday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,leave_at,'09:15');(_:search,type,'Train')) request((_:result,duration,?);(_:result,type,'Train'))
user
I also want to see the travel times for a train going from Kings Lynn from Cambridge on Saturday . It should leave after 09:15 .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Is there a time you would like to arrive by ?
inform((_:search,day,'saturday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,leave_at,'9:15');(_:search,type,'Train'))
user
I got that backwards .   Need a train leaving Kings Lynn after 9:15 and arriving in Cambridge sometime on Saturday .
inform((_:result,arrive_by,'10:58');(_:result,id,'TR2514');(_:result,leave_at,'10:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2514 leaves at 10:11 and arrives at 10:58 . Will this one work for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Sure . Could you tell me the exact travel time ?
inform((_:result,duration,'47 minutes');(_:result,id,'TR2514');(_:result,type,'Train')) reqmore()
system
Sure . The travel time for TR2514 is 47 minutes . Anything else I can help you with today ?
thank()
user
that is it for today . good day thank you
system
Have a wonderful day yourself . Goodbye .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount lots
_:result type Restaurant
_:search food not really
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:search type Restaurant
_:result address 108 Regent Street City Centre
_:result food Korean
_:result name Little Seoul
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:search type Restaurant
_:result address 108 Regent Street City Centre
_:result food Korean
_:system inquired _:user
_:result name little seoul
_:result phone 01223308681
_:result postcode cb21dp
_:result type Restaurant
_:result address ?
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:result food Korean
_:result phone 01223308681
_:result postcode cb21dp
_:system inquired _:user
_:result address 108 Regent Street , City Centre
_:result name Little Seoul
_:result type Restaurant
_:search day saturday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 09:15
_:search type Train
_:result duration ?
_:result type Train
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:result food Korean
_:result phone 01223308681
_:result postcode cb21dp
_:system inquired _:user
_:result address 108 Regent Street , City Centre
_:result name Little Seoul
_:result type Restaurant
_:result duration ?
_:result type Train
_:search arrive_by ?
_:search day saturday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:result food Korean
_:result phone 01223308681
_:result postcode cb21dp
_:system inquired _:user
_:result address 108 Regent Street , City Centre
_:result name Little Seoul
_:result duration ?
_:search arrive_by ?
_:search day saturday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:result arrive_by 10:58
_:result id TR2514
_:result leave_at 10:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:result amount lots
_:search food not really
_:result food Korean
_:result phone 01223308681
_:result postcode cb21dp
_:result address 108 Regent Street , City Centre
_:result name Little Seoul
_:search arrive_by ?
_:search day saturday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:result arrive_by 10:58
_:result leave_at 10:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 47 minutes
_:result id TR2514
_:result type Train
_:system inquired _:user