Interface StatementNamespace<K,​D extends DeclaredStatement<?>,​E extends EffectiveStatement<?,​D>>