From the given sentense I see that every declaration belongs to a context. I understand that it may seem umbiguous to have the context as a part of each declaration and thus it was decided to declare it separately, but for large specifications this will significantly reduce the readability.

So I would suggest making the context an explicit part of each declaration.

Existing Wording:

Because context is associated with each declaration, it is possible for expressions defined in a particular context to reference expressions defined in the Unfiltered context and vice versa.