KERML11 — Lexical scoping, semantics

References to features from statements in nested features is intended to be semantically equivalent to chaining through that. For example, in

class A {
  feature x; 
  feature y; 
  connector c[1] {
    end feature u[1] ::> x;
    end feature v[1] ::> y; }}

the reference subsettings under c are supposed to be equivalant to that.x and that.y, respectively, as explained in 7.4.6.1 (Connectors Overview):

Connectors can be thought of as "instance-specific" associations, because their values (which are links) are each limited to linking things identified via related features on the same instance of the connector's domain (or by things identified by that instance, recursively, see below). For example, an association could be used to model an engine driving wheels, and to type a connector in the car model. This connector specifies an engine driving wheels only in the same car, not in another car, as would be allowed with just the association.

and in 8.3.4.5.3 (Connector)

A Connector is a usage of Associations, with links restricted according to instances of the Type in which they are used (domain of the Connector). The associations of the Connector restrict what kinds of things might be linked. The Connector further restricts these links to be between values of Features on instances of its domain.

This semantics for references to features in higher lexical scope is not math/modeled.