(=> (Shareholder ?Legal-Entity) (Exists (?Shareholding) (Shareholder-Of ?Shareholding ?Legal-Entity)))
(<=> (Shareholder ?Legal-Entity) (And (Legal-Entity ?Legal-Entity) (Actor ?Legal-Entity) (Exists (?Shareholding) (Shareholder-Of ?Shareholding ?Legal-Entity))))