public dLFormula getSuccedent() {
dLFormula succedent = (dLFormula) (arguments.get(1));
return succedent.clone();
}
public dLFormula getAntecedent() {
dLFormula antecedent = (dLFormula) (arguments.get(0));
return antecedent.clone();
}