MOD.SCLAction <T ACT.Action
--> MOD.SCLAction.action ==> "Resource -> <Proc> ()" <R L0.HasProperty : L0.FunctionalRelation
+MOD.SCLDropAction <T ACT.Action
+ --> MOD.SCLDropAction.action ==> "Resource -> Dynamic -> Integer -> <Proc> ()" <R L0.HasProperty : L0.FunctionalRelation
+
MOD.SCLTest <T ACT.Action
--> MOD.SCLTest.test ==> "Resource -> <ReadGraph> Boolean" <R L0.HasProperty : L0.FunctionalRelation
L0.SCLValue.expression %expression
L0.HasValueType "Resource -> <Proc> ()"
+MOD.sclDropAction : L0.Template
+ @template %action %expression
+ %action : MOD.SCLDropAction
+ MOD.SCLDropAction.action _ : MOD.SCLValue
+ L0.SCLValue.expression %expression
+ L0.HasValueType "Resource -> Dynamic -> Integer -> <Proc> ()"
+
MOD.sclTest : L0.Template
@template %subject %expression
%subject : MOD.SCLTest
ACTIONS.NewProceduralComponentType : ACT.Action
ACTIONS.NewComponentType : ACT.Action
+MOD.InstantiateUnder <T MOD.SCLAction
+ >-- MOD.InstantiateUnder.HasType --> L0.Type <R L0.IsRelatedTo : L0.TotalFunction
+ @MOD.sclAssertion MOD.SCLAction.action "instantiateUnderAction self" "Resource -> <Proc> ()"
+
+ACTIONS.InstantiateUnder
+ @MOD.sclAction "instantiateUnderAction self"
+
TESTS = MAC.Tests : L0.Library
TESTS.IsNotPublished
@MOD.sclTest "isNotPublished"