The Default Rule

y . ( x . m ! a )

y --- def variable (evaluated in defined env)

x --- att variable (evaluated in y)

m --- att variable (evaluated in x)

a --- def variable (evaluated in defined env)

The default rule implies dynamic binding.