 does not satisfy the identifiable [SMR]{} assumption.  -   the identifiable [SMR]{} assumption is stronger than the P-minimality assumption.  -   there exists a DCG model $(G, \mathbb{P})$ satisfying the 