Epistemological-Level Support

Methods that support the EL 

function EL-STRENGTH-P : (object)
Return T iff OBJECT is a valid CycL assertion strength 
:default or :monotonic.
Single value returned satisfies BOOLEANP. 

function EL-TO-HL : (formula &optional mt)
Translate el expression FORMULA into its equivalent canonical hl expressions
FORMULA must satisfy EL-FORMULA-P. 

function EL-TO-HL-QUERY : (formula &optional mt)
Translate el query FORMULA into its equivalent hl expressions
FORMULA must satisfy EL-FORMULA-P. 

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

function EL-WFF-SYNTAX? : (formula &optional mt)
Is FORMULA well-formed wrt syntax?
Single value returned satisfies BOOLEANP. 

function EL-WFF-SYNTAX+ARITY? : (formula &optional mt)
Is FORMULA well-formed wrt syntax and arity?
Single value returned satisfies BOOLEANP. 

function GROUND? : (expression &optional var?)
Returns whether EXPRESSION is free of any variables?
Single value returned satisfies BOOLEANP. 

function EL-FORMULA-OK? : (formula &optional mt)
Is FORMULA a well-formed el formula?
FORMULA must satisfy LISTP.
Single value returned satisfies BOOLEANP. 

function EL-QUERY-OK? : (formula &optional mt)
Is FORMULA a well-formed el query?
FORMULA must satisfy LISTP.
Single value returned satisfies BOOLEANP. 

function DIAGNOSE-EL-FORMULA : (formula &optional mt io-mode)
Identify how el formula FORMULA fails syntactic or semantic constraints
FORMULA must satisfy LISTP.