AIMA.Core.Logic.FOL.Inference.Proof.ProofStepClauseClausifySentence.ProofStepClauseClausifySentence C# (CSharp) Method

        public ProofStepClauseClausifySentence(Clause clausified,
                Sentence origSentence)
        {
            this.clausified = clausified;
            this.predecessors.Add(new ProofStepPremise(origSentence));
        }