We develop a fibred security language capable to express statements of the form

begin{center}

${x }varphi (x) says psi$

end{center}

where ${x}varphi (x)$ is the set of all $x$ that satisfy

$varphi$ and $psi$ is any formula. $varphi$ and $psi$ may

share several free variables.

For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$

in which one of its authors says that he has published a paper with him after 2007"

begin{center}

$

eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$

end{center}