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