http://www.estrellaproject.org/lkif-core/expression.owl#Declaration
Class lkif-expr:Declaration

owl:Class

Searle: the successful performance of a declaration is sufficient to bring about the fit between words and world, to make the propositional content true. In other words, if there is an inconsistency between the declaration and assertions, beliefs, or observations, it is not the declaration that is false. True of definitions and norms, and several other performative statements by legislators.

lkif-expr:Communicated_Attitude

lkif-expr:declares some lkif-expr:Expression