This is a preview. Log in through your library . Abstract Our paper addresses the following question: Is there a general characterization, for all predicates P that take both declarative and ...