my_onto.pl

%% <module> ctrlstrct
% Autogenerated by rdfs2pl -- see https://github.com/cmungall/rdfs2pl/

:-module(ctrlstrct,[actEndsWithoutStart/1,actStartsAfterItsEnd/1,allFalseNoElse/1,allFalseNoEnd/1,altBegin/1,altBranchBegin/1,altElseBranchBegin/1,altEndAfterBranch/1,altEndAllFalse/1,anotherExtraBranch/1,branchOfFalseCondition/1,conditionAfterBranch/1,correspondingEndMismatched/1,correspondingEndPerformedDifferentTime/1,debugObj/1,displacedAct/1,duplicateOfAct/1,erroneous/1,exprEnd/1,extraAct/1,functionBegin/1,functionBodyBegin/1,functionEnd/1,globalCodeBegin/1,iterationAfterFailedCondition/1,iterationBeginOnFalseCond/1,iterationBeginOnTrueCond/1,loopBodyAfterUpdate/1,loopCondAfterUpdate/1,loopCondBeginAfterInit/1,loopCondBeginAfterIteration/1,loopUpdateAfterIteration/1,loopUpdateOnTrueCond/1,loopWithInitBegin/1,misplacedAfter/1,misplacedBefore/1,misplacedDeeper/1,missingAct/1,missingIterationAfterSuccessfulCondition/1,missingLoopEndAfterFailedCondition/1,nextAltCondition/1,noBranchWhenConditionIsTrue/1,noFirstCondition/1,noNextCondition/1,normalLoopEnd/1,postCondLoopBegin/1,preCondLoopBegin/1,sequenceBegin/1,sequenceEnd/1,sequenceNext/1,stmtEnd/1,tooEarly/1,tooEarlyInSequence/1,wrongBranch/1,wrongContext/1,wrongExecTime/1,act/1,act_begin/1,act_end/1,algorithm/1,alt_branch/1,alternative/1,body_then_cond/1,breaking_flow_correct_act/1,cond_then_body/1,conditional_loop/1,correct_act/1,do_until_loop/1,do_while_loop/1,else/1,else_if/1,expr/1,first_item/1,for_loop/1,foreach_loop/1,func/1,if/1,infinite_loop/1,inverse_conditional_loop/1,last_item/1,linked_list/1,loop/1,loop_with_initialization/1,normal_flow_correct_act/1,post_conditional_loop/1,post_update_loop/1,pre_conditional_loop/1,pre_update_loop/1,sequence/1,stmt/1,trace/1,unconditional_loop/1,while_loop/1,after_act/2,algorithm_name/2,body/2,body_item/2,branches_item/2,cause/2,cause2/2,cond/2,context_should_be/2,corresponding_end/2,entry_point/2,exec_time/2,executes/2,expr_value/2,functions_item/2,global_code/2,id/2,in_trace/2,index/2,init/2,iteration_n/2,next/2,next_act/2,next_sibling/2,parent_of/2,precursor/2,should_be/2,should_be_after/2,should_be_before/2,stmt_name/2,student_corresponding_end/2,student_index/2,student_iteration_n/2,student_next/2,student_parent_of/2,text_line/2,update/2,after_act/3,algorithm_name/3,body/3,body_item/3,branches_item/3,cause/3,cause2/3,cond/3,context_should_be/3,corresponding_end/3,entry_point/3,exec_time/3,executes/3,expr_value/3,functions_item/3,global_code/3,id/3,in_trace/3,index/3,init/3,iteration_n/3,next/3,next_act/3,next_sibling/3,parent_of/3,precursor/3,should_be/3,should_be_after/3,should_be_before/3,stmt_name/3,student_corresponding_end/3,student_index/3,student_iteration_n/3,student_next/3,student_parent_of/3,text_line/3,update/3,op(300,xfy,after_act),op(300,xfy,algorithm_name),op(300,xfy,body),op(300,xfy,body_item),op(300,xfy,branches_item),op(300,xfy,cause),op(300,xfy,cause2),op(300,xfy,cond),op(300,xfy,context_should_be),op(300,xfy,corresponding_end),op(300,xfy,entry_point),op(300,xfy,exec_time),op(300,xfy,executes),op(300,xfy,expr_value),op(300,xfy,functions_item),op(300,xfy,global_code),op(300,xfy,id),op(300,xfy,in_trace),op(300,xfy,index),op(300,xfy,init),op(300,xfy,iteration_n),op(300,xfy,next),op(300,xfy,next_act),op(300,xfy,next_sibling),op(300,xfy,parent_of),op(300,xfy,precursor),op(300,xfy,should_be),op(300,xfy,should_be_after),op(300,xfy,should_be_before),op(300,xfy,stmt_name),op(300,xfy,student_corresponding_end),op(300,xfy,student_index),op(300,xfy,student_iteration_n),op(300,xfy,student_next),op(300,xfy,student_parent_of),op(300,xfy,text_line),op(300,xfy,update)]).
:-use_module(library(semweb/rdf11)).
:-use_module(library(semweb/rdfs)).

:-op(300,xfy,after_act).
:-op(300,xfy,algorithm_name).
:-op(300,xfy,body).
:-op(300,xfy,body_item).
:-op(300,xfy,branches_item).
:-op(300,xfy,cause).
:-op(300,xfy,cause2).
:-op(300,xfy,cond).
:-op(300,xfy,context_should_be).
:-op(300,xfy,corresponding_end).
:-op(300,xfy,entry_point).
:-op(300,xfy,exec_time).
:-op(300,xfy,executes).
:-op(300,xfy,expr_value).
:-op(300,xfy,functions_item).
:-op(300,xfy,global_code).
:-op(300,xfy,id).
:-op(300,xfy,in_trace).
:-op(300,xfy,index).
:-op(300,xfy,init).
:-op(300,xfy,iteration_n).
:-op(300,xfy,next).
:-op(300,xfy,next_act).
:-op(300,xfy,next_sibling).
:-op(300,xfy,parent_of).
:-op(300,xfy,precursor).
:-op(300,xfy,should_be).
:-op(300,xfy,should_be_after).
:-op(300,xfy,should_be_before).
:-op(300,xfy,stmt_name).
:-op(300,xfy,student_corresponding_end).
:-op(300,xfy,student_index).
:-op(300,xfy,student_iteration_n).
:-op(300,xfy,student_next).
:-op(300,xfy,student_parent_of).
:-op(300,xfy,text_line).
:-op(300,xfy,update).

:-rdf_meta ctrlstrct:act(r).

:-rdf_meta ctrlstrct:actEndsWithoutStart(r).

:-rdf_meta ctrlstrct:actStartsAfterItsEnd(r).

:-rdf_meta ctrlstrct:act_begin(r).

:-rdf_meta ctrlstrct:act_end(r).

:-rdf_meta ctrlstrct:algorithm(r).

:-rdf_meta ctrlstrct:allFalseNoElse(r).

:-rdf_meta ctrlstrct:allFalseNoEnd(r).

:-rdf_meta ctrlstrct:altBegin(r).

:-rdf_meta ctrlstrct:altBranchBegin(r).

:-rdf_meta ctrlstrct:altElseBranchBegin(r).

:-rdf_meta ctrlstrct:altEndAfterBranch(r).

:-rdf_meta ctrlstrct:altEndAllFalse(r).

:-rdf_meta ctrlstrct:alt_branch(r).

:-rdf_meta ctrlstrct:alternative(r).

:-rdf_meta ctrlstrct:anotherExtraBranch(r).

:-rdf_meta ctrlstrct:body_then_cond(r).

:-rdf_meta ctrlstrct:branchOfFalseCondition(r).

:-rdf_meta ctrlstrct:breaking_flow_correct_act(r).

:-rdf_meta ctrlstrct:cond_then_body(r).

:-rdf_meta ctrlstrct:conditionAfterBranch(r).

:-rdf_meta ctrlstrct:conditional_loop(r).

:-rdf_meta ctrlstrct:correct_act(r).

:-rdf_meta ctrlstrct:correspondingEndMismatched(r).

:-rdf_meta ctrlstrct:correspondingEndPerformedDifferentTime(r).

:-rdf_meta ctrlstrct:debugObj(r).

:-rdf_meta ctrlstrct:displacedAct(r).

:-rdf_meta ctrlstrct:do_until_loop(r).

:-rdf_meta ctrlstrct:do_while_loop(r).

:-rdf_meta ctrlstrct:duplicateOfAct(r).

:-rdf_meta ctrlstrct:else(r).

:-rdf_meta ctrlstrct:else_if(r).

:-rdf_meta ctrlstrct:erroneous(r).

:-rdf_meta ctrlstrct:expr(r).

:-rdf_meta ctrlstrct:exprEnd(r).

:-rdf_meta ctrlstrct:extraAct(r).

:-rdf_meta ctrlstrct:first_item(r).

:-rdf_meta ctrlstrct:for_loop(r).

:-rdf_meta ctrlstrct:foreach_loop(r).

:-rdf_meta ctrlstrct:func(r).

:-rdf_meta ctrlstrct:functionBegin(r).

:-rdf_meta ctrlstrct:functionBodyBegin(r).

:-rdf_meta ctrlstrct:functionEnd(r).

:-rdf_meta ctrlstrct:globalCodeBegin(r).

:-rdf_meta ctrlstrct:if(r).

:-rdf_meta ctrlstrct:infinite_loop(r).

:-rdf_meta ctrlstrct:inverse_conditional_loop(r).

:-rdf_meta ctrlstrct:iterationAfterFailedCondition(r).

:-rdf_meta ctrlstrct:iterationBeginOnFalseCond(r).

:-rdf_meta ctrlstrct:iterationBeginOnTrueCond(r).

:-rdf_meta ctrlstrct:last_item(r).

:-rdf_meta ctrlstrct:linked_list(r).

:-rdf_meta ctrlstrct:loop(r).

:-rdf_meta ctrlstrct:loopBodyAfterUpdate(r).

:-rdf_meta ctrlstrct:loopCondAfterUpdate(r).

:-rdf_meta ctrlstrct:loopCondBeginAfterInit(r).

:-rdf_meta ctrlstrct:loopCondBeginAfterIteration(r).

:-rdf_meta ctrlstrct:loopUpdateAfterIteration(r).

:-rdf_meta ctrlstrct:loopUpdateOnTrueCond(r).

:-rdf_meta ctrlstrct:loopWithInitBegin(r).

:-rdf_meta ctrlstrct:loop_with_initialization(r).

:-rdf_meta ctrlstrct:misplacedAfter(r).

:-rdf_meta ctrlstrct:misplacedBefore(r).

:-rdf_meta ctrlstrct:misplacedDeeper(r).

:-rdf_meta ctrlstrct:missingAct(r).

:-rdf_meta ctrlstrct:missingIterationAfterSuccessfulCondition(r).

:-rdf_meta ctrlstrct:missingLoopEndAfterFailedCondition(r).

:-rdf_meta ctrlstrct:nextAltCondition(r).

:-rdf_meta ctrlstrct:noBranchWhenConditionIsTrue(r).

:-rdf_meta ctrlstrct:noFirstCondition(r).

:-rdf_meta ctrlstrct:noNextCondition(r).

:-rdf_meta ctrlstrct:normalLoopEnd(r).

:-rdf_meta ctrlstrct:normal_flow_correct_act(r).

:-rdf_meta ctrlstrct:postCondLoopBegin(r).

:-rdf_meta ctrlstrct:post_conditional_loop(r).

:-rdf_meta ctrlstrct:post_update_loop(r).

:-rdf_meta ctrlstrct:preCondLoopBegin(r).

:-rdf_meta ctrlstrct:pre_conditional_loop(r).

:-rdf_meta ctrlstrct:pre_update_loop(r).

:-rdf_meta ctrlstrct:sequence(r).

:-rdf_meta ctrlstrct:sequenceBegin(r).

:-rdf_meta ctrlstrct:sequenceEnd(r).

:-rdf_meta ctrlstrct:sequenceNext(r).

:-rdf_meta ctrlstrct:stmt(r).

:-rdf_meta ctrlstrct:stmtEnd(r).

:-rdf_meta ctrlstrct:tooEarly(r).

:-rdf_meta ctrlstrct:tooEarlyInSequence(r).

:-rdf_meta ctrlstrct:trace(r).

:-rdf_meta ctrlstrct:unconditional_loop(r).

:-rdf_meta ctrlstrct:while_loop(r).

:-rdf_meta ctrlstrct:wrongBranch(r).

:-rdf_meta ctrlstrct:wrongContext(r).

:-rdf_meta ctrlstrct:wrongExecTime(r).

:-rdf_meta ctrlstrct:after_act(r,r).

:-rdf_meta ctrlstrct:algorithm_name(r,r).

:-rdf_meta ctrlstrct:body(r,r).

:-rdf_meta ctrlstrct:body_item(r,r).

:-rdf_meta ctrlstrct:branches_item(r,r).

:-rdf_meta ctrlstrct:cause(r,r).

:-rdf_meta ctrlstrct:cause2(r,r).

:-rdf_meta ctrlstrct:cond(r,r).

:-rdf_meta ctrlstrct:context_should_be(r,r).

:-rdf_meta ctrlstrct:corresponding_end(r,r).

:-rdf_meta ctrlstrct:entry_point(r,r).

:-rdf_meta ctrlstrct:exec_time(r,r).

:-rdf_meta ctrlstrct:executes(r,r).

:-rdf_meta ctrlstrct:expr_value(r,r).

:-rdf_meta ctrlstrct:functions_item(r,r).

:-rdf_meta ctrlstrct:global_code(r,r).

:-rdf_meta ctrlstrct:id(r,r).

:-rdf_meta ctrlstrct:in_trace(r,r).

:-rdf_meta ctrlstrct:index(r,r).

:-rdf_meta ctrlstrct:init(r,r).

:-rdf_meta ctrlstrct:iteration_n(r,r).

:-rdf_meta ctrlstrct:next(r,r).

:-rdf_meta ctrlstrct:next_act(r,r).

:-rdf_meta ctrlstrct:next_sibling(r,r).

:-rdf_meta ctrlstrct:parent_of(r,r).

:-rdf_meta ctrlstrct:precursor(r,r).

:-rdf_meta ctrlstrct:should_be(r,r).

:-rdf_meta ctrlstrct:should_be_after(r,r).

:-rdf_meta ctrlstrct:should_be_before(r,r).

:-rdf_meta ctrlstrct:stmt_name(r,r).

:-rdf_meta ctrlstrct:student_corresponding_end(r,r).

:-rdf_meta ctrlstrct:student_index(r,r).

:-rdf_meta ctrlstrct:student_iteration_n(r,r).

:-rdf_meta ctrlstrct:student_next(r,r).

:-rdf_meta ctrlstrct:student_parent_of(r,r).

:-rdf_meta ctrlstrct:subclass_of_after_act(r,r).

:-rdf_meta ctrlstrct:subclass_of_body(r,r).

:-rdf_meta ctrlstrct:subclass_of_body_item(r,r).

:-rdf_meta ctrlstrct:subclass_of_branches_item(r,r).

:-rdf_meta ctrlstrct:subclass_of_cause(r,r).

:-rdf_meta ctrlstrct:subclass_of_cause2(r,r).

:-rdf_meta ctrlstrct:subclass_of_cond(r,r).

:-rdf_meta ctrlstrct:subclass_of_context_should_be(r,r).

:-rdf_meta ctrlstrct:subclass_of_corresponding_end(r,r).

:-rdf_meta ctrlstrct:subclass_of_entry_point(r,r).

:-rdf_meta ctrlstrct:subclass_of_executes(r,r).

:-rdf_meta ctrlstrct:subclass_of_functions_item(r,r).

:-rdf_meta ctrlstrct:subclass_of_global_code(r,r).

:-rdf_meta ctrlstrct:subclass_of_in_trace(r,r).

:-rdf_meta ctrlstrct:subclass_of_init(r,r).

:-rdf_meta ctrlstrct:subclass_of_next(r,r).

:-rdf_meta ctrlstrct:subclass_of_next_act(r,r).

:-rdf_meta ctrlstrct:subclass_of_next_sibling(r,r).

:-rdf_meta ctrlstrct:subclass_of_parent_of(r,r).

:-rdf_meta ctrlstrct:subclass_of_precursor(r,r).

:-rdf_meta ctrlstrct:subclass_of_should_be(r,r).

:-rdf_meta ctrlstrct:subclass_of_should_be_after(r,r).

:-rdf_meta ctrlstrct:subclass_of_should_be_before(r,r).

:-rdf_meta ctrlstrct:subclass_of_student_corresponding_end(r,r).

:-rdf_meta ctrlstrct:subclass_of_student_next(r,r).

:-rdf_meta ctrlstrct:subclass_of_student_parent_of(r,r).

:-rdf_meta ctrlstrct:subclass_of_update(r,r).

:-rdf_meta ctrlstrct:text_line(r,r).

:-rdf_meta ctrlstrct:update(r,r).

:-rdf_meta ctrlstrct:after_act(r,r,g).

:-rdf_meta ctrlstrct:algorithm_name(r,r,g).

:-rdf_meta ctrlstrct:body(r,r,g).

:-rdf_meta ctrlstrct:body_item(r,r,g).

:-rdf_meta ctrlstrct:branches_item(r,r,g).

:-rdf_meta ctrlstrct:cause(r,r,g).

:-rdf_meta ctrlstrct:cause2(r,r,g).

:-rdf_meta ctrlstrct:cond(r,r,g).

:-rdf_meta ctrlstrct:context_should_be(r,r,g).

:-rdf_meta ctrlstrct:corresponding_end(r,r,g).

:-rdf_meta ctrlstrct:entry_point(r,r,g).

:-rdf_meta ctrlstrct:exec_time(r,r,g).

:-rdf_meta ctrlstrct:executes(r,r,g).

:-rdf_meta ctrlstrct:expr_value(r,r,g).

:-rdf_meta ctrlstrct:functions_item(r,r,g).

:-rdf_meta ctrlstrct:global_code(r,r,g).

:-rdf_meta ctrlstrct:id(r,r,g).

:-rdf_meta ctrlstrct:in_trace(r,r,g).

:-rdf_meta ctrlstrct:index(r,r,g).

:-rdf_meta ctrlstrct:init(r,r,g).

:-rdf_meta ctrlstrct:iteration_n(r,r,g).

:-rdf_meta ctrlstrct:next(r,r,g).

:-rdf_meta ctrlstrct:next_act(r,r,g).

:-rdf_meta ctrlstrct:next_sibling(r,r,g).

:-rdf_meta ctrlstrct:parent_of(r,r,g).

:-rdf_meta ctrlstrct:precursor(r,r,g).

:-rdf_meta ctrlstrct:should_be(r,r,g).

:-rdf_meta ctrlstrct:should_be_after(r,r,g).

:-rdf_meta ctrlstrct:should_be_before(r,r,g).

:-rdf_meta ctrlstrct:stmt_name(r,r,g).

:-rdf_meta ctrlstrct:student_corresponding_end(r,r,g).

:-rdf_meta ctrlstrct:student_index(r,r,g).

:-rdf_meta ctrlstrct:student_iteration_n(r,r,g).

:-rdf_meta ctrlstrct:student_next(r,r,g).

:-rdf_meta ctrlstrct:student_parent_of(r,r,g).

:-rdf_meta ctrlstrct:text_line(r,r,g).

:-rdf_meta ctrlstrct:update(r,r,g).

%! act(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#act>
%
ctrlstrct:act(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#act').

%! actEndsWithoutStart(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#ActEndsWithoutStart>
%
ctrlstrct:actEndsWithoutStart(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#ActEndsWithoutStart').

%! actStartsAfterItsEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#ActStartsAfterItsEnd>
%
ctrlstrct:actStartsAfterItsEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#ActStartsAfterItsEnd').

%! act_begin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#act_begin>
%
ctrlstrct:act_begin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#act_begin').

%! act_end(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#act_end>
%
ctrlstrct:act_end(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#act_end').

%! algorithm(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#algorithm>
%
ctrlstrct:algorithm(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#algorithm').

%! allFalseNoElse(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AllFalseNoElse>
%
ctrlstrct:allFalseNoElse(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AllFalseNoElse').

%! allFalseNoEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AllFalseNoEnd>
%
ctrlstrct:allFalseNoEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AllFalseNoEnd').

%! altBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltBegin>
%
ctrlstrct:altBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltBegin').

%! altBranchBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltBranchBegin>
%
ctrlstrct:altBranchBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltBranchBegin').

%! altElseBranchBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltElseBranchBegin>
%
ctrlstrct:altElseBranchBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltElseBranchBegin').

%! altEndAfterBranch(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltEndAfterBranch>
%
ctrlstrct:altEndAfterBranch(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltEndAfterBranch').

%! altEndAllFalse(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltEndAllFalse>
%
ctrlstrct:altEndAllFalse(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AltEndAllFalse').

%! alt_branch(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#alt_branch>
%
ctrlstrct:alt_branch(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#alt_branch').

%! alternative(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#alternative>
%
ctrlstrct:alternative(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#alternative').

%! anotherExtraBranch(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#AnotherExtraBranch>
%
ctrlstrct:anotherExtraBranch(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#AnotherExtraBranch').

%! body_then_cond(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_then_cond>
%
ctrlstrct:body_then_cond(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_then_cond').

%! branchOfFalseCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#BranchOfFalseCondition>
%
ctrlstrct:branchOfFalseCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#BranchOfFalseCondition').

%! breaking_flow_correct_act(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#breaking_flow_correct_act>
%
ctrlstrct:breaking_flow_correct_act(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#breaking_flow_correct_act').

%! cond_then_body(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond_then_body>
%
ctrlstrct:cond_then_body(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond_then_body').

%! conditionAfterBranch(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#ConditionAfterBranch>
%
ctrlstrct:conditionAfterBranch(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#ConditionAfterBranch').

%! conditional_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#conditional_loop>
%
ctrlstrct:conditional_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#conditional_loop').

%! correct_act(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#correct_act>
%
ctrlstrct:correct_act(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#correct_act').

%! correspondingEndMismatched(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#CorrespondingEndMismatched>
%
ctrlstrct:correspondingEndMismatched(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#CorrespondingEndMismatched').

%! correspondingEndPerformedDifferentTime(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#CorrespondingEndPerformedDifferentTime>
%
ctrlstrct:correspondingEndPerformedDifferentTime(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#CorrespondingEndPerformedDifferentTime').

%! debugObj(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#DebugObj>
%
ctrlstrct:debugObj(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#DebugObj').

%! displacedAct(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#DisplacedAct>
%
ctrlstrct:displacedAct(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#DisplacedAct').

%! do_until_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#do_until_loop>
%
ctrlstrct:do_until_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#do_until_loop').

%! do_while_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#do_while_loop>
%
ctrlstrct:do_while_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#do_while_loop').

%! duplicateOfAct(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#DuplicateOfAct>
%
ctrlstrct:duplicateOfAct(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#DuplicateOfAct').

%! else(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#else>
%
ctrlstrct:else(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#else').

%! else_if(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#else-if>
%
ctrlstrct:else_if(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#else-if').

%! erroneous(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#Erroneous>
%
ctrlstrct:erroneous(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#Erroneous').

%! expr(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#expr>
%
ctrlstrct:expr(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#expr').

%! exprEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#ExprEnd>
%
ctrlstrct:exprEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#ExprEnd').

%! extraAct(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#ExtraAct>
%
ctrlstrct:extraAct(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#ExtraAct').

%! first_item(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#first_item>
%
ctrlstrct:first_item(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#first_item').

%! for_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#for_loop>
%
ctrlstrct:for_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#for_loop').

%! foreach_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#foreach_loop>
%
ctrlstrct:foreach_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#foreach_loop').

%! func(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#func>
%
ctrlstrct:func(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#func').

%! functionBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionBegin>
%
ctrlstrct:functionBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionBegin').

%! functionBodyBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionBodyBegin>
%
ctrlstrct:functionBodyBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionBodyBegin').

%! functionEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionEnd>
%
ctrlstrct:functionEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#FunctionEnd').

%! globalCodeBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#GlobalCodeBegin>
%
ctrlstrct:globalCodeBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#GlobalCodeBegin').

%! if(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#if>
%
ctrlstrct:if(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#if').

%! infinite_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#infinite_loop>
%
ctrlstrct:infinite_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#infinite_loop').

%! inverse_conditional_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#inverse_conditional_loop>
%
ctrlstrct:inverse_conditional_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#inverse_conditional_loop').

%! iterationAfterFailedCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationAfterFailedCondition>
%
ctrlstrct:iterationAfterFailedCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationAfterFailedCondition').

%! iterationBeginOnFalseCond(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationBeginOnFalseCond>
%
ctrlstrct:iterationBeginOnFalseCond(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationBeginOnFalseCond').

%! iterationBeginOnTrueCond(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationBeginOnTrueCond>
%
ctrlstrct:iterationBeginOnTrueCond(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#IterationBeginOnTrueCond').

%! last_item(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#last_item>
%
ctrlstrct:last_item(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#last_item').

%! linked_list(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#linked_list>
%
ctrlstrct:linked_list(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#linked_list').

%! loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#loop>
%
ctrlstrct:loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#loop').

%! loopBodyAfterUpdate(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopBodyAfterUpdate>
%
ctrlstrct:loopBodyAfterUpdate(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopBodyAfterUpdate').

%! loopCondAfterUpdate(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondAfterUpdate>
%
ctrlstrct:loopCondAfterUpdate(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondAfterUpdate').

%! loopCondBeginAfterInit(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondBeginAfterInit>
%
ctrlstrct:loopCondBeginAfterInit(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondBeginAfterInit').

%! loopCondBeginAfterIteration(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondBeginAfterIteration>
%
ctrlstrct:loopCondBeginAfterIteration(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopCondBeginAfterIteration').

%! loopUpdateAfterIteration(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopUpdateAfterIteration>
%
ctrlstrct:loopUpdateAfterIteration(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopUpdateAfterIteration').

%! loopUpdateOnTrueCond(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopUpdateOnTrueCond>
%
ctrlstrct:loopUpdateOnTrueCond(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopUpdateOnTrueCond').

%! loopWithInitBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopWithInitBegin>
%
ctrlstrct:loopWithInitBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#LoopWithInitBegin').

%! loop_with_initialization(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#loop_with_initialization>
%
ctrlstrct:loop_with_initialization(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#loop_with_initialization').

%! misplacedAfter(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedAfter>
%
ctrlstrct:misplacedAfter(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedAfter').

%! misplacedBefore(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedBefore>
%
ctrlstrct:misplacedBefore(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedBefore').

%! misplacedDeeper(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedDeeper>
%
ctrlstrct:misplacedDeeper(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MisplacedDeeper').

%! missingAct(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingAct>
%
ctrlstrct:missingAct(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingAct').

%! missingIterationAfterSuccessfulCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingIterationAfterSuccessfulCondition>
%
ctrlstrct:missingIterationAfterSuccessfulCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingIterationAfterSuccessfulCondition').

%! missingLoopEndAfterFailedCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingLoopEndAfterFailedCondition>
%
ctrlstrct:missingLoopEndAfterFailedCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#MissingLoopEndAfterFailedCondition').

%! nextAltCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#NextAltCondition>
%
ctrlstrct:nextAltCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#NextAltCondition').

%! noBranchWhenConditionIsTrue(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoBranchWhenConditionIsTrue>
%
ctrlstrct:noBranchWhenConditionIsTrue(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoBranchWhenConditionIsTrue').

%! noFirstCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoFirstCondition>
%
ctrlstrct:noFirstCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoFirstCondition').

%! noNextCondition(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoNextCondition>
%
ctrlstrct:noNextCondition(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#NoNextCondition').

%! normalLoopEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#NormalLoopEnd>
%
ctrlstrct:normalLoopEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#NormalLoopEnd').

%! normal_flow_correct_act(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#normal_flow_correct_act>
%
ctrlstrct:normal_flow_correct_act(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#normal_flow_correct_act').

%! postCondLoopBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#PostCondLoopBegin>
%
ctrlstrct:postCondLoopBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#PostCondLoopBegin').

%! post_conditional_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#post_conditional_loop>
%
ctrlstrct:post_conditional_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#post_conditional_loop').

%! post_update_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#post_update_loop>
%
ctrlstrct:post_update_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#post_update_loop').

%! preCondLoopBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#PreCondLoopBegin>
%
ctrlstrct:preCondLoopBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#PreCondLoopBegin').

%! pre_conditional_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#pre_conditional_loop>
%
ctrlstrct:pre_conditional_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#pre_conditional_loop').

%! pre_update_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#pre_update_loop>
%
ctrlstrct:pre_update_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#pre_update_loop').

%! sequence(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#sequence>
%
ctrlstrct:sequence(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#sequence').

%! sequenceBegin(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceBegin>
%
ctrlstrct:sequenceBegin(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceBegin').

%! sequenceEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceEnd>
%
ctrlstrct:sequenceEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceEnd').

%! sequenceNext(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceNext>
%
ctrlstrct:sequenceNext(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#SequenceNext').

%! stmt(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#stmt>
%
ctrlstrct:stmt(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#stmt').

%! stmtEnd(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#StmtEnd>
%
ctrlstrct:stmtEnd(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#StmtEnd').

%! tooEarly(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#TooEarly>
%
ctrlstrct:tooEarly(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#TooEarly').

%! tooEarlyInSequence(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#TooEarlyInSequence>
%
ctrlstrct:tooEarlyInSequence(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#TooEarlyInSequence').

%! trace(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#trace>
%
ctrlstrct:trace(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#trace').

%! unconditional_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#unconditional_loop>
%
ctrlstrct:unconditional_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#unconditional_loop').

%! while_loop(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#while_loop>
%
ctrlstrct:while_loop(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#while_loop').

%! wrongBranch(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongBranch>
%
ctrlstrct:wrongBranch(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongBranch').

%! wrongContext(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongContext>
%
ctrlstrct:wrongContext(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongContext').

%! wrongExecTime(I)
%
%  Any instance of <http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongExecTime>
%
ctrlstrct:wrongExecTime(I):-rdfs_individual_of(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#WrongExecTime').

%! after_act(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#after_act>
%
ctrlstrct:after_act(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#after_act',J).

%! algorithm_name(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#algorithm_name>
%
ctrlstrct:algorithm_name(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#algorithm_name',J).

%! body(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#body>
%
ctrlstrct:body(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body',J).

%! body_item(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_item>
%
ctrlstrct:body_item(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_item',J).

%! branches_item(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#branches_item>
%
ctrlstrct:branches_item(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#branches_item',J).

%! cause(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause>
%
ctrlstrct:cause(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause',J).

%! cause2(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause2>
%
ctrlstrct:cause2(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause2',J).

%! cond(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond>
%
ctrlstrct:cond(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond',J).

%! context_should_be(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#context_should_be>
%
ctrlstrct:context_should_be(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#context_should_be',J).

%! corresponding_end(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#corresponding_end>
%
ctrlstrct:corresponding_end(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#corresponding_end',J).

%! entry_point(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#entry_point>
%
ctrlstrct:entry_point(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#entry_point',J).

%! exec_time(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#exec_time>
%
ctrlstrct:exec_time(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#exec_time',J).

%! executes(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#executes>
%
ctrlstrct:executes(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#executes',J).

%! expr_value(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#expr_value>
%
ctrlstrct:expr_value(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#expr_value',J).

%! functions_item(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#functions_item>
%
ctrlstrct:functions_item(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#functions_item',J).

%! global_code(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#global_code>
%
ctrlstrct:global_code(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#global_code',J).

%! id(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#id>
%
ctrlstrct:id(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#id',J).

%! in_trace(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#in_trace>
%
ctrlstrct:in_trace(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#in_trace',J).

%! index(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#index>
%
ctrlstrct:index(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#index',J).

%! init(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#init>
%
ctrlstrct:init(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#init',J).

%! iteration_n(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#iteration_n>
%
ctrlstrct:iteration_n(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#iteration_n',J).

%! next(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#next>
%
ctrlstrct:next(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next',J).

%! next_act(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_act>
%
ctrlstrct:next_act(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_act',J).

%! next_sibling(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_sibling>
%
ctrlstrct:next_sibling(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_sibling',J).

%! parent_of(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#parent_of>
%
ctrlstrct:parent_of(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#parent_of',J).

%! precursor(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#precursor>
%
ctrlstrct:precursor(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#precursor',J).

%! should_be(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be>
%
ctrlstrct:should_be(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be',J).

%! should_be_after(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_after>
%
ctrlstrct:should_be_after(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_after',J).

%! should_be_before(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_before>
%
ctrlstrct:should_be_before(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_before',J).

%! stmt_name(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#stmt_name>
%
ctrlstrct:stmt_name(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#stmt_name',J).

%! student_corresponding_end(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_corresponding_end>
%
ctrlstrct:student_corresponding_end(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_corresponding_end',J).

%! student_index(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_index>
%
ctrlstrct:student_index(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_index',J).

%! student_iteration_n(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_iteration_n>
%
ctrlstrct:student_iteration_n(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_iteration_n',J).

%! student_next(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_next>
%
ctrlstrct:student_next(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_next',J).

%! student_parent_of(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_parent_of>
%
ctrlstrct:student_parent_of(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_parent_of',J).

%! subclass_of_after_act(I,J)
%
%  As subclass_of_after_act/2 , TODO
%
ctrlstrct:subclass_of_after_act(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#after_act'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_body(I,J)
%
%  As subclass_of_body/2 , TODO
%
ctrlstrct:subclass_of_body(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_body_item(I,J)
%
%  As subclass_of_body_item/2 , TODO
%
ctrlstrct:subclass_of_body_item(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_item'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_branches_item(I,J)
%
%  As subclass_of_branches_item/2 , TODO
%
ctrlstrct:subclass_of_branches_item(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#branches_item'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_cause(I,J)
%
%  As subclass_of_cause/2 , TODO
%
ctrlstrct:subclass_of_cause(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_cause2(I,J)
%
%  As subclass_of_cause2/2 , TODO
%
ctrlstrct:subclass_of_cause2(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause2'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_cond(I,J)
%
%  As subclass_of_cond/2 , TODO
%
ctrlstrct:subclass_of_cond(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_context_should_be(I,J)
%
%  As subclass_of_context_should_be/2 , TODO
%
ctrlstrct:subclass_of_context_should_be(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#context_should_be'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_corresponding_end(I,J)
%
%  As subclass_of_corresponding_end/2 , TODO
%
ctrlstrct:subclass_of_corresponding_end(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#corresponding_end'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_entry_point(I,J)
%
%  As subclass_of_entry_point/2 , TODO
%
ctrlstrct:subclass_of_entry_point(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#entry_point'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_executes(I,J)
%
%  As subclass_of_executes/2 , TODO
%
ctrlstrct:subclass_of_executes(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#executes'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_functions_item(I,J)
%
%  As subclass_of_functions_item/2 , TODO
%
ctrlstrct:subclass_of_functions_item(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#functions_item'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_global_code(I,J)
%
%  As subclass_of_global_code/2 , TODO
%
ctrlstrct:subclass_of_global_code(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#global_code'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_in_trace(I,J)
%
%  As subclass_of_in_trace/2 , TODO
%
ctrlstrct:subclass_of_in_trace(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#in_trace'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_init(I,J)
%
%  As subclass_of_init/2 , TODO
%
ctrlstrct:subclass_of_init(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#init'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_next(I,J)
%
%  As subclass_of_next/2 , TODO
%
ctrlstrct:subclass_of_next(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_next_act(I,J)
%
%  As subclass_of_next_act/2 , TODO
%
ctrlstrct:subclass_of_next_act(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_act'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_next_sibling(I,J)
%
%  As subclass_of_next_sibling/2 , TODO
%
ctrlstrct:subclass_of_next_sibling(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_sibling'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_parent_of(I,J)
%
%  As subclass_of_parent_of/2 , TODO
%
ctrlstrct:subclass_of_parent_of(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#parent_of'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_precursor(I,J)
%
%  As subclass_of_precursor/2 , TODO
%
ctrlstrct:subclass_of_precursor(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#precursor'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_should_be(I,J)
%
%  As subclass_of_should_be/2 , TODO
%
ctrlstrct:subclass_of_should_be(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_should_be_after(I,J)
%
%  As subclass_of_should_be_after/2 , TODO
%
ctrlstrct:subclass_of_should_be_after(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_after'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_should_be_before(I,J)
%
%  As subclass_of_should_be_before/2 , TODO
%
ctrlstrct:subclass_of_should_be_before(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_before'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_student_corresponding_end(I,J)
%
%  As subclass_of_student_corresponding_end/2 , TODO
%
ctrlstrct:subclass_of_student_corresponding_end(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_corresponding_end'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_student_next(I,J)
%
%  As subclass_of_student_next/2 , TODO
%
ctrlstrct:subclass_of_student_next(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_next'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_student_parent_of(I,J)
%
%  As subclass_of_student_parent_of/2 , TODO
%
ctrlstrct:subclass_of_student_parent_of(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_parent_of'),rdf(I,owl:someValuesFrom,J).

%! subclass_of_update(I,J)
%
%  As subclass_of_update/2 , TODO
%
ctrlstrct:subclass_of_update(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#update'),rdf(I,owl:someValuesFrom,J).

%! text_line(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#text_line>
%
ctrlstrct:text_line(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#text_line',J).

%! update(I,J)
%
%  Any relationship of type <http://vstu.ru/poas/ctrl_structs_2020-05_v1#update>
%
ctrlstrct:update(I,J):-rdf_has(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#update',J).

%! after_act(I,J,K)
%
%  As after_act/2  where asserted in graph
%
ctrlstrct:after_act(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#after_act',J,K).

%! algorithm_name(I,J,K)
%
%  As algorithm_name/2  where asserted in graph
%
ctrlstrct:algorithm_name(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#algorithm_name',J,K).

%! body(I,J,K)
%
%  As body/2  where asserted in graph
%
ctrlstrct:body(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body',J,K).

%! body_item(I,J,K)
%
%  As body_item/2  where asserted in graph
%
ctrlstrct:body_item(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#body_item',J,K).

%! branches_item(I,J,K)
%
%  As branches_item/2  where asserted in graph
%
ctrlstrct:branches_item(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#branches_item',J,K).

%! cause(I,J,K)
%
%  As cause/2  where asserted in graph
%
ctrlstrct:cause(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause',J,K).

%! cause2(I,J,K)
%
%  As cause2/2  where asserted in graph
%
ctrlstrct:cause2(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cause2',J,K).

%! cond(I,J,K)
%
%  As cond/2  where asserted in graph
%
ctrlstrct:cond(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#cond',J,K).

%! context_should_be(I,J,K)
%
%  As context_should_be/2  where asserted in graph
%
ctrlstrct:context_should_be(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#context_should_be',J,K).

%! corresponding_end(I,J,K)
%
%  As corresponding_end/2  where asserted in graph
%
ctrlstrct:corresponding_end(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#corresponding_end',J,K).

%! entry_point(I,J,K)
%
%  As entry_point/2  where asserted in graph
%
ctrlstrct:entry_point(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#entry_point',J,K).

%! exec_time(I,J,K)
%
%  As exec_time/2  where asserted in graph
%
ctrlstrct:exec_time(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#exec_time',J,K).

%! executes(I,J,K)
%
%  As executes/2  where asserted in graph
%
ctrlstrct:executes(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#executes',J,K).

%! expr_value(I,J,K)
%
%  As expr_value/2  where asserted in graph
%
ctrlstrct:expr_value(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#expr_value',J,K).

%! functions_item(I,J,K)
%
%  As functions_item/2  where asserted in graph
%
ctrlstrct:functions_item(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#functions_item',J,K).

%! global_code(I,J,K)
%
%  As global_code/2  where asserted in graph
%
ctrlstrct:global_code(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#global_code',J,K).

%! id(I,J,K)
%
%  As id/2  where asserted in graph
%
ctrlstrct:id(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#id',J,K).

%! in_trace(I,J,K)
%
%  As in_trace/2  where asserted in graph
%
ctrlstrct:in_trace(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#in_trace',J,K).

%! index(I,J,K)
%
%  As index/2  where asserted in graph
%
ctrlstrct:index(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#index',J,K).

%! init(I,J,K)
%
%  As init/2  where asserted in graph
%
ctrlstrct:init(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#init',J,K).

%! iteration_n(I,J,K)
%
%  As iteration_n/2  where asserted in graph
%
ctrlstrct:iteration_n(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#iteration_n',J,K).

%! next(I,J,K)
%
%  As next/2  where asserted in graph
%
ctrlstrct:next(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next',J,K).

%! next_act(I,J,K)
%
%  As next_act/2  where asserted in graph
%
ctrlstrct:next_act(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_act',J,K).

%! next_sibling(I,J,K)
%
%  As next_sibling/2  where asserted in graph
%
ctrlstrct:next_sibling(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#next_sibling',J,K).

%! parent_of(I,J,K)
%
%  As parent_of/2  where asserted in graph
%
ctrlstrct:parent_of(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#parent_of',J,K).

%! precursor(I,J,K)
%
%  As precursor/2  where asserted in graph
%
ctrlstrct:precursor(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#precursor',J,K).

%! should_be(I,J,K)
%
%  As should_be/2  where asserted in graph
%
ctrlstrct:should_be(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be',J,K).

%! should_be_after(I,J,K)
%
%  As should_be_after/2  where asserted in graph
%
ctrlstrct:should_be_after(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_after',J,K).

%! should_be_before(I,J,K)
%
%  As should_be_before/2  where asserted in graph
%
ctrlstrct:should_be_before(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#should_be_before',J,K).

%! stmt_name(I,J,K)
%
%  As stmt_name/2  where asserted in graph
%
ctrlstrct:stmt_name(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#stmt_name',J,K).

%! student_corresponding_end(I,J,K)
%
%  As student_corresponding_end/2  where asserted in graph
%
ctrlstrct:student_corresponding_end(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_corresponding_end',J,K).

%! student_index(I,J,K)
%
%  As student_index/2  where asserted in graph
%
ctrlstrct:student_index(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_index',J,K).

%! student_iteration_n(I,J,K)
%
%  As student_iteration_n/2  where asserted in graph
%
ctrlstrct:student_iteration_n(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_iteration_n',J,K).

%! student_next(I,J,K)
%
%  As student_next/2  where asserted in graph
%
ctrlstrct:student_next(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_next',J,K).

%! student_parent_of(I,J,K)
%
%  As student_parent_of/2  where asserted in graph
%
ctrlstrct:student_parent_of(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#student_parent_of',J,K).

%! text_line(I,J,K)
%
%  As text_line/2  where asserted in graph
%
ctrlstrct:text_line(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#text_line',J,K).

%! update(I,J,K)
%
%  As update/2  where asserted in graph
%
ctrlstrct:update(I,J,K):-rdf(I,'http://vstu.ru/poas/ctrl_structs_2020-05_v1#update',J,K).