ue tBC, TruthValue tA, TruthValue 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 Inferen