HL Arguments

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

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

function ASSERTED-ARGUMENT-P : (object)
Return T iff OBJECT is an HL asserted argument structure.
Single value returned satisfies BOOLEANP. 

function ARGUMENT-EQUAL : (argument1 argument2)
Return T iff ARGUMENT1 and ARGUMENT2 are equivalent arguments.
Single value returned satisfies BOOLEANP. 

function ARGUMENT-TRUTH : (argument)
Return the truth of ARGUMENT.
ARGUMENT must satisfy ARGUMENT-P. 

function ARGUMENT-STRENGTH : (argument)
Return the strength of ARGUMENT.
ARGUMENT must satisfy ARGUMENT-P