(parent == null ? "null" : parent.label.toString());
(parent == null ? "null" : parent.label.toString()) + ", sat=" + satisfied + ", fullySat=" + fullySatisfied;
  public String toString() {    return "label=" + label + ", span=(" + start + "," + end +	   "), parentLabel=" +	   (parent == null ? "null" : parent.label.toString());  }