AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainCancellation.getJustification C# (CSharp) Метод

        public override String getJustification()
        {
            return "Cancellation: " + cancellationOf.getProofStep().getStepNumber()
                    + " " + subst;
        }
        // END-ProofStep