AA
Size: a a a
AA
AA
AA
ST
IS
C-
AA
AA
AA
pS
pS
AA
AA
AA
AA
R
containter abc
leaf a {
type boolean;
must "not(../b = true" or ../c = true);
}
leaf b {
type boolean;
must "not(../a = true or ../c = true);
}
leaf c {
type boolean;
must "not(../a = true or ../b = true);
}
}
ST