}
public Symbol getSymbol() {
return new Symbol() {
public boolean isTerm() {
throw new NotImplementedException();
}
public boolean isDefined() {
throw new NotImplementedException();
}
public String getType() {
throw new NotImplementedException();
}
public String getName() {
return name;
}