Variable binding occurs when that location is below the node n.
变量约束在这个位置在节点 n 之下的时候发生。