The predicate can•share(α, x, y, g0) is true if and only if there is an edge from x to y in g0 labeled α, or if the following hold simultaneously: a. there is a vertex s ∈ g0 with an s-to-y edge labeled α. b. there exists a subject vertex x′ such that x′