Existential Quantifier (at least one)

The result is true iff the boolean expression is true for at least one variable binding of the declarations.

Syntax:
exists
   <var> : <set expression> [, <var> : <set expression> ...]
@
   <boolean expression>
Example:
exists v: V{structure.Package} @ v.name = ""