throw new UnifyFailure();
}
}
public String toString() {
DisplayPrefs prefs = Grammar.theGrammar.prefs;
StringBuffer sb = new StringBuffer();
sb.append(_target.toString()).append(_args.toString());
if (_lf != null && prefs.showSem) {
sb.append(" : ").append(_lf.toString());
}