To estimate the empirical validity of the defined hypotheses we developed an automatic inclusion testing algorithm (ITA).
our manual analysis shows, that over 90% of the first case pairs were due to a different sense of one of the entailing word, e.g.