@Override public String toString() { if (spanVariable == null) return "add [" + type + features.toSGMLString() + "]"; else return "add [" + type + features.toSGMLString() + "] over " + spanVariable.toString(); }