One way to get at the end conclusion that the original modeling is wrong is simple logic. If given 1. Player can have a Weapon 2. Sword is a Weapon 3. Wizar

One way to get at the end conclusion that the original modeling is wrong is simple logic. If given 1. Player can have a Weapon 2. Sword is a Weapon 3. Wizard is a Player The from the statement "Wizard cannot have a Sword" follows a contradiction that "Player cannot have a Sword".