Tecmo holds another company.
Koei Tecmo is a Japanese video game and anime holding company. Holding companies hold several companies. Tecmo was disbanded in Japan, while Koei survived, but was renamed. Video game holding companies are holding companies.
Japanese(koeitecmo) ∧ VideoGameHoldingCompany(koeitecmo) ∧ AnimeHoldingCompany(koeitecmo) ∀x ∃y (HoldingCompany(x) → Company(y) ∧ Holds(x, y)) Disbanded(tecmo) ∧ DisbandedIn(tecmo, japan) ∧ Survived(koei) ∧ Renamed(koei) ∀x (VideoGameHoldingCompany(x) → HoldingCompany(x))