public override String getJustification()
{
return "Paramodulation: " + topClause.getProofStep().getStepNumber()
+ ", " + equalityClause.getProofStep().getStepNumber() + ", ["
+ assertion + "]";
}
// END-ProofStep