Title: Processing Declarative Knowledge