inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
I was hoping to dine at a korean restaurant while in Cambridge .
offer((_:booking,type,'Booking')) inform((_:result,address,'108 Regent St. City center');(_:result,food,'Korean');(_:result,type,'Restaurant'))
system
We have a Korean restaurant at 108 Regent St. City center , would you like me to make a reservation ?
inform((_:search,type,'Restaurant'))
user
What is the price range of that restaurant ?
inform((_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The price range of Little Seoul , the Korean restaurant , is expensive .
inform((_:search,area,'centre');(_:search,day,'friday');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Is that in the centre area ? If so I 'd like a reservation for 7 on Friday please .
request((_:booking,duration,?);(_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Yes Little Seoul is in the centre area , what time would you like for your reservation ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes can you please and send me the reference number .
request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Sure . What time would you like your reservation ?
inform((_:search,day,'friday');(_:search,duration,'15:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Can you reserve a table for Friday for 7 people at 15:45 ?
inform((_:booking,type,'Booking'))
system
I sure can .   I have your table booked .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
what is the reference number ?
reqmore() inform((_:booking,ref,'A5LITXVZ');(_:booking,type,'Booking'))
system
Your reference number is A5LITXVZ and they will hold the table for you for 15 minutes . Will you be needing other assistance ?
inform((_:search,day,'monday');(_:search,leave_at,'13:30');(_:search,type,'Train'))
user
I 'm also looking for a train . The train should leave after 13:30 and should leave on Monday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you departing from and headed to ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I am departing from Cambridge and need to get to Norwich .
system
The closest train to your departure time is at 13:36 for train number TR3325 . Do you want that booking ?
_:search food korean
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:booking type Booking
_:result address 108 Regent St. City center
_:result food Korean
_:result type Restaurant
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:booking type Booking
_:result address 108 Regent St. City center
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search area centre
_:search day friday
_:search people 7
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:result address 108 Regent St. City center
_:result food Korean
_:result pricerange expensive
_:search area centre
_:search day friday
_:search people 7
_:search type Restaurant
_:booking duration ?
_:booking type Booking
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:result ref ?
_:search food korean
_:system offered _:booking
_:result address 108 Regent St. City center
_:result food Korean
_:result pricerange expensive
_:search area centre
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:result ref ?
_:booking duration ?
_:booking type Booking
_:search day friday
_:search duration 15:45
_:search people 7
_:search type Restaurant
_:search food korean
_:system offered _:booking
_:result address 108 Regent St. City center
_:result food Korean
_:result pricerange expensive
_:search area centre
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:result ref ?
_:booking duration ?
_:search day friday
_:search duration 15:45
_:search people 7
_:search type Restaurant
_:booking type Booking
_:search food korean
_:system offered _:booking
_:result address 108 Regent St. City center
_:result food Korean
_:result pricerange expensive
_:search area centre
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:result ref ?
_:booking duration ?
_:search duration 15:45
_:search people 7
_:system inquired _:user
_:booking ref A5LITXVZ
_:booking type Booking
_:search day monday
_:search leave_at 13:30
_:search type Train
_:search food korean
_:system offered _:booking
_:result address 108 Regent St. City center
_:result food Korean
_:result pricerange expensive
_:search area centre
_:result area centre
_:result name Little Seoul
_:result type Restaurant
_:result ref ?
_:booking duration ?
_:search duration 15:45
_:search people 7
_:system inquired _:user
_:booking ref A5LITXVZ
_:booking type Booking
_:search day monday
_:search leave_at 13:30
_:search departure cambridge
_:search destination norwich
_:search type Train