"; hasVerb=" + shortContainsVerb(containsVerb) +
  public String toString() {    return toSexp().toString() + "\t\t; head=" + headWord +      "; lc=" + leftSubcat.toSexp() + "; rc=" + rightSubcat.toSexp() +      "; leftPrev=" + leftPrevMods + "; rightPrev=" + rightPrevMods +      "; lv=" + shortBool(leftVerb) + "; rv=" + shortBool(rightVerb) +      "; stop=" + shortBool(stop) +      "\t; tree=" + doubleNF.format(logTreeProb) +      "; prior=" + doubleNF.format(logPrior) +      "; prob=" + doubleNF.format(logProb) +      " (@" + System.identityHashCode(this) + ")";  }