HL Supports

function SUPPORT-P : (object)
Return T iff OBJECT can be a support in an argument.
Single value returned satisfies BOOLEANP. 

function SUPPORT-MODULE : (support)
Return the module of SUPPORT.
SUPPORT must satisfy SUPPORT-P.
Single value returned satisfies HL-MODULE-P. 

function SUPPORT-MT : (support)
Return the microtheory of SUPPORT.
SUPPORT must satisfy SUPPORT-P.
Single value returned satisfies FORT-P. 

function SUPPORT-TRUTH : (support)
Return the truth of SUPPORT.
SUPPORT must satisfy SUPPORT-P.
Single value returned satisfies TRUTH-P. 

function SUPPORT-STRENGTH : (support)
Return the strength of SUPPORT.
SUPPORT must satisfy SUPPORT-P.
Single value returned satisfies EL-STRENGTH-P. 

function SUPPORT-SENTENCE : (support)
Return the sentence of SUPPORT.
SUPPORT must satisfy SUPPORT-P.
Single value returned satisfies CONSP. 

function HL-SUPPORT-P : (object)
Does OBJECT represent an HL support?
Single value returned satisfies BOOLEANP. 

function MAKE-HL-SUPPORT : (hl-module sentence &optional mt tv)
Construct a new HL support.
HL-MODULE must satisfy HL-MODULE-P.
SENTENCE must satisfy POSSIBLY-SENTENCE-P.
MT must satisfy FORT-P.
TV must satisfy TV-P.
Single value returned satisfies HL-SUPPORT-P.