/** Find all entailments for <code>synset</code> */ public PointerTargetTree getEntailmentTree(Synset synset) throws JWNLException { return getEntailmentTree(synset, INFINITY); }
/** Find all entailments for <code>synset</code> */ public PointerTargetTree getEntailmentTree(Synset synset) throws JWNLException { return getEntailmentTree(synset, INFINITY); }