(Kay, 1996)) is to index edges with semantic indices (for instance, the edge with category N/x:dog(x) will be indexed with x) and to restrict edge combination to these edges which have compatible indices.
an active edge with category A(...)/C(c ...) (with c the semantics index of the missing component) is restricted to combine with inactive edges with category C(c ...), and vice versa.