inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I 'm looking for a pricy restaurant in the city centre
inform((_:result,address,'midsummer common');(_:result,food,'British');(_:result,name,'Midsummer House Restaurant');(_:result,type,'Restaurant'))
system
I found you a British restaurant called Midsummer House Restaurant that is located in midsummer common how does that sound ?
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
Does this restaurant serve european food ?
canthelp((_:search,type,'Restaurant')) inform((_:result,area,'same area');(_:result,food,'European');(_:result,name,'Michaelhouse Cafe');(_:result,pricerange,'same area and price range');(_:result,type,'Restaurant'))
system
It does not . For European food in the same area and price range , how about the Michaelhouse Cafe ? It is located at St. Michael 's Church Trinity Street City Centre .
inform((_:search,day,'monday');(_:search,duration,'16:15');(_:search,people,'5');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Okay . Great . Can you book me a reservation there for 5 people at 16:15 for this Monday ? Also I will need a reference number .
inform((_:booking,day,'Monday');(_:booking,duration,'16:15');(_:booking,name,'Michaelhouse Cafe');(_:booking,people,'5');(_:booking,ref,'0W78O9VD');(_:booking,type,'Booking'))
system
Alright , you have been booked at the Michaelhouse Cafe for Monday , 16:15 , party of 5 . The table will be reserved for 15 minutes . Your reference number is 0W78O9VD .
inform((_:search,day,'same day');(_:search,departure,'london kings cross');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
Thanks . I will also need take a train from london kings cross station that same day . What time do they leave ?
inform((_:result,duration,'51 minutes');(_:result,leave_at,'from 5:17');(_:result,leave_at,'until 24:08');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,leave_at,'11:17');(_:booking,leave_at,'13:17');(_:booking,type,'Booking'))
system
I have them leaving from 5:17 in the morning for every two hours until 24:08 in the evening . The journey is approximately 51 minutes . Would you like me to book you on the 11:17 or 13:17 ?
inform((_:search,arrive_by,'13:30');(_:search,type,'Train'))
user
I need to arrive by 13:30 , so let 's book the 11:17 , please .
request((_:booking,people,?);(_:booking,type,'Booking');(_:search,people,?);(_:search,type,'Train'))
system
How many people would you like to book it for ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
5 people
offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
Yes I will get that taken care of for you . Anything else i can do for you today ?
request((_:result,id,?);(_:result,type,'Train'))
user
I need the train ID , please .
inform((_:result,day,'Monday');(_:result,destination,'London Kings Cross');(_:result,id,'TR5720');(_:result,leave_at,'11:17');(_:result,type,'Train')) reqmore()
system
The train ID for the 11:17 on Monday to London Kings Cross is TR5720 . Is there anything else that I can help you with today ?
thank()
user
No , I think that 's all that I 'm looking for , thank for the help !
system
You are most welcome !
_:search area centre
_:search type Restaurant
_:search area centre
_:result address midsummer common
_:result food British
_:result name Midsummer House Restaurant
_:result type Restaurant
_:search food european
_:search type Restaurant
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:result type Restaurant
_:search day monday
_:search duration 16:15
_:search people 5
_:search type Restaurant
_:result ref ?
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:result type Restaurant
_:search duration 16:15
_:search people 5
_:result ref ?
_:booking day Monday
_:booking duration 16:15
_:booking name Michaelhouse Cafe
_:booking people 5
_:booking ref 0W78O9VD
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:search type Train
_:result leave_at ?
_:result type Train
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:search duration 16:15
_:search people 5
_:result ref ?
_:booking day Monday
_:booking duration 16:15
_:booking name Michaelhouse Cafe
_:booking people 5
_:booking ref 0W78O9VD
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result duration 51 minutes
_:result leave_at from 5:17
_:result leave_at until 24:08
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking leave_at 11:17
_:booking leave_at 13:17
_:search arrive_by 13:30
_:search type Train
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:search duration 16:15
_:result ref ?
_:booking day Monday
_:booking duration 16:15
_:booking name Michaelhouse Cafe
_:booking ref 0W78O9VD
_:search day same day
_:search departure london kings cross
_:result duration 51 minutes
_:result leave_at from 5:17
_:result leave_at until 24:08
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking leave_at 11:17
_:booking leave_at 13:17
_:search arrive_by 13:30
_:booking people ?
_:booking type Booking
_:search people 5
_:search type Train
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:search duration 16:15
_:result ref ?
_:booking day Monday
_:booking duration 16:15
_:booking name Michaelhouse Cafe
_:booking ref 0W78O9VD
_:search day same day
_:search departure london kings cross
_:result duration 51 minutes
_:result leave_at from 5:17
_:result leave_at until 24:08
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking leave_at 11:17
_:booking leave_at 13:17
_:search arrive_by 13:30
_:booking people ?
_:booking type Booking
_:search people 5
_:search type Train
_:system inquired _:user
_:result id ?
_:search area centre
_:result address midsummer common
_:search food european
_:system canthelp _:search/2c02e3c1
_:search/2c02e3c1 type Restaurant
_:result area same area
_:result food European
_:result name Michaelhouse Cafe
_:result pricerange same area and price range
_:search duration 16:15
_:result ref ?
_:booking day Monday
_:booking duration 16:15
_:booking name Michaelhouse Cafe
_:booking ref 0W78O9VD
_:search day same day
_:search departure london kings cross
_:result duration 51 minutes
_:system offered _:booking
_:booking category Train
_:booking leave_at 11:17
_:booking leave_at 13:17
_:search arrive_by 13:30
_:booking people ?
_:booking type Booking
_:search people 5
_:search type Train
_:result day Monday
_:result destination London Kings Cross
_:result id TR5720
_:result leave_at 11:17
_:result type Train
_:system inquired _:user