(!((ContainerDown==1) || (OsContainer==1)) && <>(OsAvailable==1)) <-> ((SwContainer==1) <-> <>[](ServerContainer==1))
