text: The new criterion -- [[ meaning-entailing substitutability ]] -- fits the needs of << semantic-oriented NLP applications >> and can be evaluated directly -LRB- independent of an application -RRB- at a good level of human agreement .