In final clusters, the existence of at least one cluster consisting of nasal + nasal implies the existence of at least one cluster consisting of nasal +obstruent.
Standardized
In final clusters, IF there is at least one cluster consisting of nasal + nasal, THEN there is at least one cluster consisting of nasal + obstruent.
Cf. ##851, 855, 877.