return !spanOK(childItem);
if (!spanOK(childItem)) return true;   PartialTreeConstraint ptc = (PartialTreeConstraint)childItem.getConstraint(); if (ptc.spanMatches(childItem)) return !ptc.fullySatisfied; else return false;
  public boolean isViolatedByChild(Item childItem) {    return !spanOK(childItem);  }