HL Assertions

function ASSERTION-P : (object)
Return T iff OBJECT is an HL assertion
Single value returned satisfies BOOLEANP. 

function ASSERTION-ID : (assertion)
Return the id of this ASSERTION.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies INTEGERP. 

function ASSERTION-CNF : (assertion)
Return the cnf of ASSERTION.
@note If you know the assertion is a gaf,
consider using gaf-formula instead,
if you do not explicitly need a CNF.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies CNF-P. 

function ASSERTION-FORMULA : (assertion)
Return a formula for ASSERTION.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies EL-FORMULA-P. 

function ASSERTION-IST-FORMULA : (assertion)
Return a formula in #$ist format for ASSERTION.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies EL-FORMULA-P. 

function ASSERTION-MENTIONS-TERM : (assertion term)
Return T iff ASSERTION's formula or mt contains TERM.
If assertion is a meta-assertion, recurse down sub-assertions.
By convention, negated gafs do not necessarily mention the term #$not.
ASSERTION must satisfy ASSERTION-P.
TERM must satisfy HL-TERM-P.
Single value returned satisfies BOOLEANP. 

function ASSERTION-MT : (assertion)
Return the mt of ASSERTION.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies FORT-P. 

function ASSERTION-DIRECTION : (assertion)
Return the direction of ASSERTION (either :backward, :forward or :code).
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies DIRECTION-P. 

function FORWARD-ASSERTION? : (assertion)
Predicate returns T iff ASSERTION's direction is :FORWARD.
Single value returned satisfies BOOLEANP. 

function BACKWARD-ASSERTION? : (assertion)
Predicate returns T iff ASSERTION's direction is :BACKWARD.
Single value returned satisfies BOOLEANP. 

function DIRECTION-P : (object)
Return T iff OBJECT is a valid assertion inference direction
:backward :forward or :code.
Single value returned satisfies BOOLEANP. 

function CODE-ASSERTION? : (assertion)
Predicate returns T iff ASSERTION's direction is :CODE.
Single value returned satisfies BOOLEANP. 

function ASSERTION-TRUTH : (assertion)
Return the current truth of ASSERTION -- either :true :false or :unknown.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies TRUTH-P. 

function ASSERTION-HAS-TRUTH : (assertion truth)
Return T iff ASSERTION's current truth is TRUTH.
ASSERTION must satisfy ASSERTION-P.
TRUTH must satisfy TRUTH-P.
Single value returned satisfies BOOLEANP. 

function TRUTH-P : (object)
Returns T iff OBJECT is a valid CycL truth
:true :false or :unknown. 

function ASSERTION-STRENGTH : (assertion)
Return the current argumentation strength of ASSERTION -- either :monotonic :default or :unknown.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies EL-STRENGTH-P. 

function ASSERTION-HAS-META-ASSERTIONS? : (assertion)
Return T iff ASSERTION has some meta-assertions.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies BOOLEANP. 

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

function FIND-ASSERTION : (cnf mt)
Find the assertion in MT with CNF. Return NIL if not present.
CNF must satisfy CNF-P.
MT must satisfy FORT-P.
Single value returned satisfies ASSERTION-P or is NIL. 

function FIND-ASSERTION-ANY-MT : (cnf)
Find any assertion in any mt with CNF. Return NIL if none are present.
CNF must satisfy CNF-P.
Single value returned satisfies ASSERTION-P or is NIL. 

function FIND-ALL-ASSERTIONS : (cnf)
Return all assertions that have CNF or NIL if there aren't any.
CNF must satisfy CNF-P.
Single value returned satisfies (LIST ASSERTION-P) or is NIL. 

function FIND-GAF : (gaf mt)
Find the assertion in MT with GAF as its formula. Return NIL if not present.
GAF must satisfy EL-FORMULA-P.
MT must satisfy FORT-P.
Single value returned satisfies ASSERTION-P or is NIL. 

function FIND-GAF-ANY-MT : (gaf)
Find any assertion in any mt with GAF as its formula. Return NIL if not present.
GAF must satisfy EL-FORMULA-P.
Single value returned satisfies ASSERTION-P or is NIL. 

function FIND-ALL-GAFS : (gaf)
Return all assertions of GAF or NIL if there aren't any.
GAF must satisfy EL-FORMULA-P.
Single value returned satisfies (LIST ASSERTION-P) or is NIL. 

function GET-ASSERTED-ARGUMENT : (assertion)
Return the asserted argument for ASSERTION, or nil if none present.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies ASSERTED-ARGUMENT-P or is NIL. 

function ASSERTED-ASSERTION? : (assertion)
Return non-nil IFF assertion has an asserted argument.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies BOOLEANP. 

function DEDUCED-ASSERTION? : (assertion)
Return non-nil IFF assertion has some deduced argument
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies BOOLEANP. 

function ASSERTION-EL-IST-FORMULA : (assertion)
Return the el formula in #$ist format for ASSERTION.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies CONSP. 

function ASSERTION-HAS-DEPENDENTS-P : (assertion)
Return non-nil IFF assertion has dependents.
ASSERTION must satisfy ASSERTION-P.
Single value returned satisfies BOOLEANP. 

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

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