The USS Lyon is decommissioned.
The USS Lyon was a US Navy ship involved in WWII. All ships involved in WWII are currently decommissioned or in a museum.
(USNavyShip(usslyon) ∧ InWWII(usslyon)) ∀x (InWWII(x) → (Decommissioned(x) ∨ InMuseum(x)))