I was just kidding. But you make a good point about the starting point which makes me think of an obvious extension: iterate "vs" operation for every node and k

I was just kidding. But you make a good point about the starting point which makes me think of an obvious extension: iterate "vs" operation for every node and keep adding nodes until it stabilizes. The set of dogs is finite so the graph must stabilize at some point. If I do "vs" for pitbull then I get boxer and I see pitbull in the graph.