/** * Gets the KLabel corresponding to this production. A production has a * KLabel if and only if the production flattens in KORE to a term which is of sort * KItem (ie, is a function or a constructor). * @return */ public String getKLabel(boolean kore) { String klabel = getAttribute("klabel"); if (klabel == null && (isSyntacticSubsort() || containsAttribute("token") || containsAttribute("bracket"))) { return null; } else if (klabel == null || (kore && getAttribute("symbol") == null)) { klabel = getPrefixLabel(kore); } return klabel.replace(" ", ""); }