In initial clusters, the existence of at least one sequence consisting of voiced obstruent + nasal implies the existence of at least one sequence of unvoiced obstruent + nasal.
Standardized
In initial clusters, IF there is at least one sequence consisting of voiced obstruent + nasal, THEN there is at least one sequence consisting of unvoiced obstruent + nasal.