LinkedList<Term> term2List = getTermList(abstractSignature, ((org.mizartools.system.xml.Func)term).getTermList());
if (func.getKind() == org.mizartools.system.xml.Func.Kind.F){
if (func.getNr() == null) throw new DliException();
termDli = new PrivateFunctor(func.getNr(), term2List);
} else {
ItemId itemId = getItemId(abstractSignature, ((org.mizartools.system.xml.Func)term));
termDli = new Func(itemId, term2List);
}
} else if (term instanceof org.mizartools.system.xml.Var) {
termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
} else if (term instanceof org.mizartools.system.xml.LocusVar) {