((Wsr3NotDeployed) && ((Wsr2NotDeployed) <-> <>(ScWorking))) <-> []((ScUnavailable) || (WebAppRuntime) || []<>(WsRuntime3))
