 Sentence-wise, independence logic is also equivalent to existential second order logic \(\Sigma_1^1\); but formula-wise, it is more expressive, and it was shown in Galliani 2012 that it can capture all nonempty \(\Sigma_1^1\)-definable team properties.