vid1.setId(vid.getId());
VariableId vid2 = new VariableId();
vid2.setId(vid.getId());
VariableId vid3 = new VariableId();
vid3.setId(vid.getId());
Part part = new Part(
getFormula(abstractSignature, partialDef.getFormula1(), vid1),
getTerm(abstractSignature, partialDef.getTerm(), vid2),
getFormula(abstractSignature, partialDef.getFormula2(), vid3));
return part;
}