TS Leda was quiet and good at sea.
TS Leda was a good passenger and cargo vessel. TS Leda was the first Norweigian vessel that was built with stabilizers. Stabilizers are mechanical devices that are only on ships that have powerful steam turbine engines.  To be a good passenger and cargo vessel, ships must be quiet and good at sea. Some ships that are quiet and good at sea have powerful steam turbine engines.
∀x (TSLeda(x) → Passenger(x) ∧ CargoVessel(x)) ∀x (TSLeda(x) → Norweigian(x) ∧ Stabilizers(x)) ∀x (Stabilizers(x) → OnlyOnShips(x) ∧ SteamTurbine(x)) ∀x (Passenger(x) ∧ CargoVessel(x) → Quiet(x) ∧ GoodSea(x)) ∃x (Quiet(x) ∧ GoodSea(x) ∧ SteamTurbine(x))