inform((_:search,name,'corpus christi');(_:search,type,'Attraction'))
user
Hi I am looking for the attraction Corpus Christi can you find it for me ?
inform((_:result,address,"king 's parade");(_:result,area,'centre');(_:result,name,'Corpus Christi');(_:result,type,'Attraction'))
system
Corpus Christi is located at king 's parade in the centre of the town .
inform((_:search,name,'corpus christi');(_:search,type,'Attraction'))
user
Super , I 'm right by there ... what kind of an attraction is Corpus Christi ?
inform((_:result,address,"king 's parade");(_:result,category,'college');(_:result,type,'Attraction'))
system
it is a college located on king 's parade
inform((_:search,name,'restaurant alimentum');(_:search,type,'Restaurant'))
user
Okay . I 'm also looking for a restaurant called Restaurant Alimentum .
thank()
system
Sure , I 've located that for you .   What information would you like ?
inform((_:search,day,'wednesday');(_:search,duration,'17:30');(_:search,people,'8');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
I need to reserve a table for 8 at 17:30 wednesday and the reference # too
inform((_:booking,day,'wednesday');(_:booking,duration,'17:30');(_:booking,name,'restaurant alimentum');(_:booking,people,'8');(_:booking,ref,'PJH9SVZE');(_:booking,type,'Booking'))
system
Your reservation for 8 people at the restaurant alimentum for this wednesday at 17:30 was successful . Your Reference number is : PJH9SVZE .
thank()
user
Thank you .   You have provided everything I needed .
system
Thank you , have a good day .
_:search name corpus christi
_:search type Attraction
_:result address king 's parade
_:result area centre
_:result name Corpus Christi
_:result type Attraction
_:search name corpus christi
_:search type Attraction
_:result area centre
_:result name Corpus Christi
_:result address king 's parade
_:result category college
_:result type Attraction
_:search name restaurant alimentum
_:search type Restaurant
_:result area centre
_:result name Corpus Christi
_:result address king 's parade
_:result category college
_:result type Attraction
_:search name restaurant alimentum
_:search day wednesday
_:search duration 17:30
_:search people 8
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:result area centre
_:result name Corpus Christi
_:result address king 's parade
_:result category college
_:result type Attraction
_:search name restaurant alimentum
_:search day wednesday
_:search duration 17:30
_:search people 8
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:booking day wednesday
_:booking duration 17:30
_:booking name restaurant alimentum
_:booking people 8
_:booking ref PJH9SVZE
_:booking type Booking