tB, Truth which in turn invokes functions such as SimpleTruthValue SimplePLNDeductionFormula(SimpleTruthValue tAB, SimpleTruthValue tBC, SimpleTruth IndefiniteTruthValue IndefinitePLNDeductionFormula(IndefiniteTruthValue tAB, IndefiniteTruthValue 36.3.2 Recording Executed PLN Inferences in the Atomspace Once an inference has been carried out, it can be represented i