formula_templates

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
Class formula_templates

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class formula_templates
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`formula_templates.$arg_position_details_native`
`static class`	`formula_templates.$arg_position_details_p$UnaryFunction`
`static class`	`formula_templates.$formula_template_native`
`static class`	`formula_templates.$formula_template_p$UnaryFunction`
`static class`	`formula_templates.$template_topic_native`
`static class`	`formula_templates.$template_topic_p$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const182$SingleAssertionEntry`
`static SubLObject`	`$const183$MultipleAssertionEntry`
`static SubLObject`	`$const253$formulaTemplateHasArgumentPositio`
`static SubLObject`	`$const264$reformulateTemplateViaSpecificati`
`static SubLObject`	`$const265$TemplateFromTestQueryFn`
`static SubLObject`	`$const266$querySpecificationForFormulaTempl`
`static SubLObject`	`$const267$formulaForFormulaTemplate`
`static SubLObject`	`$const268$assertMtForFormulaTemplate`
`static SubLObject`	`$const269$formulaTemplateFollowUp`
`static SubLObject`	`$const273$formulaTemplateGloss`
`static SubLObject`	`$const276$AnytimePSC`
`static SubLObject`	`$const278$glossForFormulaTemplate`
`static SubLObject`	`$const280$formulaTemplateArgExplanation`
`static SubLObject`	`$const281$formulaTemplateExample`
`static SubLObject`	`$const283$genls`
`static SubLObject`	`$const284$assertedSentence`
`static SubLObject`	`$const292$focalTermPositionForFormulaTempla`
`static SubLObject`	`$const293$assertionFormatForFormulaTemplate`
`static SubLObject`	`$const294$templateReplacementsInvisibleForP`
`static SubLObject`	`$const296$constraintOnReplacement`
`static SubLObject`	`$const298$TheSet`
`static SubLObject`	`$const300$isa`
`static SubLObject`	`$const301$unknownTermForTemplatePosition`
`static SubLObject`	`$const302$candidateReplacementForPosition`
`static SubLObject`	`$const304$positionInFormulaTemplateIsReplac`
`static SubLObject`	`$const305$validationRequiredOnTemplatePosit`
`static SubLObject`	`$const306$InducedFormulaTemplateTopicType`
`static SubLObject`	`$const316$and`
`static SubLObject`	`$const319$formulaTemplateTypeHasTopicType`
`static SubLObject`	`$const321$higherPriorityTemplateForType`
`static SubLObject`	`$const327$FormulaTemplateTopicType`
`static SubLObject`	`$const328$FirstOrderCollection`
`static SubLObject`	`$const330$formulaTemplateHasType`
`static SubLObject`	`$const331$InferencePSC`
`static SubLObject`	`$const340$definingMt`
`static SubLObject`	`$const343$DataForNLMt`
`static SubLObject`	`$const345$sourcesForTopic`
`static SubLObject`	`$const346$focalTermIntroduction`
`static SubLObject`	`$const347$titleForFormulaTemplateType_Strin`
`static SubLObject`	`$const348$templateTopicPrefix`
`static SubLObject`	`$const349$queryMtForTopicAssertions`
`static SubLObject`	`$const350$definitionalMtForTopicAssertions`
`static SubLObject`	`$const384$evaluationOutputSentences`
`static SubLObject`	`$const390$contextOfPCW`
`static SubLObject`	`$const394$ist_Intermediate`
`static SubLObject`	`$const395$MtUnionFn`
`static SubLObject`	`$const396$RKFInteractionContextMicrotheory`
`static SubLObject`	`$const407$EverythingPSC`
`static SubLObject`	`$const414$equals`
`static SubLObject`	`$const415$ist`
`static SubLObject`	`$const419$assertionSentence`
`static SubLObject`	`$const420$ist_Asserted`
`static SubLObject`	`$const421$assertionProducedByReformulation`
`static SubLObject`	`$const423$SpecsFn`
`static SubLObject`	`$const424$SomeExampleFn`
`static SubLObject`	`$const425$SomeExampleSpecFn`
`static SubLObject`	`$const426$defnIff`
`static SubLObject`	`$const427$defnSufficient`
`static SubLObject`	`$const430$genlMt`
`static SubLSymbol`	$dtp_arg_position_details$
`static SubLSymbol`	$dtp_formula_template$
`static SubLSymbol`	$dtp_template_topic$
`static SubLFloat`	`$float402$1_0`
`static SubLSymbol`	$get_assertions_from_initial_askP$ BOOLEANP; Should we try to get assertion objects via our first ask, as opposed to finding bindings, substituting, and then looking for matching assertions?
`static SubLSymbol`	`$kw120$ID`
`static SubLSymbol`	`$kw121$FORMULA`
`static SubLSymbol`	`$kw122$QUERY_SPECIFICATION`
`static SubLSymbol`	`$kw123$ELMT`
`static SubLSymbol`	`$kw124$FOCAL_TERM`
`static SubLSymbol`	`$kw125$ARGPOS_DETAILS`
`static SubLSymbol`	`$kw126$ARGPOS_ORDERING`
`static SubLSymbol`	`$kw127$EXAMPLES`
`static SubLSymbol`	`$kw128$ENTRY_FORMAT`
`static SubLSymbol`	`$kw129$FOLLOW_UPS`
`static SubLSymbol`	`$kw130$REFSPEC`
`static SubLSymbol`	`$kw208$ATOMIC`
`static SubLSymbol`	`$kw274$TRUE`
`static SubLSymbol`	`$kw285$MAX_NUMBER`
`static SubLSymbol`	`$kw286$TRANSFORMATION_ALLOWED_`
`static SubLSymbol`	`$kw287$PROBLEM_STORE`
`static SubLSymbol`	`$kw288$RETURN`
`static SubLSymbol`	`$kw289$TEMPLATE`
`static SubLSymbol`	`$kw290$ANSWER_LANGUAGE`
`static SubLSymbol`	`$kw291$HL`
`static SubLSymbol`	`$kw32$SUPERTOPIC`
`static SubLSymbol`	`$kw33$TOPIC`
`static SubLSymbol`	`$kw334$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw337$MAX_TRANSFORMATION_DEPTH`
`static SubLSymbol`	`$kw338$MAX_TIME`
`static SubLSymbol`	`$kw34$SUBTOPICS`
`static SubLSymbol`	`$kw35$TEMPLATES`
`static SubLSymbol`	`$kw36$ORDERING`
`static SubLSymbol`	`$kw37$TITLE`
`static SubLSymbol`	`$kw38$TERM_PREFIX`
`static SubLSymbol`	`$kw389$PCW`
`static SubLSymbol`	`$kw39$INTRO_TEMPLATE`
`static SubLSymbol`	`$kw399$RESULT_UNIQUENESS`
`static SubLSymbol`	`$kw40$SOURCE_TYPES`
`static SubLSymbol`	`$kw400$BINDINGS`
`static SubLSymbol`	`$kw401$PROBABLY_APPROXIMATELY_DONE`
`static SubLSymbol`	`$kw403$BINDINGS_AND_SUPPORTS`
`static SubLSymbol`	`$kw404$ALLOW_INDETERMINATE_RESULTS_`
`static SubLSymbol`	`$kw405$BROWSABLE_`
`static SubLSymbol`	`$kw41$SOURCE_MT`
`static SubLSymbol`	`$kw412$POLY_CANONICALIZED`
`static SubLSymbol`	`$kw42$QUERY_MT`
`static SubLSymbol`	`$kw428$LEXICAL_MT`
`static SubLSymbol`	`$kw43$DEFINITIONAL_MT`
`static SubLSymbol`	`$kw75$ARGUMENT_POSITION`
`static SubLSymbol`	`$kw76$GLOSS`
`static SubLSymbol`	`$kw77$INVISIBLE_REPLACEMENT_POSITIONS`
`static SubLSymbol`	`$kw78$REPLACEMENT_CONSTRAINTS`
`static SubLSymbol`	`$kw79$CANDIDATE_REPLACEMENTS`
`static SubLSymbol`	`$kw80$IS_EDITABLE`
`static SubLSymbol`	`$kw81$EXPLANATION`
`static SubLSymbol`	`$kw82$REQUIRES_VALIDATION`
`static SubLSymbol`	`$kw83$UNKNOWN_REPLACEMENT`
`static SubLList`	`$list134`
`static SubLList`	`$list136`
`static SubLList`	`$list139`
`static SubLList`	`$list140`
`static SubLList`	`$list163`
`static SubLList`	`$list2`
`static SubLList`	`$list215`
`static SubLList`	`$list254`
`static SubLList`	`$list255`
`static SubLList`	`$list256`
`static SubLList`	`$list257`
`static SubLList`	`$list258`
`static SubLList`	`$list263`
`static SubLList`	`$list272`
`static SubLList`	`$list275`
`static SubLList`	`$list277`
`static SubLList`	`$list279`
`static SubLList`	`$list295`
`static SubLList`	`$list297`
`static SubLList`	`$list3`
`static SubLList`	`$list303`
`static SubLList`	`$list310`
`static SubLList`	`$list312`
`static SubLList`	`$list315`
`static SubLList`	`$list317`
`static SubLList`	`$list318`
`static SubLList`	`$list320`
`static SubLList`	`$list335`
`static SubLList`	`$list341`
`static SubLList`	`$list342`
`static SubLList`	`$list352`
`static SubLList`	`$list358`
`static SubLList`	`$list361`
`static SubLList`	`$list373`
`static SubLList`	`$list379`
`static SubLList`	`$list381`
`static SubLList`	`$list382`
`static SubLList`	`$list385`
`static SubLList`	`$list392`
`static SubLList`	`$list4`
`static SubLList`	`$list408`
`static SubLList`	`$list416`
`static SubLList`	`$list418`
`static SubLList`	`$list422`
`static SubLList`	`$list429`
`static SubLList`	`$list49`
`static SubLList`	`$list5`
`static SubLList`	`$list50`
`static SubLList`	`$list51`
`static SubLList`	`$list52`
`static SubLList`	`$list88`
`static SubLList`	`$list89`
`static SubLList`	`$list90`
`static SubLList`	`$list91`
`static SubLSymbol`	$non_editable_assertions_for_template_topic_instance$ The bundle of assertions that are not supposed to be made available for editing.
`static SubLString`	`$str131$182b1140_d871_11d9_8eef_0002b3891`
`static SubLString`	`$str144$_S_is_not_a_FORMULA_TEMPLATE_P_`
`static SubLString`	`$str145$_S_is_not_EL_FORMULA_P_`
`static SubLString`	`$str146$_S_is_not_POSSIBLY_MT_P_`
`static SubLString`	`$str147$bad_formula_template___S__`
`static SubLString`	`$str151$_TemplateTopic__`
`static SubLString`	`$str152$Parent___S___Topic___S_`
`static SubLString`	`$str153$_named_`
`static SubLString`	`$str154$_Term_Prefix__`
`static SubLString`	`$str155$___SubTopics__`
`static SubLString`	`$str156$___Sources__`
`static SubLString`	`$str157$___Template_Source_Mt__`
`static SubLString`	`$str158$___Template_Query_Mt__`
`static SubLString`	`$str159$___Template_Definitional_Mt__`
`static SubLString`	`$str160$___Templates_`
`static SubLString`	`$str161$____introductory_template__`
`static SubLString`	`$str162$_`
`static SubLString`	`$str164$templateTopic`
`static SubLString`	`$str165$templateTopicRevision`
`static SubLString`	`$str166$topic`
`static SubLString`	`$str167$superTopic`
`static SubLString`	`$str168$title`
`static SubLString`	`$str169$termPrefix`
`static SubLString`	`$str170$introductoryTemplate`
`static SubLString`	`$str171$subTopics`
`static SubLString`	`$str172$subTopic`
`static SubLString`	`$str173$sourcesOfTopic`
`static SubLString`	`$str174$sourceOfTopic`
`static SubLString`	`$str175$templateSourceMt`
`static SubLString`	`$str176$templateQueryMt`
`static SubLString`	`$str177$templateDefinitionalMt`
`static SubLString`	`$str178$formulaTemplates`
`static SubLString`	`$str181$CFASL_INPUT_TEMPLATE_TOPIC_has_lo`
`static SubLString`	`$str184$_Formula_Template__`
`static SubLString`	`$str185$_A_`
`static SubLString`	`$str186$of_topic__A__`
`static SubLString`	`$str187$_formula__A_in__A__`
`static SubLString`	`$str188$_query_spec__A_in__A__`
`static SubLString`	`$str189$_focal_term__A___A___`
`static SubLString`	`$str190$_focal_term_occurrences__A___A___`
`static SubLString`	`$str191$_examples___A__`
`static SubLString`	`$str192$_follow_ups___A__`
`static SubLString`	`$str193$_template_gloss___A__`
`static SubLString`	`$str194$_reformulation_specification___A_`
`static SubLString`	`$str195$_argpos_details__`
`static SubLString`	`$str196$_`
`static SubLString`	`$str201$formulaTemplate`
`static SubLString`	`$str202$id`
`static SubLString`	`$str203$formula`
`static SubLString`	`$str204$elmt`
`static SubLString`	`$str205$focalTerm`
`static SubLString`	`$str206$argPositions`
`static SubLString`	`$str207$singleEntry`
`static SubLString`	`$str209$multipleEntry`
`static SubLString`	`$str210$usageExamples`
`static SubLString`	`$str211$example`
`static SubLString`	`$str212$glossForTemplate`
`static SubLString`	`$str213$followUps`
`static SubLString`	`$str214$followUp`
`static SubLString`	`$str216$templateId`
`static SubLString`	`$str217$connective`
`static SubLString`	`$str218$loadMt`
`static SubLString`	`$str219$reformulationSpecification`
`static SubLString`	`$str220$argumentPositionDetails`
`static SubLString`	`$str221$__xml_version__1_0__encoding__US_`
`static SubLString`	`$str222$__DOCTYPE_formulaTemplate_SYSTEM_`
`static SubLString`	`$str224$__ArgPos_Details__`
`static SubLString`	`$str225$_for_position__A_`
`static SubLString`	`$str226$__ordering_slot__D_`
`static SubLString`	`$str227$__no_ordering_info_`
`static SubLString`	`$str228$_READ_ONLY`
`static SubLString`	`$str229$_gloss___A__`
`static SubLString`	`$str230$_replacementInvisible___A__`
`static SubLString`	`$str231$_candidate_replacements___A__`
`static SubLString`	`$str232$_constraints___A__`
`static SubLString`	`$str233$__requires_validation____`
`static SubLString`	`$str234$_explanation___A__`
`static SubLString`	`$str235$_term_for_unknown___A__`
`static SubLString`	`$str236$argumentPositionDetail`
`static SubLString`	`$str237$ordering`
`static SubLString`	`$str238$glossText`
`static SubLString`	`$str239$candidateReplacementsForPosition`
`static SubLString`	`$str240$candidateReplacementForPosition`
`static SubLString`	`$str241$templateReplacementsInvisibleForP`
`static SubLString`	`$str242$isEditable`
`static SubLString`	`$str243$validationRequired`
`static SubLString`	`$str244$explanation`
`static SubLString`	`$str245$unknownTermForTemplatePosition`
`static SubLString`	`$str246$constraintsOnReplacement`
`static SubLString`	`$str247$constraintOnReplacement`
`static SubLString`	`$str249$argPosition`
`static SubLString`	`$str250$position`
`static SubLString`	`$str252$Can_t_load_a_formula_template_wit`
`static SubLString`	`$str262$Dwimming_MT_for__A_to__A____your_`
`static SubLString`	`$str311$higherPriorityTemplateTypeForTopi`
`static SubLString`	`$str325$Invalid_formula_template__A_in_to`
`static SubLString`	`$str326$FactivoreTab`
`static SubLString`	`$str353$knownAssertionsForTemplateTopic`
`static SubLString`	`$str354$queryELMt`
`static SubLString`	`$str355$templateInstance`
`static SubLString`	`$str356$templateTopicAssertionsRevision`
`static SubLString`	`$str357$knownAssertionsForTemplateSubTopi`
`static SubLString`	`$str359$knownAssertionsForTemplateSubTopi`
`static SubLString`	`$str360$knownAssertionsForFormulaTemplate`
`static SubLString`	`$str362$knownAssertionsForFormulaTemplate`
`static SubLString`	`$str363$assertionsMatchTemplate`
`static SubLString`	`$str364$knownAssertions`
`static SubLString`	`$str365$Problem_serializing_assertions_fo`
`static SubLString`	`$str367$Invalid_return_object_`
`static SubLString`	`$str368$_in_assertion_list`
`static SubLString`	`$str369$knownAssertion`
`static SubLString`	`$str370$deducedAssertion`
`static SubLString`	`$str371$knownAssertionSUIDs`
`static SubLString`	`$str372$knownAssertionEvaluations`
`static SubLString`	`$str374$knownAssertionEvaluation`
`static SubLString`	`$str375$evaluator`
`static SubLString`	`$str376$judgment`
`static SubLString`	`$str377$evaluationOfAssertionByOn`
`static SubLString`	`$str378$evaluationOfAssertionOfByOn`
`static SubLString`	`$str386$knownAssertionELMt`
`static SubLString`	`$str387$knownAssertionCW`
`static SubLString`	`$str44$Invalid_slot__S_for_construction_`
`static SubLString`	`$str45$18287931_d871_11d9_8eef_0002b3891`
`static SubLString`	`$str84$182a9c10_d871_11d9_8eef_0002b3891`
`static SubLSymbol`	`$sym0$TEMPLATE_TOPIC`
`static SubLSymbol`	`$sym1$TEMPLATE_TOPIC_P`
`static SubLSymbol`	`$sym10$TEMPLATE_TOPIC_TOPIC`
`static SubLSymbol`	`$sym100$FORMULA_TEMPLATE_QUERY_SPECIFICATION`
`static SubLSymbol`	`$sym101$_CSETF_FORMULA_TEMPLATE_QUERY_SPECIFICATION`
`static SubLSymbol`	`$sym102$FORMULA_TEMPLATE_ELMT`
`static SubLSymbol`	`$sym103$_CSETF_FORMULA_TEMPLATE_ELMT`
`static SubLSymbol`	`$sym104$FORMULA_TEMPLATE_FOCAL_TERM`
`static SubLSymbol`	`$sym105$_CSETF_FORMULA_TEMPLATE_FOCAL_TERM`
`static SubLSymbol`	`$sym106$FORMULA_TEMPLATE_ARGPOS_DETAILS`
`static SubLSymbol`	`$sym107$_CSETF_FORMULA_TEMPLATE_ARGPOS_DETAILS`
`static SubLSymbol`	`$sym108$FORMULA_TEMPLATE_ARGPOS_ORDERING`
`static SubLSymbol`	`$sym109$_CSETF_FORMULA_TEMPLATE_ARGPOS_ORDERING`
`static SubLSymbol`	`$sym11$_CSETF_TEMPLATE_TOPIC_TOPIC`
`static SubLSymbol`	`$sym110$FORMULA_TEMPLATE_EXAMPLES`
`static SubLSymbol`	`$sym111$_CSETF_FORMULA_TEMPLATE_EXAMPLES`
`static SubLSymbol`	`$sym112$FORMULA_TEMPLATE_ENTRY_FORMAT`
`static SubLSymbol`	`$sym113$_CSETF_FORMULA_TEMPLATE_ENTRY_FORMAT`
`static SubLSymbol`	`$sym114$FORMULA_TEMPLATE_FOLLOW_UPS`
`static SubLSymbol`	`$sym115$_CSETF_FORMULA_TEMPLATE_FOLLOW_UPS`
`static SubLSymbol`	`$sym116$FORMULA_TEMPLATE_GLOSS`
`static SubLSymbol`	`$sym117$_CSETF_FORMULA_TEMPLATE_GLOSS`
`static SubLSymbol`	`$sym118$FORMULA_TEMPLATE_REFSPEC`
`static SubLSymbol`	`$sym119$_CSETF_FORMULA_TEMPLATE_REFSPEC`
`static SubLSymbol`	`$sym12$TEMPLATE_TOPIC_SUBTOPICS`
`static SubLSymbol`	`$sym13$_CSETF_TEMPLATE_TOPIC_SUBTOPICS`
`static SubLSymbol`	`$sym132$CFASL_INPUT_FORMULA_TEMPLATE`
`static SubLSymbol`	`$sym133$CLET`
`static SubLSymbol`	`$sym135$PROGN`
`static SubLSymbol`	`$sym137$_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE_`
`static SubLSymbol`	`$sym138$CHECK_TYPE`
`static SubLSymbol`	`$sym14$TEMPLATE_TOPIC_TEMPLATES`
`static SubLSymbol`	`$sym141$NON_EDITABLE`
`static SubLSymbol`	`$sym142$COMPUTE_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE`
`static SubLSymbol`	`$sym143$WITH_KNOWN_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE`
`static SubLSymbol`	`$sym148$STRINGP`
`static SubLSymbol`	`$sym149$FORT_P`
`static SubLSymbol`	`$sym15$_CSETF_TEMPLATE_TOPIC_TEMPLATES`
`static SubLSymbol`	`$sym150$LISTP`
`static SubLSymbol`	`$sym16$TEMPLATE_TOPIC_ORDERING`
`static SubLSymbol`	`$sym17$_CSETF_TEMPLATE_TOPIC_ORDERING`
`static SubLSymbol`	`$sym179$CFASL_OUTPUT_OBJECT_TEMPLATE_TOPIC_METHOD`
`static SubLSymbol`	`$sym18$TEMPLATE_TOPIC_TITLE`
`static SubLSymbol`	`$sym180$VALID_FORMULA_TEMPLATE_P`
`static SubLSymbol`	`$sym19$_CSETF_TEMPLATE_TOPIC_TITLE`
`static SubLSymbol`	`$sym197$EL_FORMULA_P`
`static SubLSymbol`	`$sym198$ISA_MT_`
`static SubLSymbol`	`$sym199$CONSTANT_P`
`static SubLSymbol`	`$sym20$TEMPLATE_TOPIC_TERM_PREFIX`
`static SubLSymbol`	`$sym200$NEW_CYCL_QUERY_SPECIFICATION_P`
`static SubLSymbol`	`$sym21$_CSETF_TEMPLATE_TOPIC_TERM_PREFIX`
`static SubLSymbol`	`$sym22$TEMPLATE_TOPIC_INTRO_TEMPLATE`
`static SubLSymbol`	`$sym223$CFASL_OUTPUT_OBJECT_FORMULA_TEMPLATE_METHOD`
`static SubLSymbol`	`$sym23$_CSETF_TEMPLATE_TOPIC_INTRO_TEMPLATE`
`static SubLSymbol`	`$sym24$TEMPLATE_TOPIC_SOURCE_TYPES`
`static SubLSymbol`	`$sym248$CFASL_OUTPUT_OBJECT_ARG_POSITION_DETAILS_METHOD`
`static SubLSymbol`	`$sym25$_CSETF_TEMPLATE_TOPIC_SOURCE_TYPES`
`static SubLSymbol`	`$sym251$HLMT_P`
`static SubLSymbol`	`$sym259$ORDERED_BY_ARGUMENT_POSITION`
`static SubLSymbol`	`$sym26$TEMPLATE_TOPIC_SOURCE_MT`
`static SubLSymbol`	`$sym260$_`
`static SubLSymbol`	`$sym261$POSSIBLY_FO_REPRESENTED_TERM_P`
`static SubLSymbol`	`$sym27$_CSETF_TEMPLATE_TOPIC_SOURCE_MT`
`static SubLSymbol`	`$sym270$COMMUTATIVE_RELATION_`
`static SubLSymbol`	`$sym271$SECOND`
`static SubLSymbol`	`$sym28$TEMPLATE_TOPIC_QUERY_MT`
`static SubLSymbol`	`$sym282$GET_VARIABLE`
`static SubLSymbol`	`$sym29$_CSETF_TEMPLATE_TOPIC_QUERY_MT`
`static SubLSymbol`	`$sym299$_X`
`static SubLSymbol`	`$sym30$TEMPLATE_TOPIC_DEFINITIONAL_MT`
`static SubLSymbol`	`$sym307$DICTIONARY_P`
`static SubLSymbol`	`$sym308$HIGHER_PRIORITY_`
`static SubLSymbol`	`$sym309$FORT_SORT_PRED`
`static SubLSymbol`	`$sym31$_CSETF_TEMPLATE_TOPIC_DEFINITIONAL_MT`
`static SubLSymbol`	`$sym313$_HIGHER`
`static SubLSymbol`	`$sym314$_LOWER`
`static SubLSymbol`	`$sym322$STABLE_TEMPLATE_ID_COMPARE`
`static SubLSymbol`	`$sym323$WARN`
`static SubLSymbol`	`$sym324$ERROR`
`static SubLSymbol`	`$sym329$_TEMPLATE`
`static SubLSymbol`	`$sym332$_`
`static SubLSymbol`	`$sym333$COUNT_ASSERTED_FORMULA_TEMPLATE_IDS_FOR_TYPE`
`static SubLSymbol`	`$sym336$_SUBTOPIC`
`static SubLSymbol`	`$sym339$_MT`
`static SubLSymbol`	`$sym344$FORT_OR_NAUT_P`
`static SubLSymbol`	`$sym351$SET_P`
`static SubLSymbol`	`$sym366$ASSERTED_ASSERTION_`
`static SubLSymbol`	`$sym380$_EVAL`
`static SubLSymbol`	`$sym383$_JUDGMENT`
`static SubLSymbol`	`$sym388$MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK`
`static SubLSymbol`	`$sym391$_MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK_CACHING_STATE_`
`static SubLSymbol`	`$sym393$_POLY_ELMT`
`static SubLSymbol`	`$sym397$__REFSPEC`
`static SubLSymbol`	`$sym398$__ASSERTION`
`static SubLSymbol`	`$sym406$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym409$DEDUCED_ASSERTION_`
`static SubLSymbol`	`$sym410$EL_TERM_P`
`static SubLSymbol`	`$sym411$ASSERTION_P`
`static SubLSymbol`	`$sym413$FTEMPLATE_POLYCANONICALIZED_ASSERTION_P`
`static SubLSymbol`	`$sym417$_FET_ASSERTION_VAR_524`
`static SubLSymbol`	`$sym46$CFASL_INPUT_TEMPLATE_TOPIC`
`static SubLSymbol`	`$sym47$ARG_POSITION_DETAILS`
`static SubLSymbol`	`$sym48$ARG_POSITION_DETAILS_P`
`static SubLSymbol`	`$sym53$PRINT_ARG_POSITION_DETAILS`
`static SubLSymbol`	`$sym54$ARG_POSITION_DETAILS_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym55$ARG_POSITION_DETAILS_ARGUMENT_POSITION`
`static SubLSymbol`	`$sym56$_CSETF_ARG_POSITION_DETAILS_ARGUMENT_POSITION`
`static SubLSymbol`	`$sym57$ARG_POSITION_DETAILS_ORDERING`
`static SubLSymbol`	`$sym58$_CSETF_ARG_POSITION_DETAILS_ORDERING`
`static SubLSymbol`	`$sym59$ARG_POSITION_DETAILS_GLOSS`
`static SubLSymbol`	`$sym6$PRINT_TEMPLATE_TOPIC`
`static SubLSymbol`	`$sym60$_CSETF_ARG_POSITION_DETAILS_GLOSS`
`static SubLSymbol`	`$sym61$ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS`
`static SubLSymbol`	`$sym62$_CSETF_ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS`
`static SubLSymbol`	`$sym63$ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS`
`static SubLSymbol`	`$sym64$_CSETF_ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS`
`static SubLSymbol`	`$sym65$ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS`
`static SubLSymbol`	`$sym66$_CSETF_ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS`
`static SubLSymbol`	`$sym67$ARG_POSITION_DETAILS_IS_EDITABLE`
`static SubLSymbol`	`$sym68$_CSETF_ARG_POSITION_DETAILS_IS_EDITABLE`
`static SubLSymbol`	`$sym69$ARG_POSITION_DETAILS_EXPLANATION`
`static SubLSymbol`	`$sym7$TEMPLATE_TOPIC_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym70$_CSETF_ARG_POSITION_DETAILS_EXPLANATION`
`static SubLSymbol`	`$sym71$ARG_POSITION_DETAILS_REQUIRES_VALIDATION`
`static SubLSymbol`	`$sym72$_CSETF_ARG_POSITION_DETAILS_REQUIRES_VALIDATION`
`static SubLSymbol`	`$sym73$ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT`
`static SubLSymbol`	`$sym74$_CSETF_ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT`
`static SubLSymbol`	`$sym8$TEMPLATE_TOPIC_SUPERTOPIC`
`static SubLSymbol`	`$sym85$CFASL_INPUT_ARG_POSITION_DETAILS`
`static SubLSymbol`	`$sym86$FORMULA_TEMPLATE`
`static SubLSymbol`	`$sym87$FORMULA_TEMPLATE_P`
`static SubLSymbol`	`$sym9$_CSETF_TEMPLATE_TOPIC_SUPERTOPIC`
`static SubLSymbol`	`$sym92$PRINT_FORMULA_TEMPLATE`
`static SubLSymbol`	`$sym93$FORMULA_TEMPLATE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym94$FORMULA_TEMPLATE_TOPIC`
`static SubLSymbol`	`$sym95$_CSETF_FORMULA_TEMPLATE_TOPIC`
`static SubLSymbol`	`$sym96$FORMULA_TEMPLATE_ID`
`static SubLSymbol`	`$sym97$_CSETF_FORMULA_TEMPLATE_ID`
`static SubLSymbol`	`$sym98$FORMULA_TEMPLATE_FORMULA`
`static SubLSymbol`	`$sym99$_CSETF_FORMULA_TEMPLATE_FORMULA`
`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`	`arg_position_details_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`cfasl_output_object_arg_position_details_method(SubLObject object, SubLObject stream)`
`static SubLObject`	`cfasl_output_object_formula_template_method(SubLObject object, SubLObject stream)`
`static SubLObject`	`cfasl_output_object_template_topic_method(SubLObject object, SubLObject stream)`
`static SubLObject`	`declare_formula_templates_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`formula_template_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`init_formula_templates_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_formula_templates_file()`
`static SubLObject`	`template_topic_print_function_trampoline(SubLObject object, SubLObject stream)`

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_template_topic$

public static SubLSymbol $dtp_template_topic$

$dtp_arg_position_details$

public static SubLSymbol $dtp_arg_position_details$

$dtp_formula_template$

public static SubLSymbol $dtp_formula_template$

$non_editable_assertions_for_template_topic_instance$

public static SubLSymbol $non_editable_assertions_for_template_topic_instance$

The bundle of assertions that are not supposed to be made available for editing.

$get_assertions_from_initial_askP$

public static SubLSymbol $get_assertions_from_initial_askP$

BOOLEANP; Should we try to get assertion objects via our first ask, as opposed to finding bindings, substituting, and then looking for matching assertions?

$sym0$TEMPLATE_TOPIC

public static final SubLSymbol $sym0$TEMPLATE_TOPIC

$sym1$TEMPLATE_TOPIC_P

public static final SubLSymbol $sym1$TEMPLATE_TOPIC_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$PRINT_TEMPLATE_TOPIC

public static final SubLSymbol $sym6$PRINT_TEMPLATE_TOPIC

$sym7$TEMPLATE_TOPIC_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$TEMPLATE_TOPIC_PRINT_FUNCTION_TRAMPOLINE

$sym8$TEMPLATE_TOPIC_SUPERTOPIC

public static final SubLSymbol $sym8$TEMPLATE_TOPIC_SUPERTOPIC

$sym9$_CSETF_TEMPLATE_TOPIC_SUPERTOPIC

public static final SubLSymbol $sym9$_CSETF_TEMPLATE_TOPIC_SUPERTOPIC

$sym10$TEMPLATE_TOPIC_TOPIC

public static final SubLSymbol $sym10$TEMPLATE_TOPIC_TOPIC

$sym11$_CSETF_TEMPLATE_TOPIC_TOPIC

public static final SubLSymbol $sym11$_CSETF_TEMPLATE_TOPIC_TOPIC

$sym12$TEMPLATE_TOPIC_SUBTOPICS

public static final SubLSymbol $sym12$TEMPLATE_TOPIC_SUBTOPICS

$sym13$_CSETF_TEMPLATE_TOPIC_SUBTOPICS

public static final SubLSymbol $sym13$_CSETF_TEMPLATE_TOPIC_SUBTOPICS

$sym14$TEMPLATE_TOPIC_TEMPLATES

public static final SubLSymbol $sym14$TEMPLATE_TOPIC_TEMPLATES

$sym15$_CSETF_TEMPLATE_TOPIC_TEMPLATES

public static final SubLSymbol $sym15$_CSETF_TEMPLATE_TOPIC_TEMPLATES

$sym16$TEMPLATE_TOPIC_ORDERING

public static final SubLSymbol $sym16$TEMPLATE_TOPIC_ORDERING

$sym17$_CSETF_TEMPLATE_TOPIC_ORDERING

public static final SubLSymbol $sym17$_CSETF_TEMPLATE_TOPIC_ORDERING

$sym18$TEMPLATE_TOPIC_TITLE

public static final SubLSymbol $sym18$TEMPLATE_TOPIC_TITLE

$sym19$_CSETF_TEMPLATE_TOPIC_TITLE

public static final SubLSymbol $sym19$_CSETF_TEMPLATE_TOPIC_TITLE

$sym20$TEMPLATE_TOPIC_TERM_PREFIX

public static final SubLSymbol $sym20$TEMPLATE_TOPIC_TERM_PREFIX

$sym21$_CSETF_TEMPLATE_TOPIC_TERM_PREFIX

public static final SubLSymbol $sym21$_CSETF_TEMPLATE_TOPIC_TERM_PREFIX

$sym22$TEMPLATE_TOPIC_INTRO_TEMPLATE

public static final SubLSymbol $sym22$TEMPLATE_TOPIC_INTRO_TEMPLATE

$sym23$_CSETF_TEMPLATE_TOPIC_INTRO_TEMPLATE

public static final SubLSymbol $sym23$_CSETF_TEMPLATE_TOPIC_INTRO_TEMPLATE

$sym24$TEMPLATE_TOPIC_SOURCE_TYPES

public static final SubLSymbol $sym24$TEMPLATE_TOPIC_SOURCE_TYPES

$sym25$_CSETF_TEMPLATE_TOPIC_SOURCE_TYPES

public static final SubLSymbol $sym25$_CSETF_TEMPLATE_TOPIC_SOURCE_TYPES

$sym26$TEMPLATE_TOPIC_SOURCE_MT

public static final SubLSymbol $sym26$TEMPLATE_TOPIC_SOURCE_MT

$sym27$_CSETF_TEMPLATE_TOPIC_SOURCE_MT

public static final SubLSymbol $sym27$_CSETF_TEMPLATE_TOPIC_SOURCE_MT

$sym28$TEMPLATE_TOPIC_QUERY_MT

public static final SubLSymbol $sym28$TEMPLATE_TOPIC_QUERY_MT

$sym29$_CSETF_TEMPLATE_TOPIC_QUERY_MT

public static final SubLSymbol $sym29$_CSETF_TEMPLATE_TOPIC_QUERY_MT

$sym30$TEMPLATE_TOPIC_DEFINITIONAL_MT

public static final SubLSymbol $sym30$TEMPLATE_TOPIC_DEFINITIONAL_MT

$sym31$_CSETF_TEMPLATE_TOPIC_DEFINITIONAL_MT

public static final SubLSymbol $sym31$_CSETF_TEMPLATE_TOPIC_DEFINITIONAL_MT

$kw32$SUPERTOPIC

public static final SubLSymbol $kw32$SUPERTOPIC

$kw33$TOPIC

public static final SubLSymbol $kw33$TOPIC

$kw34$SUBTOPICS

public static final SubLSymbol $kw34$SUBTOPICS

$kw35$TEMPLATES

public static final SubLSymbol $kw35$TEMPLATES

$kw36$ORDERING

public static final SubLSymbol $kw36$ORDERING

$kw37$TITLE

public static final SubLSymbol $kw37$TITLE

$kw38$TERM_PREFIX

public static final SubLSymbol $kw38$TERM_PREFIX

$kw39$INTRO_TEMPLATE

public static final SubLSymbol $kw39$INTRO_TEMPLATE

$kw40$SOURCE_TYPES

public static final SubLSymbol $kw40$SOURCE_TYPES

$kw41$SOURCE_MT

public static final SubLSymbol $kw41$SOURCE_MT

$kw42$QUERY_MT

public static final SubLSymbol $kw42$QUERY_MT

$kw43$DEFINITIONAL_MT

public static final SubLSymbol $kw43$DEFINITIONAL_MT

$str44$Invalid_slot__S_for_construction_

public static final SubLString $str44$Invalid_slot__S_for_construction_

$str45$18287931_d871_11d9_8eef_0002b3891

public static final SubLString $str45$18287931_d871_11d9_8eef_0002b3891

$sym46$CFASL_INPUT_TEMPLATE_TOPIC

public static final SubLSymbol $sym46$CFASL_INPUT_TEMPLATE_TOPIC

$sym47$ARG_POSITION_DETAILS

public static final SubLSymbol $sym47$ARG_POSITION_DETAILS

$sym48$ARG_POSITION_DETAILS_P

public static final SubLSymbol $sym48$ARG_POSITION_DETAILS_P

$list49

public static final SubLList $list49

$list50

public static final SubLList $list50

$list51

public static final SubLList $list51

$list52

public static final SubLList $list52

$sym53$PRINT_ARG_POSITION_DETAILS

public static final SubLSymbol $sym53$PRINT_ARG_POSITION_DETAILS

$sym54$ARG_POSITION_DETAILS_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym54$ARG_POSITION_DETAILS_PRINT_FUNCTION_TRAMPOLINE

$sym55$ARG_POSITION_DETAILS_ARGUMENT_POSITION

public static final SubLSymbol $sym55$ARG_POSITION_DETAILS_ARGUMENT_POSITION

$sym56$_CSETF_ARG_POSITION_DETAILS_ARGUMENT_POSITION

public static final SubLSymbol $sym56$_CSETF_ARG_POSITION_DETAILS_ARGUMENT_POSITION

$sym57$ARG_POSITION_DETAILS_ORDERING

public static final SubLSymbol $sym57$ARG_POSITION_DETAILS_ORDERING

$sym58$_CSETF_ARG_POSITION_DETAILS_ORDERING

public static final SubLSymbol $sym58$_CSETF_ARG_POSITION_DETAILS_ORDERING

$sym59$ARG_POSITION_DETAILS_GLOSS

public static final SubLSymbol $sym59$ARG_POSITION_DETAILS_GLOSS

$sym60$_CSETF_ARG_POSITION_DETAILS_GLOSS

public static final SubLSymbol $sym60$_CSETF_ARG_POSITION_DETAILS_GLOSS

$sym61$ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

public static final SubLSymbol $sym61$ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

$sym62$_CSETF_ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

public static final SubLSymbol $sym62$_CSETF_ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

$sym63$ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

public static final SubLSymbol $sym63$ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

$sym64$_CSETF_ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

public static final SubLSymbol $sym64$_CSETF_ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

$sym65$ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

public static final SubLSymbol $sym65$ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

$sym66$_CSETF_ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

public static final SubLSymbol $sym66$_CSETF_ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

$sym67$ARG_POSITION_DETAILS_IS_EDITABLE

public static final SubLSymbol $sym67$ARG_POSITION_DETAILS_IS_EDITABLE

$sym68$_CSETF_ARG_POSITION_DETAILS_IS_EDITABLE

public static final SubLSymbol $sym68$_CSETF_ARG_POSITION_DETAILS_IS_EDITABLE

$sym69$ARG_POSITION_DETAILS_EXPLANATION

public static final SubLSymbol $sym69$ARG_POSITION_DETAILS_EXPLANATION

$sym70$_CSETF_ARG_POSITION_DETAILS_EXPLANATION

public static final SubLSymbol $sym70$_CSETF_ARG_POSITION_DETAILS_EXPLANATION

$sym71$ARG_POSITION_DETAILS_REQUIRES_VALIDATION

public static final SubLSymbol $sym71$ARG_POSITION_DETAILS_REQUIRES_VALIDATION

$sym72$_CSETF_ARG_POSITION_DETAILS_REQUIRES_VALIDATION

public static final SubLSymbol $sym72$_CSETF_ARG_POSITION_DETAILS_REQUIRES_VALIDATION

$sym73$ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT

public static final SubLSymbol $sym73$ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT

$sym74$_CSETF_ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT

public static final SubLSymbol $sym74$_CSETF_ARG_POSITION_DETAILS_UNKNOWN_REPLACEMENT

$kw75$ARGUMENT_POSITION

public static final SubLSymbol $kw75$ARGUMENT_POSITION

$kw76$GLOSS

public static final SubLSymbol $kw76$GLOSS

$kw77$INVISIBLE_REPLACEMENT_POSITIONS

public static final SubLSymbol $kw77$INVISIBLE_REPLACEMENT_POSITIONS

$kw78$REPLACEMENT_CONSTRAINTS

public static final SubLSymbol $kw78$REPLACEMENT_CONSTRAINTS

$kw79$CANDIDATE_REPLACEMENTS

public static final SubLSymbol $kw79$CANDIDATE_REPLACEMENTS

$kw80$IS_EDITABLE

public static final SubLSymbol $kw80$IS_EDITABLE

$kw81$EXPLANATION

public static final SubLSymbol $kw81$EXPLANATION

$kw82$REQUIRES_VALIDATION

public static final SubLSymbol $kw82$REQUIRES_VALIDATION

$kw83$UNKNOWN_REPLACEMENT

public static final SubLSymbol $kw83$UNKNOWN_REPLACEMENT

$str84$182a9c10_d871_11d9_8eef_0002b3891

public static final SubLString $str84$182a9c10_d871_11d9_8eef_0002b3891

$sym85$CFASL_INPUT_ARG_POSITION_DETAILS

public static final SubLSymbol $sym85$CFASL_INPUT_ARG_POSITION_DETAILS

$sym86$FORMULA_TEMPLATE

public static final SubLSymbol $sym86$FORMULA_TEMPLATE

$sym87$FORMULA_TEMPLATE_P

public static final SubLSymbol $sym87$FORMULA_TEMPLATE_P

$list88

public static final SubLList $list88

$list89

public static final SubLList $list89

$list90

public static final SubLList $list90

$list91

public static final SubLList $list91

$sym92$PRINT_FORMULA_TEMPLATE

public static final SubLSymbol $sym92$PRINT_FORMULA_TEMPLATE

$sym93$FORMULA_TEMPLATE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym93$FORMULA_TEMPLATE_PRINT_FUNCTION_TRAMPOLINE

$sym94$FORMULA_TEMPLATE_TOPIC

public static final SubLSymbol $sym94$FORMULA_TEMPLATE_TOPIC

$sym95$_CSETF_FORMULA_TEMPLATE_TOPIC

public static final SubLSymbol $sym95$_CSETF_FORMULA_TEMPLATE_TOPIC

$sym96$FORMULA_TEMPLATE_ID

public static final SubLSymbol $sym96$FORMULA_TEMPLATE_ID

$sym97$_CSETF_FORMULA_TEMPLATE_ID

public static final SubLSymbol $sym97$_CSETF_FORMULA_TEMPLATE_ID

$sym98$FORMULA_TEMPLATE_FORMULA

public static final SubLSymbol $sym98$FORMULA_TEMPLATE_FORMULA

$sym99$_CSETF_FORMULA_TEMPLATE_FORMULA

public static final SubLSymbol $sym99$_CSETF_FORMULA_TEMPLATE_FORMULA

$sym100$FORMULA_TEMPLATE_QUERY_SPECIFICATION

public static final SubLSymbol $sym100$FORMULA_TEMPLATE_QUERY_SPECIFICATION

$sym101$_CSETF_FORMULA_TEMPLATE_QUERY_SPECIFICATION

public static final SubLSymbol $sym101$_CSETF_FORMULA_TEMPLATE_QUERY_SPECIFICATION

$sym102$FORMULA_TEMPLATE_ELMT

public static final SubLSymbol $sym102$FORMULA_TEMPLATE_ELMT

$sym103$_CSETF_FORMULA_TEMPLATE_ELMT

public static final SubLSymbol $sym103$_CSETF_FORMULA_TEMPLATE_ELMT

$sym104$FORMULA_TEMPLATE_FOCAL_TERM

public static final SubLSymbol $sym104$FORMULA_TEMPLATE_FOCAL_TERM

$sym105$_CSETF_FORMULA_TEMPLATE_FOCAL_TERM

public static final SubLSymbol $sym105$_CSETF_FORMULA_TEMPLATE_FOCAL_TERM

$sym106$FORMULA_TEMPLATE_ARGPOS_DETAILS

public static final SubLSymbol $sym106$FORMULA_TEMPLATE_ARGPOS_DETAILS

$sym107$_CSETF_FORMULA_TEMPLATE_ARGPOS_DETAILS

public static final SubLSymbol $sym107$_CSETF_FORMULA_TEMPLATE_ARGPOS_DETAILS

$sym108$FORMULA_TEMPLATE_ARGPOS_ORDERING

public static final SubLSymbol $sym108$FORMULA_TEMPLATE_ARGPOS_ORDERING

$sym109$_CSETF_FORMULA_TEMPLATE_ARGPOS_ORDERING

public static final SubLSymbol $sym109$_CSETF_FORMULA_TEMPLATE_ARGPOS_ORDERING

$sym110$FORMULA_TEMPLATE_EXAMPLES

public static final SubLSymbol $sym110$FORMULA_TEMPLATE_EXAMPLES

$sym111$_CSETF_FORMULA_TEMPLATE_EXAMPLES

public static final SubLSymbol $sym111$_CSETF_FORMULA_TEMPLATE_EXAMPLES

$sym112$FORMULA_TEMPLATE_ENTRY_FORMAT

public static final SubLSymbol $sym112$FORMULA_TEMPLATE_ENTRY_FORMAT

$sym113$_CSETF_FORMULA_TEMPLATE_ENTRY_FORMAT

public static final SubLSymbol $sym113$_CSETF_FORMULA_TEMPLATE_ENTRY_FORMAT

$sym114$FORMULA_TEMPLATE_FOLLOW_UPS

public static final SubLSymbol $sym114$FORMULA_TEMPLATE_FOLLOW_UPS

$sym115$_CSETF_FORMULA_TEMPLATE_FOLLOW_UPS

public static final SubLSymbol $sym115$_CSETF_FORMULA_TEMPLATE_FOLLOW_UPS

$sym116$FORMULA_TEMPLATE_GLOSS

public static final SubLSymbol $sym116$FORMULA_TEMPLATE_GLOSS

$sym117$_CSETF_FORMULA_TEMPLATE_GLOSS

public static final SubLSymbol $sym117$_CSETF_FORMULA_TEMPLATE_GLOSS

$sym118$FORMULA_TEMPLATE_REFSPEC

public static final SubLSymbol $sym118$FORMULA_TEMPLATE_REFSPEC

$sym119$_CSETF_FORMULA_TEMPLATE_REFSPEC

public static final SubLSymbol $sym119$_CSETF_FORMULA_TEMPLATE_REFSPEC

$kw120$ID

public static final SubLSymbol $kw120$ID

$kw121$FORMULA

public static final SubLSymbol $kw121$FORMULA

$kw122$QUERY_SPECIFICATION

public static final SubLSymbol $kw122$QUERY_SPECIFICATION

$kw123$ELMT

public static final SubLSymbol $kw123$ELMT

$kw124$FOCAL_TERM

public static final SubLSymbol $kw124$FOCAL_TERM

$kw125$ARGPOS_DETAILS

public static final SubLSymbol $kw125$ARGPOS_DETAILS

$kw126$ARGPOS_ORDERING

public static final SubLSymbol $kw126$ARGPOS_ORDERING

$kw127$EXAMPLES

public static final SubLSymbol $kw127$EXAMPLES

$kw128$ENTRY_FORMAT

public static final SubLSymbol $kw128$ENTRY_FORMAT

$kw129$FOLLOW_UPS

public static final SubLSymbol $kw129$FOLLOW_UPS

$kw130$REFSPEC

public static final SubLSymbol $kw130$REFSPEC

$str131$182b1140_d871_11d9_8eef_0002b3891

public static final SubLString $str131$182b1140_d871_11d9_8eef_0002b3891

$sym132$CFASL_INPUT_FORMULA_TEMPLATE

public static final SubLSymbol $sym132$CFASL_INPUT_FORMULA_TEMPLATE

$sym133$CLET

public static final SubLSymbol $sym133$CLET

$list134

public static final SubLList $list134

$sym135$PROGN

public static final SubLSymbol $sym135$PROGN

$list136

public static final SubLList $list136

$sym137$_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE_

public static final SubLSymbol $sym137$_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE_

$sym138$CHECK_TYPE

public static final SubLSymbol $sym138$CHECK_TYPE

$list139

public static final SubLList $list139

$list140

public static final SubLList $list140

$sym141$NON_EDITABLE

public static final SubLSymbol $sym141$NON_EDITABLE

$sym142$COMPUTE_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE

public static final SubLSymbol $sym142$COMPUTE_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE

$sym143$WITH_KNOWN_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE

public static final SubLSymbol $sym143$WITH_KNOWN_NON_EDITABLE_ASSERTIONS_FOR_TEMPLATE_TOPIC_INSTANCE

$str144$_S_is_not_a_FORMULA_TEMPLATE_P_

public static final SubLString $str144$_S_is_not_a_FORMULA_TEMPLATE_P_

$str145$_S_is_not_EL_FORMULA_P_

public static final SubLString $str145$_S_is_not_EL_FORMULA_P_

$str146$_S_is_not_POSSIBLY_MT_P_

public static final SubLString $str146$_S_is_not_POSSIBLY_MT_P_

$str147$bad_formula_template_S

public static final SubLString $str147$bad_formula_template___S__

$sym148$STRINGP

public static final SubLSymbol $sym148$STRINGP

$sym149$FORT_P

public static final SubLSymbol $sym149$FORT_P

$sym150$LISTP

public static final SubLSymbol $sym150$LISTP

$str151$_TemplateTopic__

public static final SubLString $str151$_TemplateTopic__

$str152$Parent_S_Topic___S_

public static final SubLString $str152$Parent___S___Topic___S_

$str153$_named_

public static final SubLString $str153$_named_

$str154$_Term_Prefix__

public static final SubLString $str154$_Term_Prefix__

$str155$_SubTopics

public static final SubLString $str155$___SubTopics__

$str156$_Sources

public static final SubLString $str156$___Sources__

$str157$___Template_Source_Mt__

public static final SubLString $str157$___Template_Source_Mt__

$str158$___Template_Query_Mt__

public static final SubLString $str158$___Template_Query_Mt__

$str159$___Template_Definitional_Mt__

public static final SubLString $str159$___Template_Definitional_Mt__

$str160$___Templates_

public static final SubLString $str160$___Templates_

$str161$____introductory_template__

public static final SubLString $str161$____introductory_template__

$str162$_

public static final SubLString $str162$_

$list163

public static final SubLList $list163

$str164$templateTopic

public static final SubLString $str164$templateTopic

$str165$templateTopicRevision

public static final SubLString $str165$templateTopicRevision

$str166$topic

public static final SubLString $str166$topic

$str167$superTopic

public static final SubLString $str167$superTopic

$str168$title

public static final SubLString $str168$title

$str169$termPrefix

public static final SubLString $str169$termPrefix

$str170$introductoryTemplate

public static final SubLString $str170$introductoryTemplate

$str171$subTopics

public static final SubLString $str171$subTopics

$str172$subTopic

public static final SubLString $str172$subTopic

$str173$sourcesOfTopic

public static final SubLString $str173$sourcesOfTopic

$str174$sourceOfTopic

public static final SubLString $str174$sourceOfTopic

$str175$templateSourceMt

public static final SubLString $str175$templateSourceMt

$str176$templateQueryMt

public static final SubLString $str176$templateQueryMt

$str177$templateDefinitionalMt

public static final SubLString $str177$templateDefinitionalMt

$str178$formulaTemplates

public static final SubLString $str178$formulaTemplates

$sym179$CFASL_OUTPUT_OBJECT_TEMPLATE_TOPIC_METHOD

public static final SubLSymbol $sym179$CFASL_OUTPUT_OBJECT_TEMPLATE_TOPIC_METHOD

$sym180$VALID_FORMULA_TEMPLATE_P

public static final SubLSymbol $sym180$VALID_FORMULA_TEMPLATE_P

$str181$CFASL_INPUT_TEMPLATE_TOPIC_has_lo

public static final SubLString $str181$CFASL_INPUT_TEMPLATE_TOPIC_has_lo

$const182$SingleAssertionEntry

public static final SubLObject $const182$SingleAssertionEntry

$const183$MultipleAssertionEntry

public static final SubLObject $const183$MultipleAssertionEntry

$str184$_Formula_Template__

public static final SubLString $str184$_Formula_Template__

$str185$_A_

public static final SubLString $str185$_A_

$str186$of_topicA

public static final SubLString $str186$of_topic__A__

$str187$_formula__A_inA

public static final SubLString $str187$_formula__A_in__A__

$str188$_query_spec__A_inA

public static final SubLString $str188$_query_spec__A_in__A__

$str189$_focal_termA_A___

public static final SubLString $str189$_focal_term__A___A___

$str190$_focal_term_occurrencesA_A___

public static final SubLString $str190$_focal_term_occurrences__A___A___

$str191$_examples_A

public static final SubLString $str191$_examples___A__

$str192$_follow_ups_A

public static final SubLString $str192$_follow_ups___A__

$str193$_template_gloss_A

public static final SubLString $str193$_template_gloss___A__

$str194$_reformulation_specification___A_

public static final SubLString $str194$_reformulation_specification___A_

$str195$_argpos_details__

public static final SubLString $str195$_argpos_details__

$str196$_

public static final SubLString $str196$_

$sym197$EL_FORMULA_P

public static final SubLSymbol $sym197$EL_FORMULA_P

$sym198$ISA_MT_

public static final SubLSymbol $sym198$ISA_MT_

$sym199$CONSTANT_P

public static final SubLSymbol $sym199$CONSTANT_P

$sym200$NEW_CYCL_QUERY_SPECIFICATION_P

public static final SubLSymbol $sym200$NEW_CYCL_QUERY_SPECIFICATION_P

$str201$formulaTemplate

public static final SubLString $str201$formulaTemplate

$str202$id

public static final SubLString $str202$id

$str203$formula

public static final SubLString $str203$formula

$str204$elmt

public static final SubLString $str204$elmt

$str205$focalTerm

public static final SubLString $str205$focalTerm

$str206$argPositions

public static final SubLString $str206$argPositions

$str207$singleEntry

public static final SubLString $str207$singleEntry

$kw208$ATOMIC

public static final SubLSymbol $kw208$ATOMIC

$str209$multipleEntry

public static final SubLString $str209$multipleEntry

$str210$usageExamples

public static final SubLString $str210$usageExamples

$str211$example

public static final SubLString $str211$example

$str212$glossForTemplate

public static final SubLString $str212$glossForTemplate

$str213$followUps

public static final SubLString $str213$followUps

$str214$followUp

public static final SubLString $str214$followUp

$list215

public static final SubLList $list215

$str216$templateId

public static final SubLString $str216$templateId

$str217$connective

public static final SubLString $str217$connective

$str218$loadMt

public static final SubLString $str218$loadMt

$str219$reformulationSpecification

public static final SubLString $str219$reformulationSpecification

$str220$argumentPositionDetails

public static final SubLString $str220$argumentPositionDetails

$str221$__xml_version__1_0encodingUS_

public static final SubLString $str221$__xml_version__1_0__encoding__US_

$str222$__DOCTYPE_formulaTemplate_SYSTEM_

public static final SubLString $str222$__DOCTYPE_formulaTemplate_SYSTEM_

$sym223$CFASL_OUTPUT_OBJECT_FORMULA_TEMPLATE_METHOD

public static final SubLSymbol $sym223$CFASL_OUTPUT_OBJECT_FORMULA_TEMPLATE_METHOD

$str224$__ArgPos_Details__

public static final SubLString $str224$__ArgPos_Details__

$str225$_for_position__A_

public static final SubLString $str225$_for_position__A_

$str226$__ordering_slot__D_

public static final SubLString $str226$__ordering_slot__D_

$str227$__no_ordering_info_

public static final SubLString $str227$__no_ordering_info_

$str228$_READ_ONLY

public static final SubLString $str228$_READ_ONLY

$str229$_gloss_A

public static final SubLString $str229$_gloss___A__

$str230$_replacementInvisible_A

public static final SubLString $str230$_replacementInvisible___A__

$str231$_candidate_replacements_A

public static final SubLString $str231$_candidate_replacements___A__

$str232$_constraints_A

public static final SubLString $str232$_constraints___A__

$str233$__requires_validation____

public static final SubLString $str233$__requires_validation____

$str234$_explanation_A

public static final SubLString $str234$_explanation___A__

$str235$_term_for_unknown_A

public static final SubLString $str235$_term_for_unknown___A__

$str236$argumentPositionDetail

public static final SubLString $str236$argumentPositionDetail

$str237$ordering

public static final SubLString $str237$ordering

$str238$glossText

public static final SubLString $str238$glossText

$str239$candidateReplacementsForPosition

public static final SubLString $str239$candidateReplacementsForPosition

$str240$candidateReplacementForPosition

public static final SubLString $str240$candidateReplacementForPosition

$str241$templateReplacementsInvisibleForP

public static final SubLString $str241$templateReplacementsInvisibleForP

$str242$isEditable

public static final SubLString $str242$isEditable

$str243$validationRequired

public static final SubLString $str243$validationRequired

$str244$explanation

public static final SubLString $str244$explanation

$str245$unknownTermForTemplatePosition

public static final SubLString $str245$unknownTermForTemplatePosition

$str246$constraintsOnReplacement

public static final SubLString $str246$constraintsOnReplacement

$str247$constraintOnReplacement

public static final SubLString $str247$constraintOnReplacement

$sym248$CFASL_OUTPUT_OBJECT_ARG_POSITION_DETAILS_METHOD

public static final SubLSymbol $sym248$CFASL_OUTPUT_OBJECT_ARG_POSITION_DETAILS_METHOD

$str249$argPosition

public static final SubLString $str249$argPosition

$str250$position

public static final SubLString $str250$position

$sym251$HLMT_P

public static final SubLSymbol $sym251$HLMT_P

$str252$Can_t_load_a_formula_template_wit

public static final SubLString $str252$Can_t_load_a_formula_template_wit

$const253$formulaTemplateHasArgumentPositio

public static final SubLObject $const253$formulaTemplateHasArgumentPositio

$list254

public static final SubLList $list254

$list255

public static final SubLList $list255

$list256

public static final SubLList $list256

$list257

public static final SubLList $list257

$list258

public static final SubLList $list258

$sym259$ORDERED_BY_ARGUMENT_POSITION

public static final SubLSymbol $sym259$ORDERED_BY_ARGUMENT_POSITION

$sym260$_

public static final SubLSymbol $sym260$_

$sym261$POSSIBLY_FO_REPRESENTED_TERM_P

public static final SubLSymbol $sym261$POSSIBLY_FO_REPRESENTED_TERM_P

$str262$Dwimming_MT_for__A_toA__your_

public static final SubLString $str262$Dwimming_MT_for__A_to__A____your_

$list263

public static final SubLList $list263

$const264$reformulateTemplateViaSpecificati

public static final SubLObject $const264$reformulateTemplateViaSpecificati

$const265$TemplateFromTestQueryFn

public static final SubLObject $const265$TemplateFromTestQueryFn

$const266$querySpecificationForFormulaTempl

public static final SubLObject $const266$querySpecificationForFormulaTempl

$const267$formulaForFormulaTemplate

public static final SubLObject $const267$formulaForFormulaTemplate

$const268$assertMtForFormulaTemplate

public static final SubLObject $const268$assertMtForFormulaTemplate

$const269$formulaTemplateFollowUp

public static final SubLObject $const269$formulaTemplateFollowUp

$sym270$COMMUTATIVE_RELATION_

public static final SubLSymbol $sym270$COMMUTATIVE_RELATION_

$sym271$SECOND

public static final SubLSymbol $sym271$SECOND

$list272

public static final SubLList $list272

$const273$formulaTemplateGloss

public static final SubLObject $const273$formulaTemplateGloss

$kw274$TRUE

public static final SubLSymbol $kw274$TRUE

$list275

public static final SubLList $list275

$const276$AnytimePSC

public static final SubLObject $const276$AnytimePSC

$list277

public static final SubLList $list277

$const278$glossForFormulaTemplate

public static final SubLObject $const278$glossForFormulaTemplate

$list279

public static final SubLList $list279

$const280$formulaTemplateArgExplanation

public static final SubLObject $const280$formulaTemplateArgExplanation

$const281$formulaTemplateExample

public static final SubLObject $const281$formulaTemplateExample

$sym282$GET_VARIABLE

public static final SubLSymbol $sym282$GET_VARIABLE

$const283$genls

public static final SubLObject $const283$genls

$const284$assertedSentence

public static final SubLObject $const284$assertedSentence

$kw285$MAX_NUMBER

public static final SubLSymbol $kw285$MAX_NUMBER

$kw286$TRANSFORMATION_ALLOWED_

public static final SubLSymbol $kw286$TRANSFORMATION_ALLOWED_

$kw287$PROBLEM_STORE

public static final SubLSymbol $kw287$PROBLEM_STORE

$kw288$RETURN

public static final SubLSymbol $kw288$RETURN

$kw289$TEMPLATE

public static final SubLSymbol $kw289$TEMPLATE

$kw290$ANSWER_LANGUAGE

public static final SubLSymbol $kw290$ANSWER_LANGUAGE

$kw291$HL

public static final SubLSymbol $kw291$HL

$const292$focalTermPositionForFormulaTempla

public static final SubLObject $const292$focalTermPositionForFormulaTempla

$const293$assertionFormatForFormulaTemplate

public static final SubLObject $const293$assertionFormatForFormulaTemplate

$const294$templateReplacementsInvisibleForP

public static final SubLObject $const294$templateReplacementsInvisibleForP

$list295

public static final SubLList $list295

$const296$constraintOnReplacement

public static final SubLObject $const296$constraintOnReplacement

$list297

public static final SubLList $list297

$const298$TheSet

public static final SubLObject $const298$TheSet

$sym299$_X

public static final SubLSymbol $sym299$_X

$const300$isa

public static final SubLObject $const300$isa

$const301$unknownTermForTemplatePosition

public static final SubLObject $const301$unknownTermForTemplatePosition

$const302$candidateReplacementForPosition

public static final SubLObject $const302$candidateReplacementForPosition

$list303

public static final SubLList $list303

$const304$positionInFormulaTemplateIsReplac

public static final SubLObject $const304$positionInFormulaTemplateIsReplac

$const305$validationRequiredOnTemplatePosit

public static final SubLObject $const305$validationRequiredOnTemplatePosit

$const306$InducedFormulaTemplateTopicType

public static final SubLObject $const306$InducedFormulaTemplateTopicType

$sym307$DICTIONARY_P

public static final SubLSymbol $sym307$DICTIONARY_P

$sym308$HIGHER_PRIORITY_

public static final SubLSymbol $sym308$HIGHER_PRIORITY_

$sym309$FORT_SORT_PRED

public static final SubLSymbol $sym309$FORT_SORT_PRED

$list310

public static final SubLList $list310

$str311$higherPriorityTemplateTypeForTopi

public static final SubLString $str311$higherPriorityTemplateTypeForTopi

$list312

public static final SubLList $list312

$sym313$_HIGHER

public static final SubLSymbol $sym313$_HIGHER

$sym314$_LOWER

public static final SubLSymbol $sym314$_LOWER

$list315

public static final SubLList $list315

$const316$and

public static final SubLObject $const316$and

$list317

public static final SubLList $list317

$list318

public static final SubLList $list318

$const319$formulaTemplateTypeHasTopicType

public static final SubLObject $const319$formulaTemplateTypeHasTopicType

$list320

public static final SubLList $list320

$const321$higherPriorityTemplateForType

public static final SubLObject $const321$higherPriorityTemplateForType

$sym322$STABLE_TEMPLATE_ID_COMPARE

public static final SubLSymbol $sym322$STABLE_TEMPLATE_ID_COMPARE

$sym323$WARN

public static final SubLSymbol $sym323$WARN

$sym324$ERROR

public static final SubLSymbol $sym324$ERROR

$str325$Invalid_formula_template__A_in_to

public static final SubLString $str325$Invalid_formula_template__A_in_to

$str326$FactivoreTab

public static final SubLString $str326$FactivoreTab

$const327$FormulaTemplateTopicType

public static final SubLObject $const327$FormulaTemplateTopicType

$const328$FirstOrderCollection

public static final SubLObject $const328$FirstOrderCollection

$sym329$_TEMPLATE

public static final SubLSymbol $sym329$_TEMPLATE

$const330$formulaTemplateHasType

public static final SubLObject $const330$formulaTemplateHasType

$const331$InferencePSC

public static final SubLObject $const331$InferencePSC

$sym332$_

public static final SubLSymbol $sym332$_

$sym333$COUNT_ASSERTED_FORMULA_TEMPLATE_IDS_FOR_TYPE

public static final SubLSymbol $sym333$COUNT_ASSERTED_FORMULA_TEMPLATE_IDS_FOR_TYPE

$kw334$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw334$_MEMOIZED_ITEM_NOT_FOUND_

$list335

public static final SubLList $list335

$sym336$_SUBTOPIC

public static final SubLSymbol $sym336$_SUBTOPIC

$kw337$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw337$MAX_TRANSFORMATION_DEPTH

$kw338$MAX_TIME

public static final SubLSymbol $kw338$MAX_TIME

$sym339$_MT

public static final SubLSymbol $sym339$_MT

$const340$definingMt

public static final SubLObject $const340$definingMt

$list341

public static final SubLList $list341

$list342

public static final SubLList $list342

$const343$DataForNLMt

public static final SubLObject $const343$DataForNLMt

$sym344$FORT_OR_NAUT_P

public static final SubLSymbol $sym344$FORT_OR_NAUT_P

$const345$sourcesForTopic

public static final SubLObject $const345$sourcesForTopic

$const346$focalTermIntroduction

public static final SubLObject $const346$focalTermIntroduction

$const347$titleForFormulaTemplateType_Strin

public static final SubLObject $const347$titleForFormulaTemplateType_Strin

$const348$templateTopicPrefix

public static final SubLObject $const348$templateTopicPrefix

$const349$queryMtForTopicAssertions

public static final SubLObject $const349$queryMtForTopicAssertions

$const350$definitionalMtForTopicAssertions

public static final SubLObject $const350$definitionalMtForTopicAssertions

$sym351$SET_P

public static final SubLSymbol $sym351$SET_P

$list352

public static final SubLList $list352

$str353$knownAssertionsForTemplateTopic

public static final SubLString $str353$knownAssertionsForTemplateTopic

$str354$queryELMt

public static final SubLString $str354$queryELMt

$str355$templateInstance

public static final SubLString $str355$templateInstance

$str356$templateTopicAssertionsRevision

public static final SubLString $str356$templateTopicAssertionsRevision

$str357$knownAssertionsForTemplateSubTopi

public static final SubLString $str357$knownAssertionsForTemplateSubTopi

$list358

public static final SubLList $list358

$str359$knownAssertionsForTemplateSubTopi

public static final SubLString $str359$knownAssertionsForTemplateSubTopi

$str360$knownAssertionsForFormulaTemplate

public static final SubLString $str360$knownAssertionsForFormulaTemplate

$list361

public static final SubLList $list361

$str362$knownAssertionsForFormulaTemplate

public static final SubLString $str362$knownAssertionsForFormulaTemplate

$str363$assertionsMatchTemplate

public static final SubLString $str363$assertionsMatchTemplate

$str364$knownAssertions

public static final SubLString $str364$knownAssertions

$str365$Problem_serializing_assertions_fo

public static final SubLString $str365$Problem_serializing_assertions_fo

$sym366$ASSERTED_ASSERTION_

public static final SubLSymbol $sym366$ASSERTED_ASSERTION_

$str367$Invalid_return_object_

public static final SubLString $str367$Invalid_return_object_

$str368$_in_assertion_list

public static final SubLString $str368$_in_assertion_list

$str369$knownAssertion

public static final SubLString $str369$knownAssertion

$str370$deducedAssertion

public static final SubLString $str370$deducedAssertion

$str371$knownAssertionSUIDs

public static final SubLString $str371$knownAssertionSUIDs

$str372$knownAssertionEvaluations

public static final SubLString $str372$knownAssertionEvaluations

$list373

public static final SubLList $list373

$str374$knownAssertionEvaluation

public static final SubLString $str374$knownAssertionEvaluation

$str375$evaluator

public static final SubLString $str375$evaluator

$str376$judgment

public static final SubLString $str376$judgment

$str377$evaluationOfAssertionByOn

public static final SubLString $str377$evaluationOfAssertionByOn

$str378$evaluationOfAssertionOfByOn

public static final SubLString $str378$evaluationOfAssertionOfByOn

$list379

public static final SubLList $list379

$sym380$_EVAL

public static final SubLSymbol $sym380$_EVAL

$list381

public static final SubLList $list381

$list382

public static final SubLList $list382

$sym383$_JUDGMENT

public static final SubLSymbol $sym383$_JUDGMENT

$const384$evaluationOutputSentences

public static final SubLObject $const384$evaluationOutputSentences

$list385

public static final SubLList $list385

$str386$knownAssertionELMt

public static final SubLString $str386$knownAssertionELMt

$str387$knownAssertionCW

public static final SubLString $str387$knownAssertionCW

$sym388$MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK

public static final SubLSymbol $sym388$MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK

$kw389$PCW

public static final SubLSymbol $kw389$PCW

$const390$contextOfPCW

public static final SubLObject $const390$contextOfPCW

$sym391$_MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK_CACHING_STATE_

public static final SubLSymbol $sym391$_MAP_ELMT_TO_PUBLISHED_CONCEPTUAL_WORK_CACHING_STATE_

$list392

public static final SubLList $list392

$sym393$_POLY_ELMT

public static final SubLSymbol $sym393$_POLY_ELMT

$const394$ist_Intermediate

public static final SubLObject $const394$ist_Intermediate

$const395$MtUnionFn

public static final SubLObject $const395$MtUnionFn

$const396$RKFInteractionContextMicrotheory

public static final SubLObject $const396$RKFInteractionContextMicrotheory

$sym397$__REFSPEC

public static final SubLSymbol $sym397$__REFSPEC

$sym398$__ASSERTION

public static final SubLSymbol $sym398$__ASSERTION

$kw399$RESULT_UNIQUENESS

public static final SubLSymbol $kw399$RESULT_UNIQUENESS

$kw400$BINDINGS

public static final SubLSymbol $kw400$BINDINGS

$kw401$PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $kw401$PROBABLY_APPROXIMATELY_DONE

$float402$1_0

public static final SubLFloat $float402$1_0

$kw403$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw403$BINDINGS_AND_SUPPORTS

$kw404$ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $kw404$ALLOW_INDETERMINATE_RESULTS_

$kw405$BROWSABLE_

public static final SubLSymbol $kw405$BROWSABLE_

$sym406$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym406$RELEVANT_MT_IS_EVERYTHING

$const407$EverythingPSC

public static final SubLObject $const407$EverythingPSC

$list408

public static final SubLList $list408

$sym409$DEDUCED_ASSERTION_

public static final SubLSymbol $sym409$DEDUCED_ASSERTION_

$sym410$EL_TERM_P

public static final SubLSymbol $sym410$EL_TERM_P

$sym411$ASSERTION_P

public static final SubLSymbol $sym411$ASSERTION_P

$kw412$POLY_CANONICALIZED

public static final SubLSymbol $kw412$POLY_CANONICALIZED

$sym413$FTEMPLATE_POLYCANONICALIZED_ASSERTION_P

public static final SubLSymbol $sym413$FTEMPLATE_POLYCANONICALIZED_ASSERTION_P

$const414$equals

public static final SubLObject $const414$equals

$const415$ist

public static final SubLObject $const415$ist

$list416

public static final SubLList $list416

$sym417$_FET_ASSERTION_VAR_524

public static final SubLSymbol $sym417$_FET_ASSERTION_VAR_524

$list418

public static final SubLList $list418

$const419$assertionSentence

public static final SubLObject $const419$assertionSentence

$const420$ist_Asserted

public static final SubLObject $const420$ist_Asserted

$const421$assertionProducedByReformulation

public static final SubLObject $const421$assertionProducedByReformulation

$list422

public static final SubLList $list422

$const423$SpecsFn

public static final SubLObject $const423$SpecsFn

$const424$SomeExampleFn

public static final SubLObject $const424$SomeExampleFn

$const425$SomeExampleSpecFn

public static final SubLObject $const425$SomeExampleSpecFn

$const426$defnIff

public static final SubLObject $const426$defnIff

$const427$defnSufficient

public static final SubLObject $const427$defnSufficient

$kw428$LEXICAL_MT

public static final SubLSymbol $kw428$LEXICAL_MT

$list429

public static final SubLList $list429

$const430$genlMt

public static final SubLObject $const430$genlMt

Method Detail

template_topic_print_function_trampoline

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

arg_position_details_print_function_trampoline

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

formula_template_print_function_trampoline

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

cfasl_output_object_template_topic_method

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

cfasl_output_object_formula_template_method

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

cfasl_output_object_arg_position_details_method

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

declare_formula_templates_file

public static final SubLObject declare_formula_templates_file()

init_formula_templates_file

public static final SubLObject init_formula_templates_file()

setup_formula_templates_file

public static final SubLObject setup_formula_templates_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 Class formula_templates

me

myName

$dtp_template_topic$

$dtp_arg_position_details$

$dtp_formula_template$

$non_editable_assertions_for_template_topic_instance$

$get_assertions_from_initial_askP$

$sym0$TEMPLATE_TOPIC

$sym1$TEMPLATE_TOPIC_P

$list2

$list3

$list4

$list5

$sym6$PRINT_TEMPLATE_TOPIC

$sym7$TEMPLATE_TOPIC_PRINT_FUNCTION_TRAMPOLINE

$sym8$TEMPLATE_TOPIC_SUPERTOPIC

$sym9$_CSETF_TEMPLATE_TOPIC_SUPERTOPIC

$sym10$TEMPLATE_TOPIC_TOPIC

$sym11$_CSETF_TEMPLATE_TOPIC_TOPIC

$sym12$TEMPLATE_TOPIC_SUBTOPICS

$sym13$_CSETF_TEMPLATE_TOPIC_SUBTOPICS

$sym14$TEMPLATE_TOPIC_TEMPLATES

$sym15$_CSETF_TEMPLATE_TOPIC_TEMPLATES

$sym16$TEMPLATE_TOPIC_ORDERING

$sym17$_CSETF_TEMPLATE_TOPIC_ORDERING

$sym18$TEMPLATE_TOPIC_TITLE

$sym19$_CSETF_TEMPLATE_TOPIC_TITLE

$sym20$TEMPLATE_TOPIC_TERM_PREFIX

$sym21$_CSETF_TEMPLATE_TOPIC_TERM_PREFIX

$sym22$TEMPLATE_TOPIC_INTRO_TEMPLATE

$sym23$_CSETF_TEMPLATE_TOPIC_INTRO_TEMPLATE

$sym24$TEMPLATE_TOPIC_SOURCE_TYPES

$sym25$_CSETF_TEMPLATE_TOPIC_SOURCE_TYPES

$sym26$TEMPLATE_TOPIC_SOURCE_MT

$sym27$_CSETF_TEMPLATE_TOPIC_SOURCE_MT

$sym28$TEMPLATE_TOPIC_QUERY_MT

$sym29$_CSETF_TEMPLATE_TOPIC_QUERY_MT

$sym30$TEMPLATE_TOPIC_DEFINITIONAL_MT

$sym31$_CSETF_TEMPLATE_TOPIC_DEFINITIONAL_MT

$kw32$SUPERTOPIC

$kw33$TOPIC

$kw34$SUBTOPICS

$kw35$TEMPLATES

$kw36$ORDERING

$kw37$TITLE

$kw38$TERM_PREFIX

$kw39$INTRO_TEMPLATE

$kw40$SOURCE_TYPES

$kw41$SOURCE_MT

$kw42$QUERY_MT

$kw43$DEFINITIONAL_MT

$str44$Invalid_slot__S_for_construction_

$str45$18287931_d871_11d9_8eef_0002b3891

$sym46$CFASL_INPUT_TEMPLATE_TOPIC

$sym47$ARG_POSITION_DETAILS

$sym48$ARG_POSITION_DETAILS_P

$list49

$list50

$list51

$list52

$sym53$PRINT_ARG_POSITION_DETAILS

$sym54$ARG_POSITION_DETAILS_PRINT_FUNCTION_TRAMPOLINE

$sym55$ARG_POSITION_DETAILS_ARGUMENT_POSITION

$sym56$_CSETF_ARG_POSITION_DETAILS_ARGUMENT_POSITION

$sym57$ARG_POSITION_DETAILS_ORDERING

$sym58$_CSETF_ARG_POSITION_DETAILS_ORDERING

$sym59$ARG_POSITION_DETAILS_GLOSS

$sym60$_CSETF_ARG_POSITION_DETAILS_GLOSS

$sym61$ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

$sym62$_CSETF_ARG_POSITION_DETAILS_INVISIBLE_REPLACEMENT_POSITIONS

$sym63$ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

$sym64$_CSETF_ARG_POSITION_DETAILS_REPLACEMENT_CONSTRAINTS

$sym65$ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

$sym66$_CSETF_ARG_POSITION_DETAILS_CANDIDATE_REPLACEMENTS

$sym67$ARG_POSITION_DETAILS_IS_EDITABLE

$sym68$_CSETF_ARG_POSITION_DETAILS_IS_EDITABLE

$sym69$ARG_POSITION_DETAILS_EXPLANATION

$sym70$_CSETF_ARG_POSITION_DETAILS_EXPLANATION

$sym71$ARG_POSITION_DETAILS_REQUIRES_VALIDATION

com.cyc.cycjava.cycl
Class formula_templates