[module.reach] p3 says

A declaration is reachable if it is reachable from any point in the instantiation context ([module.context]).

Does "any" in the rule mean

option a

there exists a point from which it is reachable

or

option b

The declaration is reachable from all points in the instantiation context such that the declaration can be reachable from an arbitrary point?

According to the example in [module.context] p7, option a seems to be the right intent. [module.reach] p3 may be an improvement if it is

A declaration is reachable if there exists a point in the instantiation context ([module.context]) from which the declaration is reachable.