SCs Formalization Template

// Для абсолютного понятия:
absolute_concept
	=> nrel_main_idtf:
		[absolute concept](*<- lang_en;;*);
		[абсолютное понятия](*<- lang_ru;;*);
	<- rrel_key_sc_element:...
		(*
			<- sc_definition;;
			=> nrel_main_idtf: [Definition (absolute concept)](*<- lang_en;;*);;
			=> nrel_main_idtf: [Определение (абсолютное понятие)](*<- lang_ru;;*);;
			<= nrel_sc_text_translation:...
				(*
					-> rrel_example:
						[Это русскоязычный текст определения. Он может содержать форматированный текст в виде HTML-разметки. Например:
						<b>Жирный</b>
						<i>Курсив</b>
						<u>Подчёркнутый</u>
						<p>Это новый абзац</p>
						Ниже маркированный список
						<ul>
							<li>Первый пункт</li>
							<li>Второй пункт</li>
						</ul>
						Вот нумерованный список
						<ol>
							<li>Первый пункт</li>
							<li>Второй пункт</li>
						</ol>
						Ну и т.д. и т.п.] 
						(*
							<- lang_ru;;
							=> nrel_format: format_html;;
						*);;
					*);;
		*);
	<- rrel_key_sc_element:...
		(*
			<- sc_statement;;
			=> nrel_main_idtf: [Statement name](*<- lang_en;;*);;
			=> nrel_main_idtf: [Название утверждения](*<- lang_ru;;*);;
			<= nrel_sc_text_translation:...
				(*
					-> rrel_example:
						[Русскоязычный текст утверждения в HTML-формате.] 
						(*
							<- lang_ru;;
							=> nrel_format: format_html;;
						*);;
					*);;
		*);
	=> nrel_inclusion: absolute_concept_subsets;
	<= nrel_inclusion: absolute_concept_supersets;
	<= nrel_using_constants:
		{
			some_concept1;
			some_concept2
		};;
		
// Для неролевого отношения. Аналогично абсолютному понятию, но первые 3 связки обязательны. Также желательно указать домены. Но, как и многое, не всегда понятно, какие они.
nrel_some_concept
	<- sc_node_norole_relation;
	<- sc_type_norole_relation;
	<- binary_relation;
	=> nrel_main_idtf:
		[some concept*](*<- lang_en;;*);
		[какое-то понятие*](*<- lang_ru;;*);
	=> nrel_first_domain: some_concept1;
	=> nrel_second_domain: some_concept2;;
	
// Для ролевого отношения. Аналогично абсолютному понятию, но первые 3 связки обязательны. Также желательно указать домены. Но, как и многое, не всегда понятно, какие они.
rrel_some_concept
	<- sc_node_role_relation;
	<- sc_type_role_relation;
	<- binary_relation;
	=> nrel_main_idtf:
		[some concept'](*<- lang_en;;*);
		[какое-то понятие'](*<- lang_ru;;*);
	=> nrel_first_domain: some_concept1;
	=> nrel_second_domain: some_concept2;;