Strube and Hahn's own version of Rule 2 still isn't verified, but this version of the rule is not verified by any of the instantiations we evaluated.
with the IS or IF instantiation and STRUBE-HAHN ranking, all three claims of the theory are verified at the .01 level.