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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_worker_restriction
extends SubLTranslatedFile

Nested Class Summary

static class	inference_worker_restriction.$restriction_link_data_native
static class	inference_worker_restriction.$restriction_link_data_p$UnaryFunction
static class	inference_worker_restriction.$restriction_listening_link_data_native
static class	inference_worker_restriction.$restriction_listening_link_data_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_restriction_link_data$
static SubLSymbol	$dtp_restriction_listening_link_data$
static SubLSymbol	$kw12$BINDINGS
static SubLSymbol	$kw13$HL_MODULE
static SubLSymbol	$kw28$LISTENERS
static SubLSymbol	$kw31$RESTRICTION
static SubLSymbol	$kw32$JOIN_ORDERED
static SubLSymbol	$kw33$FREE
static SubLSymbol	$kw40$ALLOW_OTHER_KEYS
static SubLSymbol	$kw41$DONE
static SubLSymbol	$kw46$SIMPLIFICATION
static SubLList	$list17
static SubLList	$list18
static SubLList	$list19
static SubLList	$list2
static SubLList	$list20
static SubLList	$list3
static SubLList	$list38
static SubLList	$list39
static SubLList	$list4
static SubLList	$list5
static SubLSymbol	$simplification_tactics_execute_early_and_pass_down_transformation_motivationP$ When T, simplification tactics are executed early (before backchain required transformation tactics) and pass down T motivation.
static SubLString	$str14$Invalid_slot__S_for_construction_
static SubLString	$str44$No_tactic_found_for__S
static SubLSymbol	$sym0$RESTRICTION_LINK_DATA
static SubLSymbol	$sym1$RESTRICTION_LINK_DATA_P
static SubLSymbol	$sym10$RESTR_LINK_DATA_HL_MODULE
static SubLSymbol	$sym11$_CSETF_RESTR_LINK_DATA_HL_MODULE
static SubLSymbol	$sym15$RESTRICTION_LISTENING_LINK_DATA
static SubLSymbol	$sym16$RESTRICTION_LISTENING_LINK_DATA_P
static SubLSymbol	$sym21$RESTRICTION_LISTENING_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym22$RESTR_LISTEN_LINK_DATA_BINDINGS
static SubLSymbol	$sym23$_CSETF_RESTR_LISTEN_LINK_DATA_BINDINGS
static SubLSymbol	$sym24$RESTR_LISTEN_LINK_DATA_HL_MODULE
static SubLSymbol	$sym25$_CSETF_RESTR_LISTEN_LINK_DATA_HL_MODULE
static SubLSymbol	$sym26$RESTR_LISTEN_LINK_DATA_LISTENERS
static SubLSymbol	$sym27$_CSETF_RESTR_LISTEN_LINK_DATA_LISTENERS
static SubLSymbol	$sym29$PROBLEM_P
static SubLSymbol	$sym30$MAPPED_PROBLEM_P
static SubLSymbol	$sym34$RESTRICTION_LINK_P
static SubLSymbol	$sym35$BINDING_LIST_P
static SubLSymbol	$sym36$HL_MODULE_P
static SubLSymbol	$sym37$TACTIC_P
static SubLSymbol	$sym42$DO_LIST
static SubLSymbol	$sym43$RESTRICTION_LINK_LISTENERS
static SubLSymbol	$sym45$RESTRICTION_PROOF_P
static SubLSymbol	$sym6$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym7$RESTRICTION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$RESTR_LINK_DATA_BINDINGS
static SubLSymbol	$sym9$_CSETF_RESTR_LINK_DATA_BINDINGS
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

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

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

Method Summary

static SubLObject	_csetf_restr_link_data_bindings(SubLObject object, SubLObject value)
static SubLObject	bubble_up_proof_to_restriction_link(SubLObject restricted_proof, SubLObject restricted_variable_map, SubLObject restriction_link) RESTRICTION-LINK connects a restricted-problem with an unrestricted-problem.
static SubLObject	clear_restriction_link_listeners(SubLObject restriction_link)
static SubLObject	declare_inference_worker_restriction_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_worker_restriction_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_restriction_link_data(SubLObject arglist)
static SubLObject	maybe_new_restriction_link(SubLObject supported_problem, SubLObject supporting_mapped_problem, SubLObject restriction_bindings, SubLObject listening_linkP, SubLObject tactic) Creates a new restriction link between SUPPORTING-PROBLEM and SUPPORTED-PROBLEM unless there already is one.
static SubLObject	new_restriction_link_data(SubLObject restriction_link)
static SubLObject	new_restriction_link(SubLObject supported_problem, SubLObject supporting_mapped_problem, SubLObject restriction_bindings, SubLObject listening_linkP, SubLObject hl_module)
static SubLObject	new_restriction_proof(SubLObject restriction_link, SubLObject restricted_proof, SubLObject unrestricted_bindings) Called when a new unrestricted proof is needed.
static SubLObject	problem_has_a_simplificationP(SubLObject problem)
static SubLObject	problem_is_a_simplificationP(SubLObject problem)
static SubLObject	restr_link_data_bindings(SubLObject object)
static SubLObject	restr_link_data_hl_module(SubLObject object)
static SubLObject	restriction_link_bindings(SubLObject restriction_link) The first elements of these bindings are in the space of RESTRICTION-LINK's supported problem, and their second elements are in the space of RESTRICTION-LINK's unique supporting problem.
static SubLObject	restriction_link_data_p(SubLObject object)
static SubLObject	restriction_link_data_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	restriction_link_hl_module(SubLObject restriction_link)
static SubLObject	restriction_link_p(SubLObject object)
static SubLObject	restriction_listening_link_data_p(SubLObject object)
static SubLObject	restriction_listening_link_p(SubLObject object)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_restriction_link_bindings(SubLObject restriction_link, SubLObject v_bindings)
static SubLObject	setup_inference_worker_restriction_file()
static SubLObject	simplification_link_p(SubLObject object)
static SubLObject	simplification_tactic_p(SubLObject tactic)

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

public static SubLSymbol $dtp_restriction_link_data$

$dtp_restriction_listening_link_data$

public static SubLSymbol $dtp_restriction_listening_link_data$

$simplification_tactics_execute_early_and_pass_down_transformation_motivationP$

public static SubLSymbol $simplification_tactics_execute_early_and_pass_down_transformation_motivationP$

When T, simplification tactics are executed early (before backchain required transformation tactics) and pass down T motivation.

$sym0$RESTRICTION_LINK_DATA

public static final SubLSymbol $sym0$RESTRICTION_LINK_DATA

$sym1$RESTRICTION_LINK_DATA_P

public static final SubLSymbol $sym1$RESTRICTION_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$RESTRICTION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$RESTRICTION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$RESTR_LINK_DATA_BINDINGS

public static final SubLSymbol $sym8$RESTR_LINK_DATA_BINDINGS

$sym9$_CSETF_RESTR_LINK_DATA_BINDINGS

public static final SubLSymbol $sym9$_CSETF_RESTR_LINK_DATA_BINDINGS

$sym10$RESTR_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym10$RESTR_LINK_DATA_HL_MODULE

$sym11$_CSETF_RESTR_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym11$_CSETF_RESTR_LINK_DATA_HL_MODULE

$kw12$BINDINGS

public static final SubLSymbol $kw12$BINDINGS

$kw13$HL_MODULE

public static final SubLSymbol $kw13$HL_MODULE

$str14$Invalid_slot__S_for_construction_

public static final SubLString $str14$Invalid_slot__S_for_construction_

$sym15$RESTRICTION_LISTENING_LINK_DATA

public static final SubLSymbol $sym15$RESTRICTION_LISTENING_LINK_DATA

$sym16$RESTRICTION_LISTENING_LINK_DATA_P

public static final SubLSymbol $sym16$RESTRICTION_LISTENING_LINK_DATA_P

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$list20

public static final SubLList $list20

$sym21$RESTRICTION_LISTENING_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym21$RESTRICTION_LISTENING_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym22$RESTR_LISTEN_LINK_DATA_BINDINGS

public static final SubLSymbol $sym22$RESTR_LISTEN_LINK_DATA_BINDINGS

$sym23$_CSETF_RESTR_LISTEN_LINK_DATA_BINDINGS

public static final SubLSymbol $sym23$_CSETF_RESTR_LISTEN_LINK_DATA_BINDINGS

$sym24$RESTR_LISTEN_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym24$RESTR_LISTEN_LINK_DATA_HL_MODULE

$sym25$_CSETF_RESTR_LISTEN_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym25$_CSETF_RESTR_LISTEN_LINK_DATA_HL_MODULE

$sym26$RESTR_LISTEN_LINK_DATA_LISTENERS

public static final SubLSymbol $sym26$RESTR_LISTEN_LINK_DATA_LISTENERS

$sym27$_CSETF_RESTR_LISTEN_LINK_DATA_LISTENERS

public static final SubLSymbol $sym27$_CSETF_RESTR_LISTEN_LINK_DATA_LISTENERS

$kw28$LISTENERS

public static final SubLSymbol $kw28$LISTENERS

$sym29$PROBLEM_P

public static final SubLSymbol $sym29$PROBLEM_P

$sym30$MAPPED_PROBLEM_P

public static final SubLSymbol $sym30$MAPPED_PROBLEM_P

$kw31$RESTRICTION

public static final SubLSymbol $kw31$RESTRICTION

$kw32$JOIN_ORDERED

public static final SubLSymbol $kw32$JOIN_ORDERED

$kw33$FREE

public static final SubLSymbol $kw33$FREE

$sym34$RESTRICTION_LINK_P

public static final SubLSymbol $sym34$RESTRICTION_LINK_P

$sym35$BINDING_LIST_P

public static final SubLSymbol $sym35$BINDING_LIST_P

$sym36$HL_MODULE_P

public static final SubLSymbol $sym36$HL_MODULE_P

$sym37$TACTIC_P

public static final SubLSymbol $sym37$TACTIC_P

$list38

public static final SubLList $list38

$list39

public static final SubLList $list39

$kw40$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw40$ALLOW_OTHER_KEYS

$kw41$DONE

public static final SubLSymbol $kw41$DONE

$sym42$DO_LIST

public static final SubLSymbol $sym42$DO_LIST

$sym43$RESTRICTION_LINK_LISTENERS

public static final SubLSymbol $sym43$RESTRICTION_LINK_LISTENERS

$str44$No_tactic_found_for__S

public static final SubLString $str44$No_tactic_found_for__S

$sym45$RESTRICTION_PROOF_P

public static final SubLSymbol $sym45$RESTRICTION_PROOF_P

$kw46$SIMPLIFICATION

public static final SubLSymbol $kw46$SIMPLIFICATION

Method Detail

restriction_link_data_print_function_trampoline

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

restriction_link_data_p

public static final SubLObject restriction_link_data_p(SubLObject object)

restr_link_data_bindings

public static final SubLObject restr_link_data_bindings(SubLObject object)

restr_link_data_hl_module

public static final SubLObject restr_link_data_hl_module(SubLObject object)

_csetf_restr_link_data_bindings

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

make_restriction_link_data

public static final SubLObject make_restriction_link_data(SubLObject arglist)

restriction_listening_link_data_p

public static final SubLObject restriction_listening_link_data_p(SubLObject object)

new_restriction_link

public static final SubLObject new_restriction_link(SubLObject supported_problem,
                                                    SubLObject supporting_mapped_problem,
                                                    SubLObject restriction_bindings,
                                                    SubLObject listening_linkP,
                                                    SubLObject hl_module)

Parameters:

RESTRICTION-BINDINGS - binding-list-p; SUPPORTED-PROBLEM's vars -> restriction. i.e. bindings to substitute into SUPPORTED-PROBLEM to restrict it.

Returns:

restriction-link-p;

new_restriction_link_data

public static final SubLObject new_restriction_link_data(SubLObject restriction_link)

restriction_link_bindings

public static final SubLObject restriction_link_bindings(SubLObject restriction_link)

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

restriction_link_hl_module

public static final SubLObject restriction_link_hl_module(SubLObject restriction_link)

set_restriction_link_bindings

public static final SubLObject set_restriction_link_bindings(SubLObject restriction_link,
                                                             SubLObject v_bindings)

Parameters:

RESTRICTION-BINDINGS; - RESTRICTION-LINK's supported problem vars -> restriction

clear_restriction_link_listeners

public static final SubLObject clear_restriction_link_listeners(SubLObject restriction_link)

restriction_listening_link_p

public static final SubLObject restriction_listening_link_p(SubLObject object)

Returns:

booleanp; Whether OBJECT is a listening restriction link.

restriction_link_p

public static final SubLObject restriction_link_p(SubLObject object)

maybe_new_restriction_link

public static final SubLObject maybe_new_restriction_link(SubLObject supported_problem,
                                                          SubLObject supporting_mapped_problem,
                                                          SubLObject restriction_bindings,
                                                          SubLObject listening_linkP,
                                                          SubLObject tactic)

Creates a new restriction link between SUPPORTING-PROBLEM and SUPPORTED-PROBLEM unless there already is one.

bubble_up_proof_to_restriction_link

public static final SubLObject bubble_up_proof_to_restriction_link(SubLObject restricted_proof,
                                                                   SubLObject restricted_variable_map,
                                                                   SubLObject restriction_link)

RESTRICTION-LINK connects a restricted-problem with an unrestricted-problem. This function bubbles up RESTRICTED-PROOF to the unrestricted-problem via RESTRICTION-LINK.

Parameters:

RESTRICTED-VARIABLE-MAP; - restricted problem's vars -> unrestricted-problem's vars

new_restriction_proof

public static final SubLObject new_restriction_proof(SubLObject restriction_link,
                                                     SubLObject restricted_proof,
                                                     SubLObject unrestricted_bindings)

Called when a new unrestricted proof is needed.

Parameters:

RESTRICTION-BINDINGS; - RESTRICTION-LINK's supported problem vars -> restriction

Returns:

0 proof-p

simplification_tactic_p

public static final SubLObject simplification_tactic_p(SubLObject tactic)

simplification_link_p

public static final SubLObject simplification_link_p(SubLObject object)

problem_is_a_simplificationP

public static final SubLObject problem_is_a_simplificationP(SubLObject problem)

problem_has_a_simplificationP

public static final SubLObject problem_has_a_simplificationP(SubLObject problem)

declare_inference_worker_restriction_file

public static final SubLObject declare_inference_worker_restriction_file()

init_inference_worker_restriction_file

public static final SubLObject init_inference_worker_restriction_file()

setup_inference_worker_restriction_file

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