% [+nas] and [+lat] cannot co-occur
[+nasal] > [-lateral]
[+lateral] > [-nasal]
% [-con] and [-son] cannot co-occur
[-sonorant] > [+consonantal]
[-consonantal] > [+sonorant]
% Segment can only be [+rel] if it is also [+con]
[-consonal] > [-release]
[+sonorant] > [-release]
For both automatic assignment and validation: