This is familiar from string parsing, where a CKY parse chart spells out all the ways in which larger substrings can be decomposed into smaller parts by concatenation.
if we see SG 1 and SG 2 as subgraphs of SG, SG 1 || SG 2 may no longer be a subgraph of SG.