∀x (OpticalEngineer(x) → Study(x, science) ∧ Study(x, engineering))
∀x (Study(x, opticalEngineering) → OpticalEngineer(x))
∀x (OpticalEngineer(x) → Study(x, lightGeneration) ∨ Study(x, lightTransmission) ∨ Study(x, lightDetection))
OpticalEngineer(murphy)
Study(murphy, science)