org.mizartools.system.xml.Identify identify) throws DliException {
ArticleId articleId = new ArticleId(identify.getAid());
Loci loci = Adapter.getLoci(abstractSignature, identify.getTypList());
LinkedList<Argeq> argeqList = new LinkedList<Argeq>();
for (org.mizartools.system.xml.Pair pair : identify.getEqArgs().getPairList()) {
Argeq argeq = new Argeq(pair.getX(), pair.getY());
argeqList.add(argeq);
}
Argeqs argeqs = new Argeqs(argeqList);
Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());