String () { StringBuilder buf = new StringBuilder(); boolean needParen = myComplementarySet.getNodePriority() > getNodePriority(); buf.append('!'); if (needParen) buf.append('('); buf.append(myComplementarySet.getText()); if (needParen) buf.append(')'); return buf.toString(); }