com.cyc.cycjava.cycl
Class backward

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.backward

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class backward
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const48$assertedSentence
static SubLObject	$const50$isa
static SubLObject	$const51$genls
static SubLObject	$const52$termOfUnit
static SubLSymbol	$inference_expand_hl_module$ Bound by INFERENCE-EXPAND-INTERNAL
static SubLSymbol	$inference_expand_sense$ Bound by INFERENCE-EXPAND-INTERNAL
static SubLSymbol	$kw1$POS
static SubLSymbol	$kw14$MAX_NUMBER
static SubLSymbol	$kw15$ALLOWED_MODULES
static SubLSymbol	$kw16$ALL
static SubLSymbol	$kw17$EXHAUST_TOTAL
static SubLSymbol	$kw19$METRICS
static SubLSymbol	$kw20$ALLOW_INDETERMINATE_RESULTS_
static SubLSymbol	$kw21$REMOVAL_ASK_DONE
static SubLSymbol	$kw23$ANSWER_COUNT
static SubLSymbol	$kw24$TIME_TO_FIRST_ANSWER
static SubLSymbol	$kw25$TIME_TO_LAST_ANSWER
static SubLSymbol	$kw26$TOTAL_TIME
static SubLSymbol	$kw27$TIME_PER_ANSWER
static SubLSymbol	$kw28$LATENCY_IMPROVEMENT_FROM_ITERATIVITY
static SubLSymbol	$kw29$COMPLETE_USER_TIME
static SubLSymbol	$kw30$COMPLETE_SYSTEM_TIME
static SubLSymbol	$kw31$COMPLETE_TOTAL_TIME
static SubLSymbol	$kw33$REMOVAL
static SubLSymbol	$kw34$IGNORE
static SubLSymbol	$kw37$FALSE
static SubLSymbol	$kw42$LEGACY
static SubLSymbol	$kw43$NONE
static SubLSymbol	$kw44$TRIVIAL
static SubLSymbol	$kw45$INFERENCE
static SubLSymbol	$kw7$TRUE
static SubLList	$list13
static SubLList	$list22
static SubLList	$list41
static SubLList	$list47
static SubLList	$list5
static SubLList	$list53
static SubLSymbol	$removal_add_node_method$ When non-nil, the implementation to funcall inside REMOVAL-ADD-NODE.
static SubLString	$str0$The_legacy_harness_is_no_longer_s
static SubLString	$str32$removal_ask_cannot_handle_metric_
static SubLString	$str39$Semantic_pruning_of_results_of_ba
static SubLString	$str40$This_controls_whether_or_not_the_
static SubLString	$str46$Unexpected_pruning_mode____S
static SubLSymbol	$sym10$REMOVAL_ASK_QUERY_PROPERTY_P
static SubLSymbol	$sym11$FIRST
static SubLSymbol	$sym12$SECOND
static SubLSymbol	$sym18$_
static SubLSymbol	$sym2$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE
static SubLSymbol	$sym3$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS
static SubLSymbol	$sym35$CLOSED_CONJUNCTIVE_CYCL_SENTENCE_P
static SubLSymbol	$sym36$CYCL_LITERAL_P
static SubLSymbol	$sym38$_TRANSFORMATION_SEMANTIC_PRUNING_ENABLED_
static SubLSymbol	$sym4$REMOVAL_ASK_ADD_NODE
static SubLSymbol	$sym49$ATOMIC_SENTENCE_PREDICATE
static SubLSymbol	$sym6$REMOVAL_ASK
static SubLSymbol	$sym8$CYCL_ATOMIC_SENTENCE_P
static SubLSymbol	$sym9$PROPERTY_LIST_P
static SubLSymbol	$transformation_add_node_method$ When non-nil, the implementation to funcall inside TRANSFORMATION-ADD-NODE.
static SubLSymbol	$transformation_early_removal_threshold$ If any non-backchain literals exist in the transformation layer, and they have an estimated removal cost less than this, force these removals to be done first.
static SubLSymbol	$transformation_semantic_pruning_enabled$ Do we enable the transformation-layer semantic pruning heuristics?
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	declare_backward_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	forward_complete_extent_asserted_pruning_enabledP()
static SubLObject	inference_expand_hl_module()
static SubLObject	inference_expand_sense()
static SubLObject	inference_hl_module_cost_too_expensive(SubLObject hl_module, SubLObject cost)
static SubLObject	inference_semantically_valid_dnf(SubLObject dnf, SubLObject mt)
static SubLObject	init_backward_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	non_asserted_asent_via_gaf_lookupP(SubLObject sentence)
static SubLObject	non_asserted_asentP(SubLObject sentence)
static SubLObject	removal_add_node_funcall(SubLObject function, SubLObject v_bindings, SubLObject supports)
static SubLObject	removal_add_node(SubLObject support, SubLObject v_bindings, SubLObject more_supports)
static SubLObject	removal_ask_add_node(SubLObject v_bindings, SubLObject supports)
static SubLObject	removal_ask_expand(SubLObject asent, SubLObject sense, SubLObject tactic_specs, SubLObject query_properties)
static SubLObject	removal_ask_int(SubLObject asent, SubLObject truth, SubLObject query_properties)
static SubLObject	removal_ask_query_property_p(SubLObject object)
static SubLObject	removal_ask_tactic_specs(SubLObject asent, SubLObject sense, SubLObject allowed_modules_spec)
static SubLObject	removal_ask(SubLObject asent, SubLObject mt, SubLObject truth, SubLObject query_properties) Perform an exhaustive removal-only ask of HL-level ASENT in MT.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	semantically_invalid_asserted_sentence_asent(SubLObject asent)
static SubLObject	semantically_valid_asserted_sentence_asents(SubLObject dnf, SubLObject mt)
static SubLObject	semantically_valid_closed_asentsP(SubLObject dnf, SubLObject mt)
static SubLObject	semantically_valid_complete_extent_asserted_asents(SubLObject dnf, SubLObject mt)
static SubLObject	semantically_valid_genls_asents(SubLObject dnf, SubLObject mt)
static SubLObject	semantically_valid_isa_asents(SubLObject dnf, SubLObject mt)
static SubLObject	semantically_valid_term_of_unit_asents(SubLObject dnf, SubLObject mt)
static SubLObject	setup_backward_file()
static SubLObject	syntactically_valid_term_of_unit_asents(SubLObject dnf)
static SubLObject	transformation_add_node(SubLObject rule_assertion, SubLObject rule_pivot_asent, SubLObject rule_pivot_sense, SubLObject v_bindings, SubLObject more_supports)
static SubLObject	transformation_rule_dependent_lits(SubLObject rule, SubLObject asent_from_rule, SubLObject asent_sense)

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$removal_add_node_method$

public static SubLSymbol $removal_add_node_method$

When non-nil, the implementation to funcall inside REMOVAL-ADD-NODE.

$transformation_add_node_method$

public static SubLSymbol $transformation_add_node_method$

When non-nil, the implementation to funcall inside TRANSFORMATION-ADD-NODE.

$transformation_early_removal_threshold$

public static SubLSymbol $transformation_early_removal_threshold$

If any non-backchain literals exist in the transformation layer, and they have an estimated removal cost less than this, force these removals to be done first. Since the productivity of join-ordered links is doubled, this is equal to DOUBLE the number of children that the focal problem can have and still be considered for early removal. NIL means never perform early removals. T means always perform early removals first.

$inference_expand_hl_module$

public static SubLSymbol $inference_expand_hl_module$

Bound by INFERENCE-EXPAND-INTERNAL

$inference_expand_sense$

public static SubLSymbol $inference_expand_sense$

Bound by INFERENCE-EXPAND-INTERNAL

$transformation_semantic_pruning_enabled$

public static SubLSymbol $transformation_semantic_pruning_enabled$

Do we enable the transformation-layer semantic pruning heuristics?

$str0$The_legacy_harness_is_no_longer_s

public static final SubLString $str0$The_legacy_harness_is_no_longer_s

$kw1$POS

public static final SubLSymbol $kw1$POS

$sym2$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE

public static final SubLSymbol $sym2$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE

$sym3$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS

public static final SubLSymbol $sym3$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS

$sym4$REMOVAL_ASK_ADD_NODE

public static final SubLSymbol $sym4$REMOVAL_ASK_ADD_NODE

$list5

public static final SubLList $list5

$sym6$REMOVAL_ASK

public static final SubLSymbol $sym6$REMOVAL_ASK

$kw7$TRUE

public static final SubLSymbol $kw7$TRUE

$sym8$CYCL_ATOMIC_SENTENCE_P

public static final SubLSymbol $sym8$CYCL_ATOMIC_SENTENCE_P

$sym9$PROPERTY_LIST_P

public static final SubLSymbol $sym9$PROPERTY_LIST_P

$sym10$REMOVAL_ASK_QUERY_PROPERTY_P

public static final SubLSymbol $sym10$REMOVAL_ASK_QUERY_PROPERTY_P

$sym11$FIRST

public static final SubLSymbol $sym11$FIRST

$sym12$SECOND

public static final SubLSymbol $sym12$SECOND

$list13

public static final SubLList $list13

$kw14$MAX_NUMBER

public static final SubLSymbol $kw14$MAX_NUMBER

$kw15$ALLOWED_MODULES

public static final SubLSymbol $kw15$ALLOWED_MODULES

$kw16$ALL

public static final SubLSymbol $kw16$ALL

$kw17$EXHAUST_TOTAL

public static final SubLSymbol $kw17$EXHAUST_TOTAL

$sym18$_

public static final SubLSymbol $sym18$_

$kw19$METRICS

public static final SubLSymbol $kw19$METRICS

$kw20$ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $kw20$ALLOW_INDETERMINATE_RESULTS_

$kw21$REMOVAL_ASK_DONE

public static final SubLSymbol $kw21$REMOVAL_ASK_DONE

$list22

public static final SubLList $list22

$kw23$ANSWER_COUNT

public static final SubLSymbol $kw23$ANSWER_COUNT

$kw24$TIME_TO_FIRST_ANSWER

public static final SubLSymbol $kw24$TIME_TO_FIRST_ANSWER

$kw25$TIME_TO_LAST_ANSWER

public static final SubLSymbol $kw25$TIME_TO_LAST_ANSWER

$kw26$TOTAL_TIME

public static final SubLSymbol $kw26$TOTAL_TIME

$kw27$TIME_PER_ANSWER

public static final SubLSymbol $kw27$TIME_PER_ANSWER

$kw28$LATENCY_IMPROVEMENT_FROM_ITERATIVITY

public static final SubLSymbol $kw28$LATENCY_IMPROVEMENT_FROM_ITERATIVITY

$kw29$COMPLETE_USER_TIME

public static final SubLSymbol $kw29$COMPLETE_USER_TIME

$kw30$COMPLETE_SYSTEM_TIME

public static final SubLSymbol $kw30$COMPLETE_SYSTEM_TIME

$kw31$COMPLETE_TOTAL_TIME

public static final SubLSymbol $kw31$COMPLETE_TOTAL_TIME

$str32$removal_ask_cannot_handle_metric_

public static final SubLString $str32$removal_ask_cannot_handle_metric_

$kw33$REMOVAL

public static final SubLSymbol $kw33$REMOVAL

$kw34$IGNORE

public static final SubLSymbol $kw34$IGNORE

$sym35$CLOSED_CONJUNCTIVE_CYCL_SENTENCE_P

public static final SubLSymbol $sym35$CLOSED_CONJUNCTIVE_CYCL_SENTENCE_P

$sym36$CYCL_LITERAL_P

public static final SubLSymbol $sym36$CYCL_LITERAL_P

$kw37$FALSE

public static final SubLSymbol $kw37$FALSE

$sym38$_TRANSFORMATION_SEMANTIC_PRUNING_ENABLED_

public static final SubLSymbol $sym38$_TRANSFORMATION_SEMANTIC_PRUNING_ENABLED_

$str39$Semantic_pruning_of_results_of_ba

public static final SubLString $str39$Semantic_pruning_of_results_of_ba

$str40$This_controls_whether_or_not_the_

public static final SubLString $str40$This_controls_whether_or_not_the_

$list41

public static final SubLList $list41

$kw42$LEGACY

public static final SubLSymbol $kw42$LEGACY

$kw43$NONE

public static final SubLSymbol $kw43$NONE

$kw44$TRIVIAL

public static final SubLSymbol $kw44$TRIVIAL

$kw45$INFERENCE

public static final SubLSymbol $kw45$INFERENCE

$str46$Unexpected_pruning_mode____S

public static final SubLString $str46$Unexpected_pruning_mode____S

$list47

public static final SubLList $list47

$const48$assertedSentence

public static final SubLObject $const48$assertedSentence

$sym49$ATOMIC_SENTENCE_PREDICATE

public static final SubLSymbol $sym49$ATOMIC_SENTENCE_PREDICATE

$const50$isa

public static final SubLObject $const50$isa

$const51$genls

public static final SubLObject $const51$genls

$const52$termOfUnit

public static final SubLObject $const52$termOfUnit

$list53

public static final SubLList $list53

Method Detail

inference_expand_hl_module

public static final SubLObject inference_expand_hl_module()

inference_expand_sense

public static final SubLObject inference_expand_sense()

transformation_add_node

public static final SubLObject transformation_add_node(SubLObject rule_assertion,
                                                       SubLObject rule_pivot_asent,
                                                       SubLObject rule_pivot_sense,
                                                       SubLObject v_bindings,
                                                       SubLObject more_supports)

Parameters:

RULE-PIVOT-ASENT; - the asent from RULE-ASSERTION that was used in the transformation. Computes information for a new link object and a new child node, creates them, performs unification, and does a bunch of bookkeeping. If you have (and (p x) (q x)) -> (or (r x) (s x)) and you backchain on (r a), then the rule-assertion will be (and (p x) (q x)) -> (or (r x) (s x)), the bindings will be (((x . a))), the new-pos-lits will be ((p a) (q a)), the new-neg-lits will be ((s a)), more-supports will be, like, an additional genlPreds support if it used one, no-trans-pos-lits and no-trans-neg-lits will both always be NIL. Currently no transformation modules pass these in.

transformation_rule_dependent_lits

public static final SubLObject transformation_rule_dependent_lits(SubLObject rule,
                                                                  SubLObject asent_from_rule,
                                                                  SubLObject asent_sense)

Returns:

0 new-pos-lits

removal_add_node

public static final SubLObject removal_add_node(SubLObject support,
                                                SubLObject v_bindings,
                                                SubLObject more_supports)

removal_add_node_funcall

public static final SubLObject removal_add_node_funcall(SubLObject function,
                                                        SubLObject v_bindings,
                                                        SubLObject supports)

removal_ask_query_property_p

public static final SubLObject removal_ask_query_property_p(SubLObject object)

removal_ask

public static final SubLObject removal_ask(SubLObject asent,
                                           SubLObject mt,
                                           SubLObject truth,
                                           SubLObject query_properties)

Perform an exhaustive removal-only ask of HL-level ASENT in MT. If MT is NIL, *default-ask-mt* is used. TRUTH indicates the truth of asent, either :TRUE or :FALSE.

Returns:

0 ; a list of tuples of the form : (bindings hl-supports)

removal_ask_add_node

public static final SubLObject removal_ask_add_node(SubLObject v_bindings,
                                                    SubLObject supports)

removal_ask_int

public static final SubLObject removal_ask_int(SubLObject asent,
                                               SubLObject truth,
                                               SubLObject query_properties)

removal_ask_tactic_specs

public static final SubLObject removal_ask_tactic_specs(SubLObject asent,
                                                        SubLObject sense,
                                                        SubLObject allowed_modules_spec)

removal_ask_expand

public static final SubLObject removal_ask_expand(SubLObject asent,
                                                  SubLObject sense,
                                                  SubLObject tactic_specs,
                                                  SubLObject query_properties)

inference_hl_module_cost_too_expensive

public static final SubLObject inference_hl_module_cost_too_expensive(SubLObject hl_module,
                                                                      SubLObject cost)

inference_semantically_valid_dnf

public static final SubLObject inference_semantically_valid_dnf(SubLObject dnf,
                                                                SubLObject mt)

semantically_valid_closed_asentsP

public static final SubLObject semantically_valid_closed_asentsP(SubLObject dnf,
                                                                 SubLObject mt)

semantically_valid_asserted_sentence_asents

public static final SubLObject semantically_valid_asserted_sentence_asents(SubLObject dnf,
                                                                           SubLObject mt)

forward_complete_extent_asserted_pruning_enabledP

public static final SubLObject forward_complete_extent_asserted_pruning_enabledP()

semantically_valid_complete_extent_asserted_asents

public static final SubLObject semantically_valid_complete_extent_asserted_asents(SubLObject dnf,
                                                                                  SubLObject mt)

semantically_invalid_asserted_sentence_asent

public static final SubLObject semantically_invalid_asserted_sentence_asent(SubLObject asent)

non_asserted_asentP

public static final SubLObject non_asserted_asentP(SubLObject sentence)

non_asserted_asent_via_gaf_lookupP

public static final SubLObject non_asserted_asent_via_gaf_lookupP(SubLObject sentence)

semantically_valid_isa_asents

public static final SubLObject semantically_valid_isa_asents(SubLObject dnf,
                                                             SubLObject mt)

semantically_valid_genls_asents

public static final SubLObject semantically_valid_genls_asents(SubLObject dnf,
                                                               SubLObject mt)

semantically_valid_term_of_unit_asents

public static final SubLObject semantically_valid_term_of_unit_asents(SubLObject dnf,
                                                                      SubLObject mt)

syntactically_valid_term_of_unit_asents

public static final SubLObject syntactically_valid_term_of_unit_asents(SubLObject dnf)

declare_backward_file

public static final SubLObject declare_backward_file()

init_backward_file

public static final SubLObject init_backward_file()

setup_backward_file

public static final SubLObject setup_backward_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.