d separation revenge and representation theorem bn semantics 2 1643334