Translate the following arguments into symbolic form and then use the eighteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed.
If a superconducting particle collider is built, then the data yielded will benefit scientists of all nations and it deserves international funding. Either a superconducting particle collider will be built, or the ultimate nature of matter will remain hidden and the data yielded will benefit scientists of all nations. Therefore, the data yielded by a superconducting particle collider will benefit scientists of all nations. (S, D, I, U)