P. Which means that every independence that holds in G, that is, it's implied by the d-separation statements or d-separation properties in G, every such independence also holds in P. But that doesn't mean that the converse holds. 