R⇒("S"∨"T")