inference_worker

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.inference.harness
Class inference_worker_removal

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.inference_worker_removal

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_worker_removal
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_worker_removal.$inference_remove_unify_default$BinaryFunction`
`static class`	`inference_worker_removal.$inference_remove_unify_default$UnaryFunction`
`static class`	`inference_worker_removal.$removal_link_data_native`
`static class`	`inference_worker_removal.$removal_link_data_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$conjunctive_removal_optimize_when_no_justificationsP$ Temporary control variable, eventually should stay T.
`static SubLSymbol`	$dtp_removal_link_data$
`static SubLSymbol`	`$kw100$HANDLE_ONE_OUTPUT_GENERATE_RESULT`
`static SubLSymbol`	`$kw102$TRUE`
`static SubLSymbol`	`$kw14$HL_MODULE`
`static SubLSymbol`	`$kw15$BINDINGS`
`static SubLSymbol`	`$kw16$SUPPORTS`
`static SubLSymbol`	`$kw19$REMOVAL`
`static SubLSymbol`	`$kw20$FREE`
`static SubLSymbol`	`$kw25$RESTRICTION`
`static SubLSymbol`	`$kw26$SPLIT`
`static SubLSymbol`	`$kw27$REMOVAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw31$SKIP`
`static SubLSymbol`	`$kw32$TACTICAL`
`static SubLSymbol`	`$kw34$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE`
`static SubLSymbol`	`$kw35$CONJUNCTIVE_REMOVAL_EXPAND`
`static SubLSymbol`	`$kw38$NEG`
`static SubLSymbol`	`$kw39$POS`
`static SubLSymbol`	`$kw45$META_REMOVAL`
`static SubLSymbol`	`$kw65$ALL`
`static SubLSymbol`	`$kw66$DETERMINE_NEW_REMOVAL_TACTIC_SPECS_FROM_HL_MODULES`
`static SubLSymbol`	`$kw67$NOT`
`static SubLSymbol`	`$kw68$MODULE_SUBTYPE`
`static SubLSymbol`	`$kw72$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw82$REMOVAL_OUTPUT_GENERATE`
`static SubLSymbol`	`$kw84$MAYBE_MAKE_REMOVAL_TACTIC_EXPAND_RESULTS_PROGRESS_ITERATOR`
`static SubLSymbol`	`$kw86$REMOVAL_EXPAND`
`static SubLSymbol`	`$kw99$MAYBE_MAKE_INFERENCE_OUTPUT_ITERATOR`
`static SubLList`	`$list101`
`static SubLList`	`$list2`
`static SubLList`	`$list28`
`static SubLList`	`$list3`
`static SubLList`	`$list33`
`static SubLList`	`$list4`
`static SubLList`	`$list40`
`static SubLList`	`$list5`
`static SubLList`	`$list74`
`static SubLList`	`$list87`
`static SubLList`	`$list91`
`static SubLString`	`$str103$unknown_thing_to_do_in_the_HL_mod`
`static SubLString`	`$str17$Invalid_slot__S_for_construction_`
`static SubLString`	`$str30$_s_stated_its_applicability_to_th`
`static SubLString`	`$str36$Problem_reuse_assumptions_were_vi`
`static SubLString`	`$str37$Couldn_t_find_the_right_conjuncti`
`static SubLString`	`$str70$For_sentence_____S__Maximum_HL_Mo`
`static SubLString`	`$str88$Ignoring_result_from__S_due_to_op`
`static SubLSymbol`	`$sym0$REMOVAL_LINK_DATA`
`static SubLSymbol`	`$sym1$REMOVAL_LINK_DATA_P`
`static SubLSymbol`	`$sym10$REMOV_LINK_DATA_BINDINGS`
`static SubLSymbol`	`$sym11$_CSETF_REMOV_LINK_DATA_BINDINGS`
`static SubLSymbol`	`$sym12$REMOV_LINK_DATA_SUPPORTS`
`static SubLSymbol`	`$sym13$_CSETF_REMOV_LINK_DATA_SUPPORTS`
`static SubLSymbol`	`$sym18$PROBLEM_P`
`static SubLSymbol`	`$sym21$REMOVAL_LINK_P`
`static SubLSymbol`	`$sym22$HL_MODULE_P`
`static SubLSymbol`	`$sym23$BINDING_LIST_P`
`static SubLSymbol`	`$sym24$HL_JUSTIFICATION_P`
`static SubLSymbol`	`$sym29$CONJUNCTIVE_REMOVAL_MODULE_PRIORITY_`
`static SubLSymbol`	`$sym41$STORE_VAR`
`static SubLSymbol`	`$sym42$CLET`
`static SubLSymbol`	`$sym43$_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym44$PROBLEM_STORE_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym46$META_REMOVAL_COMPLETELY_DECIDABLE_POS_REQUIRED`
`static SubLSymbol`	`$sym47$META_REMOVAL_COMPLETELY_ENUMERABLE_POS_REQUIRED`
`static SubLSymbol`	`$sym48$REMOVAL_ABDUCTION_POS_REQUIRED`
`static SubLSymbol`	`$sym49$REMOVAL_EVALUATABLE_FCP_UNIFY_REQUIRED`
`static SubLSymbol`	`$sym50$REMOVAL_FCP_CHECK_REQUIRED`
`static SubLSymbol`	`$sym51$REMOVAL_ISA_DEFN_POS_REQUIRED`
`static SubLSymbol`	`$sym52$REMOVAL_TVA_CHECK_REQUIRED`
`static SubLSymbol`	`$sym53$REMOVAL_TVA_UNIFY_REQUIRED`
`static SubLSymbol`	`$sym54$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY_EXPAND`
`static SubLSymbol`	`$sym55$REMOVAL_EVAL_EXPAND`
`static SubLSymbol`	`$sym56$REMOVAL_EVALUATE_BIND_EXPAND`
`static SubLSymbol`	`$sym57$REMOVAL_ISA_COLLECTION_CHECK_NEG_EXPAND`
`static SubLSymbol`	`$sym58$REMOVAL_ISA_COLLECTION_CHECK_POS_EXPAND`
`static SubLSymbol`	`$sym59$REMOVAL_NAT_ARGUMENT_LOOKUP_EXPAND`
`static SubLSymbol`	`$sym6$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym60$REMOVAL_NAT_FORMULA_EXPAND`
`static SubLSymbol`	`$sym61$REMOVAL_NAT_FUNCTION_LOOKUP_EXPAND`
`static SubLSymbol`	`$sym62$REMOVAL_NAT_LOOKUP_EXPAND`
`static SubLSymbol`	`$sym63$REMOVAL_REFLEXIVE_ON_EXPAND`
`static SubLSymbol`	`$sym64$REMOVAL_TVA_CHECK_EXPAND`
`static SubLSymbol`	`$sym69$FIRST`
`static SubLSymbol`	`$sym7$REMOVAL_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym71$LITERAL_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE_WITH_SENSE_INT`
`static SubLSymbol`	`$sym73$LITERAL_META_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE`
`static SubLSymbol`	`$sym75$TACTIC_VAR`
`static SubLSymbol`	`$sym76$WITH_INFERENCE_MT_RELEVANCE`
`static SubLSymbol`	`$sym77$_INFERENCE_EXPAND_HL_MODULE_`
`static SubLSymbol`	`$sym78$TACTIC_HL_MODULE`
`static SubLSymbol`	`$sym79$_INFERENCE_EXPAND_SENSE_`
`static SubLSymbol`	`$sym8$REMOV_LINK_DATA_HL_MODULE`
`static SubLSymbol`	`$sym80$WITH_PROBLEM_STORE_REMOVAL_ASSUMPTIONS`
`static SubLSymbol`	`$sym81$TACTIC_STORE`
`static SubLSymbol`	`$sym83$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE`
`static SubLSymbol`	`$sym85$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS`
`static SubLSymbol`	`$sym89$PRODUCTIVITY__`
`static SubLSymbol`	`$sym9$_CSETF_REMOV_LINK_DATA_HL_MODULE`
`static SubLSymbol`	`$sym90$TACTIC_PRODUCTIVITY`
`static SubLSymbol`	`$sym92$ITERATOR`
`static SubLSymbol`	`$sym93$PIF`
`static SubLSymbol`	`$sym94$ITERATOR_P`
`static SubLSymbol`	`$sym95$CUNWIND_PROTECT`
`static SubLSymbol`	`$sym96$DO_ITERATOR`
`static SubLSymbol`	`$sym97$ITERATION_FINALIZE`
`static SubLSymbol`	`$sym98$DO_LIST`
`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

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`	`_csetf_remov_link_data_bindings(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_remov_link_data_hl_module(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_remov_link_data_supports(SubLObject object, SubLObject value)`
`static SubLObject`	`compute_strategic_properties_of_removal_tactic(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`compute_tactic_specs_for_asent(SubLObject applicable_hl_modules, SubLObject asent, SubLObject sense)`
`static SubLObject`	`conjunctive_removal_link_p(SubLObject link)`
`static SubLObject`	`conjunctive_removal_module_priorityL(SubLObject hl_module1, SubLObject hl_module2)`
`static SubLObject`	`conjunctive_removal_tactic_p(SubLObject tactic)`
`static SubLObject`	`declare_inference_worker_removal_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`determine_applicable_conjunctive_removal_modules(SubLObject contextualized_dnf_clause)`
`static SubLObject`	`determine_applicable_hl_modules_for_asent(SubLObject candidate_hl_modules, SubLObject asent, SubLObject sense)`
`static SubLObject`	`determine_new_conjunctive_removal_tactics(SubLObject problem, SubLObject dnf_clause)` Determines tactics which can solve all of the conjunctive problem PROBLEM at once.
`static SubLObject`	`determine_new_literal_meta_removal_tactics(SubLObject problem, SubLObject asent, SubLObject sense)` Figure out all applicable inference meta removal tactics for ASENT with SENSE, and add them to PROBLEM.
`static SubLObject`	`determine_new_literal_removal_tactics(SubLObject problem, SubLObject asent, SubLObject sense)`
`static SubLObject`	`determine_new_literal_simple_removal_tactics(SubLObject problem, SubLObject asent, SubLObject sense)` Figure out all applicable inference removal tactics for ASENT with SENSE, and add them to PROBLEM.
`static SubLObject`	`determine_new_removal_tactic_specs_from_hl_modules_guts(SubLObject candidate_hl_modules, SubLObject asent, SubLObject sense)` map over the hl-modules, determining our tactics for this literal
`static SubLObject`	`determine_new_removal_tactic_specs_from_hl_modules(SubLObject hl_modules, SubLObject asent, SubLObject sense)` Using HL-MODULES, figure out applicable inference removal tactic-specs for ASENT with SENSE.
`static SubLObject`	`determine_new_removal_tactics_from_hl_modules(SubLObject hl_modules, SubLObject problem, SubLObject asent, SubLObject sense)` Using HL-MODULES, figure out applicable inference removal tactics for ASENT with SENSE, and add them to PROBLEM.
`static SubLObject`	`execute_literal_level_removal_tactic(SubLObject tactic, SubLObject mt, SubLObject asent, SubLObject sense)`
`static SubLObject`	`filter_modules_wrt_allowed_modules_spec(SubLObject candidate_hl_modules, SubLObject allowed_modules_spec)`
`static SubLObject`	`find_removal_link(SubLObject problem, SubLObject tactic, SubLObject v_bindings, SubLObject supports)`
`static SubLObject`	`generalized_removal_tactic_p(SubLObject object)`
`static SubLObject`	`handle_one_output_generate_result_guts(SubLObject cycl_input_asent, SubLObject hl_module, SubLObject raw_output, SubLObject encoded_bindings)`
`static SubLObject`	`handle_one_output_generate_result(SubLObject cycl_input_asent, SubLObject hl_module, SubLObject raw_output, SubLObject encoded_bindings)`
`static SubLObject`	`handle_one_removal_tactic_expand_result(SubLObject removal_tactic, SubLObject expand_result)`
`static SubLObject`	`handle_one_removal_tactic_output_generate_result(SubLObject removal_tactic, SubLObject output_iterator, SubLObject encoded_bindings)`
`static SubLObject`	`handle_one_removal_tactic_result(SubLObject removal_tactic, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`handle_removal_add_node_for_expand_results(SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`handle_removal_add_node_for_output_generate(SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`hl_module_applicable_subclause_specs(SubLObject hl_module, SubLObject contextualized_dnf_clause)`
`static SubLObject`	`hl_module_applicable_to_asentP(SubLObject hl_module, SubLObject asent)`
`static SubLObject`	`hl_module_guts(SubLObject type, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5)`
`static SubLObject`	`inference_current_hl_module()`
`static SubLObject`	`inference_current_sense()`
`static SubLObject`	`inference_input_encoder(SubLObject hl_module, SubLObject cycl_input, SubLObject v_bindings)`
`static SubLObject`	`inference_input_extractor(SubLObject hl_module, SubLObject cycl_input_asent, SubLObject v_bindings)`
`static SubLObject`	`inference_input_verifier(SubLObject hl_module, SubLObject cycl_input)`
`static SubLObject`	`inference_output_checker(SubLObject hl_module, SubLObject raw_input, SubLObject v_bindings)`
`static SubLObject`	`inference_output_constructor(SubLObject hl_module, SubLObject cycl_output, SubLObject v_bindings)`
`static SubLObject`	`inference_output_decoder(SubLObject hl_module, SubLObject raw_output, SubLObject v_bindings)`
`static SubLObject`	`inference_output_generator(SubLObject hl_module, SubLObject raw_input, SubLObject v_bindings)`
`static SubLObject`	`inference_output_verifier(SubLObject hl_module, SubLObject cycl_output)`
`static SubLObject`	`inference_remove_check_default(SubLObject cycl_input_asent, SubLObject sense)`
`static SubLObject`	`inference_remove_unify_default(SubLObject cycl_input_asent, SubLObject sense)`
`static SubLObject`	`inference_support_constructor(SubLObject hl_module, SubLObject cycl_output_asent, SubLObject v_bindings)`
`static SubLObject`	`init_inference_worker_removal_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`literal_level_meta_removal_tactic_p(SubLObject tactic)`
`static SubLObject`	`literal_level_removal_tactic_p(SubLObject tactic)`
`static SubLObject`	`literal_meta_removal_candidate_hl_modules_for_predicate_internal(SubLObject predicate)`
`static SubLObject`	`literal_meta_removal_candidate_hl_modules_for_predicate(SubLObject predicate)`
`static SubLObject`	`literal_meta_removal_candidate_hl_modules(SubLObject asent, SubLObject sense)`
`static SubLObject`	`literal_removal_candidate_hl_modules_for_predicate_with_sense_int_internal(SubLObject predicate, SubLObject sense, SubLObject allowed_modules_spec)`
`static SubLObject`	`literal_removal_candidate_hl_modules_for_predicate_with_sense_int(SubLObject predicate, SubLObject sense, SubLObject allowed_modules_spec)`
`static SubLObject`	`literal_removal_candidate_hl_modules_for_predicate_with_sense(SubLObject predicate, SubLObject sense)`
`static SubLObject`	`literal_removal_options_candidate_hl_modules(SubLObject asent, SubLObject sense, SubLObject allowed_modules_spec)`
`static SubLObject`	`literal_removal_options_hl_modules(SubLObject asent, SubLObject sense, SubLObject allowed_modules_spec)`
`static SubLObject`	`literal_removal_options(SubLObject asent, SubLObject sense, SubLObject allowed_modules_spec)` Return a list of inference removal options for ASENT with SENSE.
`static SubLObject`	`literal_simple_removal_candidate_hl_modules(SubLObject asent, SubLObject sense)`
`static SubLObject`	`make_removal_link_data(SubLObject arglist)`
`static SubLObject`	`maybe_make_inference_output_iterator_guts(SubLObject hl_module, SubLObject cycl_input_asent)`
`static SubLObject`	`maybe_make_inference_output_iterator(SubLObject hl_module, SubLObject cycl_input_asent)`
`static SubLObject`	`maybe_make_removal_tactic_expand_results_progress_iterator_guts(SubLObject tactic, SubLObject asent, SubLObject sense)`
`static SubLObject`	`maybe_make_removal_tactic_expand_results_progress_iterator(SubLObject tactic, SubLObject asent, SubLObject sense)`
`static SubLObject`	`maybe_make_removal_tactic_output_generate_progress_iterator(SubLObject tactic, SubLObject cycl_input_asent)`
`static SubLObject`	`maybe_make_removal_tactic_progress_iterator(SubLObject tactic, SubLObject asent, SubLObject sense)`
`static SubLObject`	`maybe_new_removal_link(SubLObject problem, SubLObject tactic, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`maybe_new_restriction_and_removal_link(SubLObject problem, SubLObject tactic, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`meta_removal_tactic_p(SubLObject object)`
`static SubLObject`	`motivated_multi_literal_subclause_specs(SubLObject contextualized_dnf_clause)`
`static SubLObject`	`new_removal_link_data(SubLObject removal_link)`
`static SubLObject`	`new_removal_link_int(SubLObject problem, SubLObject hl_module, SubLObject removal_bindings, SubLObject supports)` Returns a new :removal link with its data properties set to HL-MODULE, BINDINGS, and SUPPORTS, with a supported problem of PROBLEM, and no supporting problems yet.
`static SubLObject`	`new_removal_link(SubLObject problem, SubLObject hl_module, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`new_removal_proof(SubLObject removal_link)`
`static SubLObject`	`new_removal_tactic_expand_results_progress_iterator(SubLObject tactic, SubLObject expand_results)`
`static SubLObject`	`new_removal_tactic_output_generate_progress_iterator(SubLObject tactic, SubLObject output_iterator, SubLObject encoded_bindings)`
`static SubLObject`	`new_removal_tactic(SubLObject problem, SubLObject hl_module, SubLObject productivity, SubLObject completeness)`
`static SubLObject`	`possibly_replace_ist_supports(SubLObject problem, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`remov_link_data_bindings(SubLObject object)`
`static SubLObject`	`remov_link_data_hl_module(SubLObject object)`
`static SubLObject`	`remov_link_data_supports(SubLObject object)`
`static SubLObject`	`removal_link_bindings(SubLObject removal_link)` The first elements of these bindings are in the space of REMOVAL-LINK's supported problem, and their second elements are in the space of REMOVAL-LINK's unique supporting problem.
`static SubLObject`	`removal_link_data_equals_specP(SubLObject removal_link, SubLObject removal_bindings, SubLObject supports)`
`static SubLObject`	`removal_link_data_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`removal_link_hl_module(SubLObject removal_link)`
`static SubLObject`	`removal_link_p(SubLObject object)`
`static SubLObject`	`removal_link_supports(SubLObject removal_link)`
`static SubLObject`	`removal_link_tactic(SubLObject removal_link)`
`static SubLObject`	`removal_module_exclusive_func_funcall(SubLObject func, SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_module_expand_func_funcall(SubLObject func, SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_module_required_func_funcall(SubLObject func, SubLObject asent, SubLObject sense)`
`static SubLObject`	`removal_tactic_p(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_removal_link_bindings(SubLObject removal_link, SubLObject v_bindings)`
`static SubLObject`	`set_removal_link_hl_module(SubLObject removal_link, SubLObject hl_module)`
`static SubLObject`	`set_removal_link_supports(SubLObject removal_link, SubLObject supports)`
`static SubLObject`	`setup_inference_worker_removal_file()`
`static SubLObject`	`sort_applicable_conjunctive_removal_modules_by_priority(SubLObject hl_modules)` Help determine-new-conjunctive-removal-tactics do better by ordering pruning modules before simplification modules and simplification modules before everything else.
`static SubLObject`	`update_applicable_hl_modules(SubLObject hl_module, SubLObject asent, SubLObject sense, SubLObject applicable_hl_modules, SubLObject supplanted_hl_modules)` Determine if HL-MODULE applies to ASENT with SENSE
`static SubLObject`	`update_supplanted_hl_modules(SubLObject hl_module, SubLObject applicable_hl_modules, SubLObject supplanted_hl_modules)` Update the set of APPLICABLE-HL-MODULES and SUPPLANTED-HL-MODULES using the :supplants info on HL-MODULE.

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

$dtp_removal_link_data$

public static SubLSymbol $dtp_removal_link_data$

$conjunctive_removal_optimize_when_no_justificationsP$

public static SubLSymbol $conjunctive_removal_optimize_when_no_justificationsP$

Temporary control variable, eventually should stay T. When non-nil, we skip the restriction/closed problem indirection for answers when we aren't computing justifications.

$sym0$REMOVAL_LINK_DATA

public static final SubLSymbol $sym0$REMOVAL_LINK_DATA

$sym1$REMOVAL_LINK_DATA_P

public static final SubLSymbol $sym1$REMOVAL_LINK_DATA_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$REMOVAL_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$REMOVAL_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$REMOV_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym8$REMOV_LINK_DATA_HL_MODULE

$sym9$_CSETF_REMOV_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym9$_CSETF_REMOV_LINK_DATA_HL_MODULE

$sym10$REMOV_LINK_DATA_BINDINGS

public static final SubLSymbol $sym10$REMOV_LINK_DATA_BINDINGS

$sym11$_CSETF_REMOV_LINK_DATA_BINDINGS

public static final SubLSymbol $sym11$_CSETF_REMOV_LINK_DATA_BINDINGS

$sym12$REMOV_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym12$REMOV_LINK_DATA_SUPPORTS

$sym13$_CSETF_REMOV_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym13$_CSETF_REMOV_LINK_DATA_SUPPORTS

$kw14$HL_MODULE

public static final SubLSymbol $kw14$HL_MODULE

$kw15$BINDINGS

public static final SubLSymbol $kw15$BINDINGS

$kw16$SUPPORTS

public static final SubLSymbol $kw16$SUPPORTS

$str17$Invalid_slot__S_for_construction_

public static final SubLString $str17$Invalid_slot__S_for_construction_

$sym18$PROBLEM_P

public static final SubLSymbol $sym18$PROBLEM_P

$kw19$REMOVAL

public static final SubLSymbol $kw19$REMOVAL

$kw20$FREE

public static final SubLSymbol $kw20$FREE

$sym21$REMOVAL_LINK_P

public static final SubLSymbol $sym21$REMOVAL_LINK_P

$sym22$HL_MODULE_P

public static final SubLSymbol $sym22$HL_MODULE_P

$sym23$BINDING_LIST_P

public static final SubLSymbol $sym23$BINDING_LIST_P

$sym24$HL_JUSTIFICATION_P

public static final SubLSymbol $sym24$HL_JUSTIFICATION_P

$kw25$RESTRICTION

public static final SubLSymbol $kw25$RESTRICTION

$kw26$SPLIT

public static final SubLSymbol $kw26$SPLIT

$kw27$REMOVAL_CONJUNCTIVE

public static final SubLSymbol $kw27$REMOVAL_CONJUNCTIVE

$list28

public static final SubLList $list28

$sym29$CONJUNCTIVE_REMOVAL_MODULE_PRIORITY_

public static final SubLSymbol $sym29$CONJUNCTIVE_REMOVAL_MODULE_PRIORITY_

$str30$_s_stated_its_applicability_to_th

public static final SubLString $str30$_s_stated_its_applicability_to_th

$kw31$SKIP

public static final SubLSymbol $kw31$SKIP

$kw32$TACTICAL

public static final SubLSymbol $kw32$TACTICAL

$list33

public static final SubLList $list33

$kw34$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE

public static final SubLSymbol $kw34$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE

$kw35$CONJUNCTIVE_REMOVAL_EXPAND

public static final SubLSymbol $kw35$CONJUNCTIVE_REMOVAL_EXPAND

$str36$Problem_reuse_assumptions_were_vi

public static final SubLString $str36$Problem_reuse_assumptions_were_vi

$str37$Couldn_t_find_the_right_conjuncti

public static final SubLString $str37$Couldn_t_find_the_right_conjuncti

$kw38$NEG

public static final SubLSymbol $kw38$NEG

$kw39$POS

public static final SubLSymbol $kw39$POS

$list40

public static final SubLList $list40

$sym41$STORE_VAR

public static final SubLSymbol $sym41$STORE_VAR

$sym42$CLET

public static final SubLSymbol $sym42$CLET

$sym43$_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym43$_NEGATION_BY_FAILURE_

$sym44$PROBLEM_STORE_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym44$PROBLEM_STORE_NEGATION_BY_FAILURE_

$kw45$META_REMOVAL

public static final SubLSymbol $kw45$META_REMOVAL

$sym46$META_REMOVAL_COMPLETELY_DECIDABLE_POS_REQUIRED

public static final SubLSymbol $sym46$META_REMOVAL_COMPLETELY_DECIDABLE_POS_REQUIRED

$sym47$META_REMOVAL_COMPLETELY_ENUMERABLE_POS_REQUIRED

public static final SubLSymbol $sym47$META_REMOVAL_COMPLETELY_ENUMERABLE_POS_REQUIRED

$sym48$REMOVAL_ABDUCTION_POS_REQUIRED

public static final SubLSymbol $sym48$REMOVAL_ABDUCTION_POS_REQUIRED

$sym49$REMOVAL_EVALUATABLE_FCP_UNIFY_REQUIRED

public static final SubLSymbol $sym49$REMOVAL_EVALUATABLE_FCP_UNIFY_REQUIRED

$sym50$REMOVAL_FCP_CHECK_REQUIRED

public static final SubLSymbol $sym50$REMOVAL_FCP_CHECK_REQUIRED

$sym51$REMOVAL_ISA_DEFN_POS_REQUIRED

public static final SubLSymbol $sym51$REMOVAL_ISA_DEFN_POS_REQUIRED

$sym52$REMOVAL_TVA_CHECK_REQUIRED

public static final SubLSymbol $sym52$REMOVAL_TVA_CHECK_REQUIRED

$sym53$REMOVAL_TVA_UNIFY_REQUIRED

public static final SubLSymbol $sym53$REMOVAL_TVA_UNIFY_REQUIRED

$sym54$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY_EXPAND

public static final SubLSymbol $sym54$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY_EXPAND

$sym55$REMOVAL_EVAL_EXPAND

public static final SubLSymbol $sym55$REMOVAL_EVAL_EXPAND

$sym56$REMOVAL_EVALUATE_BIND_EXPAND

public static final SubLSymbol $sym56$REMOVAL_EVALUATE_BIND_EXPAND

$sym57$REMOVAL_ISA_COLLECTION_CHECK_NEG_EXPAND

public static final SubLSymbol $sym57$REMOVAL_ISA_COLLECTION_CHECK_NEG_EXPAND

$sym58$REMOVAL_ISA_COLLECTION_CHECK_POS_EXPAND

public static final SubLSymbol $sym58$REMOVAL_ISA_COLLECTION_CHECK_POS_EXPAND

$sym59$REMOVAL_NAT_ARGUMENT_LOOKUP_EXPAND

public static final SubLSymbol $sym59$REMOVAL_NAT_ARGUMENT_LOOKUP_EXPAND

$sym60$REMOVAL_NAT_FORMULA_EXPAND

public static final SubLSymbol $sym60$REMOVAL_NAT_FORMULA_EXPAND

$sym61$REMOVAL_NAT_FUNCTION_LOOKUP_EXPAND

public static final SubLSymbol $sym61$REMOVAL_NAT_FUNCTION_LOOKUP_EXPAND

$sym62$REMOVAL_NAT_LOOKUP_EXPAND

public static final SubLSymbol $sym62$REMOVAL_NAT_LOOKUP_EXPAND

$sym63$REMOVAL_REFLEXIVE_ON_EXPAND

public static final SubLSymbol $sym63$REMOVAL_REFLEXIVE_ON_EXPAND

$sym64$REMOVAL_TVA_CHECK_EXPAND

public static final SubLSymbol $sym64$REMOVAL_TVA_CHECK_EXPAND

$kw65$ALL

public static final SubLSymbol $kw65$ALL

$kw66$DETERMINE_NEW_REMOVAL_TACTIC_SPECS_FROM_HL_MODULES

public static final SubLSymbol $kw66$DETERMINE_NEW_REMOVAL_TACTIC_SPECS_FROM_HL_MODULES

$kw67$NOT

public static final SubLSymbol $kw67$NOT

$kw68$MODULE_SUBTYPE

public static final SubLSymbol $kw68$MODULE_SUBTYPE

$sym69$FIRST

public static final SubLSymbol $sym69$FIRST

$str70$For_sentence___SMaximum_HL_Mo

public static final SubLString $str70$For_sentence_____S__Maximum_HL_Mo

$sym71$LITERAL_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE_WITH_SENSE_INT

public static final SubLSymbol $sym71$LITERAL_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE_WITH_SENSE_INT

$kw72$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw72$_MEMOIZED_ITEM_NOT_FOUND_

$sym73$LITERAL_META_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE

public static final SubLSymbol $sym73$LITERAL_META_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE

$list74

public static final SubLList $list74

$sym75$TACTIC_VAR

public static final SubLSymbol $sym75$TACTIC_VAR

$sym76$WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym76$WITH_INFERENCE_MT_RELEVANCE

$sym77$_INFERENCE_EXPAND_HL_MODULE_

public static final SubLSymbol $sym77$_INFERENCE_EXPAND_HL_MODULE_

$sym78$TACTIC_HL_MODULE

public static final SubLSymbol $sym78$TACTIC_HL_MODULE

$sym79$_INFERENCE_EXPAND_SENSE_

public static final SubLSymbol $sym79$_INFERENCE_EXPAND_SENSE_

$sym80$WITH_PROBLEM_STORE_REMOVAL_ASSUMPTIONS

public static final SubLSymbol $sym80$WITH_PROBLEM_STORE_REMOVAL_ASSUMPTIONS

$sym81$TACTIC_STORE

public static final SubLSymbol $sym81$TACTIC_STORE

$kw82$REMOVAL_OUTPUT_GENERATE

public static final SubLSymbol $kw82$REMOVAL_OUTPUT_GENERATE

$sym83$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE

public static final SubLSymbol $sym83$HANDLE_REMOVAL_ADD_NODE_FOR_OUTPUT_GENERATE

$kw84$MAYBE_MAKE_REMOVAL_TACTIC_EXPAND_RESULTS_PROGRESS_ITERATOR

public static final SubLSymbol $kw84$MAYBE_MAKE_REMOVAL_TACTIC_EXPAND_RESULTS_PROGRESS_ITERATOR

$sym85$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS

public static final SubLSymbol $sym85$HANDLE_REMOVAL_ADD_NODE_FOR_EXPAND_RESULTS

$kw86$REMOVAL_EXPAND

public static final SubLSymbol $kw86$REMOVAL_EXPAND

$list87

public static final SubLList $list87

$str88$Ignoring_result_from__S_due_to_op

public static final SubLString $str88$Ignoring_result_from__S_due_to_op

$sym89$PRODUCTIVITY__

public static final SubLSymbol $sym89$PRODUCTIVITY__

$sym90$TACTIC_PRODUCTIVITY

public static final SubLSymbol $sym90$TACTIC_PRODUCTIVITY

$list91

public static final SubLList $list91

$sym92$ITERATOR

public static final SubLSymbol $sym92$ITERATOR

$sym93$PIF

public static final SubLSymbol $sym93$PIF

$sym94$ITERATOR_P

public static final SubLSymbol $sym94$ITERATOR_P

$sym95$CUNWIND_PROTECT

public static final SubLSymbol $sym95$CUNWIND_PROTECT

$sym96$DO_ITERATOR

public static final SubLSymbol $sym96$DO_ITERATOR

$sym97$ITERATION_FINALIZE

public static final SubLSymbol $sym97$ITERATION_FINALIZE

$sym98$DO_LIST

public static final SubLSymbol $sym98$DO_LIST

$kw99$MAYBE_MAKE_INFERENCE_OUTPUT_ITERATOR

public static final SubLSymbol $kw99$MAYBE_MAKE_INFERENCE_OUTPUT_ITERATOR

$kw100$HANDLE_ONE_OUTPUT_GENERATE_RESULT

public static final SubLSymbol $kw100$HANDLE_ONE_OUTPUT_GENERATE_RESULT

$list101

public static final SubLList $list101

$kw102$TRUE

public static final SubLSymbol $kw102$TRUE

$str103$unknown_thing_to_do_in_the_HL_mod

public static final SubLString $str103$unknown_thing_to_do_in_the_HL_mod

Method Detail

removal_link_data_print_function_trampoline

public static final SubLObject removal_link_data_print_function_trampoline(SubLObject object,
                                                                           SubLObject stream)

remov_link_data_bindings

public static final SubLObject remov_link_data_bindings(SubLObject object)

remov_link_data_supports

public static final SubLObject remov_link_data_supports(SubLObject object)

_csetf_remov_link_data_hl_module

public static final SubLObject _csetf_remov_link_data_hl_module(SubLObject object,
                                                                SubLObject value)

_csetf_remov_link_data_bindings

public static final SubLObject _csetf_remov_link_data_bindings(SubLObject object,
                                                               SubLObject value)

_csetf_remov_link_data_supports

public static final SubLObject _csetf_remov_link_data_supports(SubLObject object,
                                                               SubLObject value)

make_removal_link_data

public static final SubLObject make_removal_link_data(SubLObject arglist)

new_removal_link

public static final SubLObject new_removal_link(SubLObject problem,
                                                SubLObject hl_module,
                                                SubLObject removal_bindings,
                                                SubLObject supports)

Returns:: removal-link-p This is a link to goal by virtue of the fact that it has no supporting mapped problems.

new_removal_link_int

public static final SubLObject new_removal_link_int(SubLObject problem,
                                                    SubLObject hl_module,
                                                    SubLObject removal_bindings,
                                                    SubLObject supports)

Returns a new :removal link with its data properties set to HL-MODULE, BINDINGS, and SUPPORTS, with a supported problem of PROBLEM, and no supporting problems yet.

new_removal_link_data

public static final SubLObject new_removal_link_data(SubLObject removal_link)

removal_link_bindings

public static final SubLObject removal_link_bindings(SubLObject removal_link)

The first elements of these bindings are in the space of REMOVAL-LINK's supported problem, and their second elements are in the space of REMOVAL-LINK's unique supporting problem.

removal_link_supports

public static final SubLObject removal_link_supports(SubLObject removal_link)

set_removal_link_hl_module

public static final SubLObject set_removal_link_hl_module(SubLObject removal_link,
                                                          SubLObject hl_module)

set_removal_link_bindings

public static final SubLObject set_removal_link_bindings(SubLObject removal_link,
                                                         SubLObject v_bindings)

set_removal_link_supports

public static final SubLObject set_removal_link_supports(SubLObject removal_link,
                                                         SubLObject supports)

removal_link_data_equals_specP

public static final SubLObject removal_link_data_equals_specP(SubLObject removal_link,
                                                              SubLObject removal_bindings,
                                                              SubLObject supports)

generalized_removal_tactic_p

public static final SubLObject generalized_removal_tactic_p(SubLObject object)

conjunctive_removal_tactic_p

public static final SubLObject conjunctive_removal_tactic_p(SubLObject tactic)

conjunctive_removal_link_p

public static final SubLObject conjunctive_removal_link_p(SubLObject link)

determine_new_conjunctive_removal_tactics

public static final SubLObject determine_new_conjunctive_removal_tactics(SubLObject problem,
                                                                         SubLObject dnf_clause)

Determines tactics which can solve all of the conjunctive problem PROBLEM at once.

sort_applicable_conjunctive_removal_modules_by_priority

public static final SubLObject sort_applicable_conjunctive_removal_modules_by_priority(SubLObject hl_modules)

Help determine-new-conjunctive-removal-tactics do better by ordering pruning modules before simplification modules and simplification modules before everything else. This prevents an exclusive simplification module from trumping an exclusive pruning module, for example.

conjunctive_removal_module_priorityL

public static final SubLObject conjunctive_removal_module_priorityL(SubLObject hl_module1,
                                                                    SubLObject hl_module2)

determine_applicable_conjunctive_removal_modules

public static final SubLObject determine_applicable_conjunctive_removal_modules(SubLObject contextualized_dnf_clause)

motivated_multi_literal_subclause_specs

public static final SubLObject motivated_multi_literal_subclause_specs(SubLObject contextualized_dnf_clause)

hl_module_applicable_subclause_specs

public static final SubLObject hl_module_applicable_subclause_specs(SubLObject hl_module,
                                                                    SubLObject contextualized_dnf_clause)

meta_removal_tactic_p

public static final SubLObject meta_removal_tactic_p(SubLObject object)

removal_link_p

public static final SubLObject removal_link_p(SubLObject object)

removal_tactic_p

public static final SubLObject removal_tactic_p(SubLObject object)

removal_module_exclusive_func_funcall

public static final SubLObject removal_module_exclusive_func_funcall(SubLObject func,
                                                                     SubLObject asent,
                                                                     SubLObject sense)

removal_module_required_func_funcall

public static final SubLObject removal_module_required_func_funcall(SubLObject func,
                                                                    SubLObject asent,
                                                                    SubLObject sense)

removal_module_expand_func_funcall

public static final SubLObject removal_module_expand_func_funcall(SubLObject func,
                                                                  SubLObject asent,
                                                                  SubLObject sense)

determine_new_literal_removal_tactics

public static final SubLObject determine_new_literal_removal_tactics(SubLObject problem,
                                                                     SubLObject asent,
                                                                     SubLObject sense)

determine_new_literal_meta_removal_tactics

public static final SubLObject determine_new_literal_meta_removal_tactics(SubLObject problem,
                                                                          SubLObject asent,
                                                                          SubLObject sense)

Figure out all applicable inference meta removal tactics for ASENT with SENSE, and add them to PROBLEM.

determine_new_literal_simple_removal_tactics

public static final SubLObject determine_new_literal_simple_removal_tactics(SubLObject problem,
                                                                            SubLObject asent,
                                                                            SubLObject sense)

Figure out all applicable inference removal tactics for ASENT with SENSE, and add them to PROBLEM.

literal_removal_options

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

Return a list of inference removal options for ASENT with SENSE.

literal_removal_options_hl_modules

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

filter_modules_wrt_allowed_modules_spec

public static final SubLObject filter_modules_wrt_allowed_modules_spec(SubLObject candidate_hl_modules,
                                                                       SubLObject allowed_modules_spec)

literal_removal_options_candidate_hl_modules

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

hl_module_applicable_to_asentP

public static final SubLObject hl_module_applicable_to_asentP(SubLObject hl_module,
                                                              SubLObject asent)

determine_new_removal_tactics_from_hl_modules

public static final SubLObject determine_new_removal_tactics_from_hl_modules(SubLObject hl_modules,
                                                                             SubLObject problem,
                                                                             SubLObject asent,
                                                                             SubLObject sense)

Using HL-MODULES, figure out applicable inference removal tactics for ASENT with SENSE, and add them to PROBLEM. HL-MODULES is a list of the applicable removal modules to try.

determine_new_removal_tactic_specs_from_hl_modules

public static final SubLObject determine_new_removal_tactic_specs_from_hl_modules(SubLObject hl_modules,
                                                                                  SubLObject asent,
                                                                                  SubLObject sense)

Using HL-MODULES, figure out applicable inference removal tactic-specs for ASENT with SENSE. HL-MODULES is a list of the applicable removal modules to try.

determine_new_removal_tactic_specs_from_hl_modules_guts

public static final SubLObject determine_new_removal_tactic_specs_from_hl_modules_guts(SubLObject candidate_hl_modules,
                                                                                       SubLObject asent,
                                                                                       SubLObject sense)

map over the hl-modules, determining our tactics for this literal

determine_applicable_hl_modules_for_asent

public static final SubLObject determine_applicable_hl_modules_for_asent(SubLObject candidate_hl_modules,
                                                                         SubLObject asent,
                                                                         SubLObject sense)

update_applicable_hl_modules

public static final SubLObject update_applicable_hl_modules(SubLObject hl_module,
                                                            SubLObject asent,
                                                            SubLObject sense,
                                                            SubLObject applicable_hl_modules,
                                                            SubLObject supplanted_hl_modules)

Determine if HL-MODULE applies to ASENT with SENSE

Returns:: 0 boolean ; whether HL-MODULE is completely exclusive, allowing us to ignore checking other hl-modules.

update_supplanted_hl_modules

public static final SubLObject update_supplanted_hl_modules(SubLObject hl_module,
                                                            SubLObject applicable_hl_modules,
                                                            SubLObject supplanted_hl_modules)

Update the set of APPLICABLE-HL-MODULES and SUPPLANTED-HL-MODULES using the :supplants info on HL-MODULE.

Returns:: 0 boolean ; T iff HL-MODULE supplants all other hl-modules

compute_tactic_specs_for_asent

public static final SubLObject compute_tactic_specs_for_asent(SubLObject applicable_hl_modules,
                                                              SubLObject asent,
                                                              SubLObject sense)

literal_simple_removal_candidate_hl_modules

public static final SubLObject literal_simple_removal_candidate_hl_modules(SubLObject asent,
                                                                           SubLObject sense)

literal_removal_candidate_hl_modules_for_predicate_with_sense

public static final SubLObject literal_removal_candidate_hl_modules_for_predicate_with_sense(SubLObject predicate,
                                                                                             SubLObject sense)

literal_removal_candidate_hl_modules_for_predicate_with_sense_int_internal

public static final SubLObject literal_removal_candidate_hl_modules_for_predicate_with_sense_int_internal(SubLObject predicate,
                                                                                                          SubLObject sense,
                                                                                                          SubLObject allowed_modules_spec)

literal_removal_candidate_hl_modules_for_predicate_with_sense_int

public static final SubLObject literal_removal_candidate_hl_modules_for_predicate_with_sense_int(SubLObject predicate,
                                                                                                 SubLObject sense,
                                                                                                 SubLObject allowed_modules_spec)

literal_meta_removal_candidate_hl_modules

public static final SubLObject literal_meta_removal_candidate_hl_modules(SubLObject asent,
                                                                         SubLObject sense)

literal_meta_removal_candidate_hl_modules_for_predicate_internal

public static final SubLObject literal_meta_removal_candidate_hl_modules_for_predicate_internal(SubLObject predicate)

literal_meta_removal_candidate_hl_modules_for_predicate

public static final SubLObject literal_meta_removal_candidate_hl_modules_for_predicate(SubLObject predicate)

literal_level_removal_tactic_p

public static final SubLObject literal_level_removal_tactic_p(SubLObject tactic)

literal_level_meta_removal_tactic_p

public static final SubLObject literal_level_meta_removal_tactic_p(SubLObject tactic)

new_removal_tactic

public static final SubLObject new_removal_tactic(SubLObject problem,
                                                  SubLObject hl_module,
                                                  SubLObject productivity,
                                                  SubLObject completeness)

compute_strategic_properties_of_removal_tactic

public static final SubLObject compute_strategic_properties_of_removal_tactic(SubLObject tactic,
                                                                              SubLObject strategy)

execute_literal_level_removal_tactic

public static final SubLObject execute_literal_level_removal_tactic(SubLObject tactic,
                                                                    SubLObject mt,
                                                                    SubLObject asent,
                                                                    SubLObject sense)

maybe_make_removal_tactic_progress_iterator

public static final SubLObject maybe_make_removal_tactic_progress_iterator(SubLObject tactic,
                                                                           SubLObject asent,
                                                                           SubLObject sense)

maybe_make_removal_tactic_output_generate_progress_iterator

public static final SubLObject maybe_make_removal_tactic_output_generate_progress_iterator(SubLObject tactic,
                                                                                           SubLObject cycl_input_asent)

new_removal_tactic_output_generate_progress_iterator

public static final SubLObject new_removal_tactic_output_generate_progress_iterator(SubLObject tactic,
                                                                                    SubLObject output_iterator,
                                                                                    SubLObject encoded_bindings)

handle_one_removal_tactic_output_generate_result

public static final SubLObject handle_one_removal_tactic_output_generate_result(SubLObject removal_tactic,
                                                                                SubLObject output_iterator,
                                                                                SubLObject encoded_bindings)

handle_removal_add_node_for_output_generate

public static final SubLObject handle_removal_add_node_for_output_generate(SubLObject removal_bindings,
                                                                           SubLObject supports)

Parameters:: REMOVAL-BINDINGS; - current tactic's problem vars -> content
Returns:: nil or removal-link-p

maybe_make_removal_tactic_expand_results_progress_iterator

public static final SubLObject maybe_make_removal_tactic_expand_results_progress_iterator(SubLObject tactic,
                                                                                          SubLObject asent,
                                                                                          SubLObject sense)

maybe_make_removal_tactic_expand_results_progress_iterator_guts

public static final SubLObject maybe_make_removal_tactic_expand_results_progress_iterator_guts(SubLObject tactic,
                                                                                               SubLObject asent,
                                                                                               SubLObject sense)

handle_removal_add_node_for_expand_results

public static final SubLObject handle_removal_add_node_for_expand_results(SubLObject removal_bindings,
                                                                          SubLObject supports)

Parameters:: REMOVAL-BINDINGS; - current tactic's problem vars -> content
Returns:: nil or removal-link-p

new_removal_tactic_expand_results_progress_iterator

public static final SubLObject new_removal_tactic_expand_results_progress_iterator(SubLObject tactic,
                                                                                   SubLObject expand_results)

handle_one_removal_tactic_expand_result

public static final SubLObject handle_one_removal_tactic_expand_result(SubLObject removal_tactic,
                                                                       SubLObject expand_result)

handle_one_removal_tactic_result

public static final SubLObject handle_one_removal_tactic_result(SubLObject removal_tactic,
                                                                SubLObject removal_bindings,
                                                                SubLObject supports)

possibly_replace_ist_supports

public static final SubLObject possibly_replace_ist_supports(SubLObject problem,
                                                             SubLObject removal_bindings,
                                                             SubLObject supports)

maybe_new_restriction_and_removal_link

public static final SubLObject maybe_new_restriction_and_removal_link(SubLObject problem,
                                                                      SubLObject tactic,
                                                                      SubLObject removal_bindings,
                                                                      SubLObject supports)

Parameters:: REMOVAL-BINDINGS; - PROBLEM's vars -> content

maybe_new_removal_link

public static final SubLObject maybe_new_removal_link(SubLObject problem,
                                                      SubLObject tactic,
                                                      SubLObject removal_bindings,
                                                      SubLObject supports)

Returns:: nil or removal-link-p Creates a new removal link to goal iff it would be interesting to do so.

find_removal_link

public static final SubLObject find_removal_link(SubLObject problem,
                                                 SubLObject tactic,
                                                 SubLObject v_bindings,
                                                 SubLObject supports)

removal_link_hl_module

public static final SubLObject removal_link_hl_module(SubLObject removal_link)

remov_link_data_hl_module

public static final SubLObject remov_link_data_hl_module(SubLObject object)

removal_link_tactic

public static final SubLObject removal_link_tactic(SubLObject removal_link)

new_removal_proof

public static final SubLObject new_removal_proof(SubLObject removal_link)

inference_remove_check_default

public static final SubLObject inference_remove_check_default(SubLObject cycl_input_asent,
                                                              SubLObject sense)

inference_remove_unify_default

public static final SubLObject inference_remove_unify_default(SubLObject cycl_input_asent,
                                                              SubLObject sense)

maybe_make_inference_output_iterator

public static final SubLObject maybe_make_inference_output_iterator(SubLObject hl_module,
                                                                    SubLObject cycl_input_asent)

maybe_make_inference_output_iterator_guts

public static final SubLObject maybe_make_inference_output_iterator_guts(SubLObject hl_module,
                                                                         SubLObject cycl_input_asent)

handle_one_output_generate_result

public static final SubLObject handle_one_output_generate_result(SubLObject cycl_input_asent,
                                                                 SubLObject hl_module,
                                                                 SubLObject raw_output,
                                                                 SubLObject encoded_bindings)

handle_one_output_generate_result_guts

public static final SubLObject handle_one_output_generate_result_guts(SubLObject cycl_input_asent,
                                                                      SubLObject hl_module,
                                                                      SubLObject raw_output,
                                                                      SubLObject encoded_bindings)

inference_current_hl_module

public static final SubLObject inference_current_hl_module()

inference_current_sense

public static final SubLObject inference_current_sense()

inference_input_extractor

public static final SubLObject inference_input_extractor(SubLObject hl_module,
                                                         SubLObject cycl_input_asent,
                                                         SubLObject v_bindings)

inference_input_verifier

public static final SubLObject inference_input_verifier(SubLObject hl_module,
                                                        SubLObject cycl_input)

inference_input_encoder

public static final SubLObject inference_input_encoder(SubLObject hl_module,
                                                       SubLObject cycl_input,
                                                       SubLObject v_bindings)

inference_output_checker

public static final SubLObject inference_output_checker(SubLObject hl_module,
                                                        SubLObject raw_input,
                                                        SubLObject v_bindings)

inference_output_generator

public static final SubLObject inference_output_generator(SubLObject hl_module,
                                                          SubLObject raw_input,
                                                          SubLObject v_bindings)

inference_output_decoder

public static final SubLObject inference_output_decoder(SubLObject hl_module,
                                                        SubLObject raw_output,
                                                        SubLObject v_bindings)

inference_output_verifier

public static final SubLObject inference_output_verifier(SubLObject hl_module,
                                                         SubLObject cycl_output)

inference_output_constructor

public static final SubLObject inference_output_constructor(SubLObject hl_module,
                                                            SubLObject cycl_output,
                                                            SubLObject v_bindings)

inference_support_constructor

public static final SubLObject inference_support_constructor(SubLObject hl_module,
                                                             SubLObject cycl_output_asent,
                                                             SubLObject v_bindings)

hl_module_guts

public static final SubLObject hl_module_guts(SubLObject type,
                                              SubLObject arg1,
                                              SubLObject arg2,
                                              SubLObject arg3,
                                              SubLObject arg4,
                                              SubLObject arg5)

declare_inference_worker_removal_file

public static final SubLObject declare_inference_worker_removal_file()

init_inference_worker_removal_file

public static final SubLObject init_inference_worker_removal_file()

setup_inference_worker_removal_file

public static final SubLObject setup_inference_worker_removal_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.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.inference.harness Class inference_worker_removal

me

myName

$dtp_removal_link_data$

$conjunctive_removal_optimize_when_no_justificationsP$

$sym0$REMOVAL_LINK_DATA

$sym1$REMOVAL_LINK_DATA_P

$list2

$list3

$list4

$list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$REMOVAL_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$REMOV_LINK_DATA_HL_MODULE

$sym9$_CSETF_REMOV_LINK_DATA_HL_MODULE

$sym10$REMOV_LINK_DATA_BINDINGS

$sym11$_CSETF_REMOV_LINK_DATA_BINDINGS

$sym12$REMOV_LINK_DATA_SUPPORTS

$sym13$_CSETF_REMOV_LINK_DATA_SUPPORTS

$kw14$HL_MODULE

$kw15$BINDINGS

$kw16$SUPPORTS

$str17$Invalid_slot__S_for_construction_

$sym18$PROBLEM_P

$kw19$REMOVAL

$kw20$FREE

$sym21$REMOVAL_LINK_P

$sym22$HL_MODULE_P

$sym23$BINDING_LIST_P

$sym24$HL_JUSTIFICATION_P

$kw25$RESTRICTION

$kw26$SPLIT

$kw27$REMOVAL_CONJUNCTIVE

$list28

$sym29$CONJUNCTIVE_REMOVAL_MODULE_PRIORITY_

$str30$_s_stated_its_applicability_to_th

$kw31$SKIP

$kw32$TACTICAL

$list33

$kw34$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE

$kw35$CONJUNCTIVE_REMOVAL_EXPAND

$str36$Problem_reuse_assumptions_were_vi

$str37$Couldn_t_find_the_right_conjuncti

$kw38$NEG

$kw39$POS

$list40

$sym41$STORE_VAR

$sym42$CLET

$sym43$_NEGATION_BY_FAILURE_

$sym44$PROBLEM_STORE_NEGATION_BY_FAILURE_

$kw45$META_REMOVAL

$sym46$META_REMOVAL_COMPLETELY_DECIDABLE_POS_REQUIRED

$sym47$META_REMOVAL_COMPLETELY_ENUMERABLE_POS_REQUIRED

$sym48$REMOVAL_ABDUCTION_POS_REQUIRED

$sym49$REMOVAL_EVALUATABLE_FCP_UNIFY_REQUIRED

$sym50$REMOVAL_FCP_CHECK_REQUIRED

$sym51$REMOVAL_ISA_DEFN_POS_REQUIRED

$sym52$REMOVAL_TVA_CHECK_REQUIRED

$sym53$REMOVAL_TVA_UNIFY_REQUIRED

$sym54$REMOVAL_ASSERTED_TERM_SENTENCES_ARG_INDEX_UNIFY_EXPAND

$sym55$REMOVAL_EVAL_EXPAND

$sym56$REMOVAL_EVALUATE_BIND_EXPAND

$sym57$REMOVAL_ISA_COLLECTION_CHECK_NEG_EXPAND

$sym58$REMOVAL_ISA_COLLECTION_CHECK_POS_EXPAND

$sym59$REMOVAL_NAT_ARGUMENT_LOOKUP_EXPAND

$sym60$REMOVAL_NAT_FORMULA_EXPAND

$sym61$REMOVAL_NAT_FUNCTION_LOOKUP_EXPAND

$sym62$REMOVAL_NAT_LOOKUP_EXPAND

$sym63$REMOVAL_REFLEXIVE_ON_EXPAND

$sym64$REMOVAL_TVA_CHECK_EXPAND

$kw65$ALL

$kw66$DETERMINE_NEW_REMOVAL_TACTIC_SPECS_FROM_HL_MODULES

$kw67$NOT

$kw68$MODULE_SUBTYPE

$sym69$FIRST

$str70$For_sentence_____S__Maximum_HL_Mo

$sym71$LITERAL_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE_WITH_SENSE_INT

$kw72$_MEMOIZED_ITEM_NOT_FOUND_

$sym73$LITERAL_META_REMOVAL_CANDIDATE_HL_MODULES_FOR_PREDICATE

$list74

com.cyc.cycjava.cycl.inference.harness
Class inference_worker_removal

$str70$For_sentence___SMaximum_HL_Mo