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