inform((_:search,category,'architecture');(_:search,type,'Attraction'))
user
Hi , can you help me find an architecture based attraction to go to ?
select((_:result,category,'church');(_:result,category,'school');(_:result,type,'Attraction')) inform((_:result,area,'centre');(_:result,category,'architecture');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 architecture based attractions in Cambridge . All in the centre of town . Would you prefer a church or a school ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Any church will be fine . Can you give me the phone number of one ?
inform((_:result,name,'All Saints Church');(_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
Certainly , All Saints Church 's number is 01223452587 .
inform((_:search,name,'the slug and lettuce');(_:search,type,'Restaurant'))
user
Cool . I need a restaurant called the slug and lettuce too .
inform((_:booking,name,'Slug and Lettuce');(_:booking,type,'Booking'))
system
Would you like me to make a reservation at The Slug and Lettuce for you ?
request((_:result,area,?);(_:result,type,'Restaurant')) inform((_:search,name,'Slug and Lettuce');(_:search,type,'Restaurant'))
user
No thank you . Could you tell me what area of town The Slug and Lettuce is in , though ?
inform((_:result,area,'center');(_:result,type,'Restaurant'))
system
That would be the center of town .
thank()
user
That 's all I need .   Thanks for your help .
reqmore()
system
Thank you for using our service . Have we met all of your needs today ?
thank()
user
Yes , you have been such a help !
system
Great ! I 'm glad that I was able to assist you today . Goodbye .
_:search category architecture
_:search type Attraction
_:search category architecture
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 5
_:result type Attraction
_:result phone ?
_:search category architecture
_:result area centre
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result phone 01223452587
_:result type Attraction
_:search name the slug and lettuce
_:search type Restaurant
_:search category architecture
_:result area centre
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result phone 01223452587
_:result type Attraction
_:booking name Slug and Lettuce
_:booking type Booking
_:result area ?
_:result type Restaurant
_:search name Slug and Lettuce
_:search type Restaurant
_:search category architecture
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result phone 01223452587
_:booking name Slug and Lettuce
_:booking type Booking
_:search name Slug and Lettuce
_:search type Restaurant
_:result area center
_:result type Restaurant
_:search category architecture
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result phone 01223452587
_:booking name Slug and Lettuce
_:booking type Booking
_:search name Slug and Lettuce
_:search type Restaurant
_:result area center
_:result type Restaurant
_:system inquired _:user