While TCAS is programmed to assume that both crews will promptly follow the system's instructions, the operations manual did not clearly state that TCAS should always take precedence over any ATC commands.