It isn't terribly useful except that jabref has dynamic groups based on searches (which I have no inclination to duplicate) where such behavior is indeed interesting. The intersections are indeed with the parent only. They don't make much sense for explicit groups, which is why the intersection is usually '0'.