He is, at least according to the information in the last Verisk offering document. He won't show up on 13G as own less than 5% of the company (don't confuse the percentage of the total shares he owns versus the percentage of B shares he owns).
Has Federated Insurance sold theirs yet? They may need to if this jury trial coming up turns out the way I think it will. A Curious Case of Corporate Bullying????? http://fedupwithfederated.blogspot.com/