code: public String getLabel(HasOther e) {
  
  	List<LangString> labels = ((HasLabel) e).getLabel();
  	if ((labels == null) || (labels.isEmpty()))
  	    return null;
  	if (e instanceof HasLabel)
  	    return labels.get(0).getValue();
  	return "pFact: label TODO";
      }
docs: /* Return the first label, it it exists