public String toString() {
StringBuilder rep = new StringBuilder(2000);
rep.append(MantikhorUtil.formatString(this, StringRepType.CLASS_NAME, new String[0]));
rep.append(MantikhorUtil.getMarker(StringRepType.BEGIN));
PropertyCategory cat = this.getCategory();
rep.append(MantikhorUtil.formatString(cat, StringRepType.ENUM, new String[0])).append(MantikhorUtil.getMarker(StringRepType.SEP));
DomainURI uri = this.getTypedefURI();
rep.append(MantikhorUtil.formatString(uri, StringRepType.DELEGATE_TO_STRING, new String[] {"DomainURI-null"}));
rep.append(MantikhorUtil.getMarker(StringRepType.END));
return rep.toString();