HL Deductions

function DEDUCTION-P : (object)
Return T iff OBJECT is a CycL deduction.
Single value returned satisfies BOOLEANP. 

function DEDUCTION-ID : (deduction)
Return the id of DEDUCTION.
DEDUCTION must satisfy DEDUCTION-P.
Single value returned satisfies INTEGERP. 

function FIND-DEDUCTION-BY-ID : (id)
Return the deduction with ID, or NIL if not present.
ID must satisfy INTEGERP.
Single value returned satisfies DEDUCTION-P or is NIL. 

function DEDUCTION-ASSERTION : (deduction)
Return the assertion for which DEDUCTION is a deduction.
DEDUCTION must satisfy DEDUCTION-P.
Single value returned satisfies ASSERTION-P. 

function DEDUCTION-COUNT : ()
Return the total number of deductions.
Single value returned satisfies INTEGERP. 

macro DO-DEDUCTIONS : ((var &optional (message "mapping Cyc deductions")) &body body)
Iterate over all HL deduction datastructures, executing BODY within the scope of VAR.
VAR is a deduction.
MESSAGE is a progress message string.