tNTestAC4p1-dimcolors.gel - MultiDimPalette: MultiDim-TestAC4p1 - localhost:4001srjava.awt.DimensionA׬_DIheightIwidthxpEsq~Csq~srjava.lang.Integer⠤8Ivaluexrjava.lang.Number xpwsrjava.util.HashMap`F loadFactorI thresholdxp?@ wt AttributetATTRDEDUCED_TP_GTt IndividualtINDIVIDUAL_TP_GTtIsAt ISADEDUCED_GTt InstanceOftINSTOFDEDUCED_MDP_GTtLinkt ATTR_TP_GTxsq~?@0w@t INSTOF_TP_GTti5.cb.graph.cbeditor.CBLinkt INSTOF_MDP_GTti5.cb.graph.cbeditor.CBLinktQUERYCLASS_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtINSTOFDEDUCED_MDP_GTti5.cb.graph.cbeditor.CBLinktImplicitInstanceOfGTti5.cb.graph.cbeditor.CBLinkt SimpleClassGTt!i5.cb.graph.cbeditor.CBIndividualt VALUE_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtClassGTt!i5.cb.graph.cbeditor.CBIndividualt ATTR_TP_GTti5.cb.graph.cbeditor.CBLinktDefaultIndividualGTt!i5.cb.graph.cbeditor.CBIndividualt STRING_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtINDIVIDUAL_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtISADEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinkt QueryClassGTt!i5.cb.graph.cbeditor.CBIndividualtATTRDEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinktINSTOFDEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinkt ISADEDUCED_GTti5.cb.graph.cbeditor.CBLinktASSERTION_TP_GTt!i5.cb.graph.cbeditor.CBIndividualt MetaClassGTt!i5.cb.graph.cbeditor.CBIndividualt DefaultIsAGTti5.cb.graph.cbeditor.CBLinktDefaultAttributeGTti5.cb.graph.cbeditor.CBLinkt DefaultLinkGTti5.cb.graph.cbeditor.CBLinkt ISA_TP_GTti5.cb.graph.cbeditor.CBLinkt ImplicitIsAGTti5.cb.graph.cbeditor.CBLinkt MetametaGTt!i5.cb.graph.cbeditor.CBIndividualtDefaultInstanceOfGTti5.cb.graph.cbeditor.CBLinkt CLASS_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtImplicitAttributeGTti5.cb.graph.cbeditor.CBLinkt ISA_MDP_GTti5.cb.graph.cbeditor.CBLinkxsq~?@0w@q~sr+i5.cb.graph.cbeditor.CBGraphTypePropertySet-xLm_GraphTypePropertiestLjava/util/HashSet;xpsrjava.util.HashSetD4xpw ?@sr(i5.cb.graph.cbeditor.CBGraphTypePropertypoLm_PropertyNametLjava/lang/String;Lm_PropertyValueq~Vxpt edgewidtht2xsq~Ut edgestyletldashedxsq~Utlabeltxsq~Utbgcolort0,180,0xsq~Ut textcolort0,0,0xsq~Ut edgeheadshapetCaretxsq~Ut edgecolort0,180,0xxxq~sq~Psq~Sw ?@sq~Ut edgestyletldashedxsq~Utlabeltxsq~Ut textcolort0,0,0xsq~Ut edgeheadshapetCaretxsq~Utbgcolort255,0,0xsq~Ut edgecolort0,0,0xsq~Ut edgewidtht1xxxq~sq~Psq~Sw ?@sq~Ut fontstyletitalicxsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Ut linewidtht1xsq~Utsizet resizablexsq~Ut linecolort0,0,0xsq~Utbgcolort 255,245,245xxxq~sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgewidtht1xsq~Utlabeltxsq~Ut edgecolort 120,120,120xsq~Ut edgestyletldashedxsq~Ut edgeheadshapetCaretxsq~Utbgcolort255,0,0xxxq~sq~Psq~Sw ?@sq~Ut linecolort0,180,0xsq~Ut edgewidtht2xsq~Ut edgestyletdashedxsq~Utlabeltxsq~Ut textcolort0,0,0xsq~Ut edgecolort0,180,0xsq~Utbgcolort0,180,0xxxq~sq~Psq~Sw ?@sq~Utbgcolort 255,192,203xsq~Ut linecolort255,0,0xsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut textcolort0,0,0xsq~Ut fontstyletboldxxxq~!sq~Psq~Sw ?@sq~Ut linewidtht0.3xsq~Ut fontstyletitalicxsq~Utbgcolort 250,250,250xsq~Ut textcolort0,0,0xsq~Utfontsizet11xsq~UtshapetRectxsq~Ut linecolort 100,100,100xxxq~#sq~Psq~Sw ?@sq~Ut linecolort0,0,0xsq~Utshapeti5.cb.graph.shapes.Rectxsq~Ut textcolort0,0,0xsq~Utbgcolort 0,206,209xxxq~%sq~Psq~Sw ?@sq~Utfontsizet10xsq~Ut textcolort0,0,0xsq~Ut edgecolort0,0,0xsq~Ut edgewidtht2xsq~Utbgcolort255,255,255,240xxxq~'sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linecolort0,0,0xsq~Utbgcolort 210,210,210xsq~Utshapeti5.cb.graph.shapes.Rectxxxq~)sq~Psq~Sw ?@ sq~Utbgcolort 250,250,250xsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Ut linewidtht0.3xsq~Ut fontstyletitalicxsq~Ut labellengtht1000xsq~Ut linecolort 100,100,100xsq~Utsizetwrapxsq~Utfontsizet11xxxq~+sq~Psq~Sw ?@sq~Ut linecolort0,0,0xsq~Utbgcolort 255,255,255xsq~Ut textcolort0,0,0xsq~Utsizet resizablexsq~UtshapetRectxsq~Ut linewidtht1xxxq~-sq~Psq~Sw ?@sq~Ut edgewidtht1xsq~Ut edgestyletdashedxsq~Utbgcolort 0,150,255xsq~Ut edgecolort0,50,255xsq~Utlabeltxsq~Ut textcolort0,0,0xsq~Ut edgeheadshapetArrowxsq~Ut edgeheadcolort 255,255,255xxxq~/sq~Psq~Sw ?@sq~Ut fontstyletitalicxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort0,0,255xsq~Utbgcolort255,0,0xsq~Ut textcolort 255,255,255xxxq~1sq~Psq~Sw ?@sq~Ut edgecolort0,0,0xsq~Ut edgestyletdashedxsq~Utbgcolort255,255,255,240xsq~Utfontsizet10xsq~Ut textcolort0,0,0xsq~Ut edgewidtht2xxxq~3sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgestyletdashedxsq~Utbgcolort0,180,0xsq~Ut edgeheadshapetCaretxsq~Ut edgecolort0,180,0xsq~Utlabeltxsq~Ut edgewidtht1xxxq~5sq~Psq~Sw ?@sq~Ut edgeheadshapetArrowxsq~Ut edgecolort 120,120,120xsq~Ut edgewidtht1xsq~Ut edgeheadcolort 255,255,255xsq~Utlabeltxsq~Utbgcolort255,0,0xsq~Ut textcolort0,0,0xxxq~7sq~Psq~Sw ?@ sq~Utbgcolort 250,250,250xsq~Utsizetwrapxsq~Ut labellengtht1000xsq~Ut fontstyletitalicxsq~Utfontsizet11xsq~UtshapetRectxsq~Ut textcolort0,0,0xsq~Ut linewidtht1xsq~Ut linecolort0,0,0xxxq~9sq~Psq~Sw ?@sq~Utbgcolort 135,206,235xsq~Ut textcolort0,0,0xsq~Ut fontstyletboldxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort 65,105,225xxxq~;sq~Psq~Sw ?@sq~Ut edgecolort 0,205,255xsq~Ut textcolort0,0,0xsq~Ut edgeheadcolort 255,255,255xsq~Ut linecolort 0,205,255xsq~Ut edgewidtht3xsq~Utlabeltxsq~Utbgcolort 0,205,255xxxq~=sq~Psq~Sw ?@sq~Ut edgecolort0,0,0xsq~Ut edgewidtht2xsq~Ut textcolort0,0,0xxxq~?sq~Psq~Sw ?@sq~Ut edgecolort0,0,0xsq~Ut edgewidtht2xsq~Ut textcolort0,0,0xxxq~Asq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Ut edgecolort0,50,255xsq~Ut edgeheadshapetArrowxsq~Ut edgeheadcolort 255,255,255xsq~Utbgcolort 0,150,255xsq~Ut textcolort0,0,0xsq~Utlabeltxxxq~Csq~Psq~Sw ?@sq~Utlabeltxsq~Utbgcolort 0,150,255xsq~Ut edgestyletdashedxsq~Ut textcolort0,0,0xsq~Ut edgeheadcolort 255,255,255xsq~Ut edgewidtht3xsq~Ut linecolort 0,205,255xsq~Ut edgecolort 0,205,255xxxq~Esq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Utbgcolort 127,255,212xsq~Ut fontstyletboldxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort 32,178,170xxxq~Gsq~Psq~Sw ?@sq~Ut linecolort0,210,0xsq~Utbgcolort0,210,0xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Ut edgewidtht2xsq~Ut edgecolort0,210,0xxxq~Isq~Psq~Sw ?@sq~Utbgcolort 250,250,250xsq~Ut linecolort0,0,0xsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Utsizet resizablexsq~Ut linewidtht1xxxq~Ksq~Psq~Sw ?@sq~Ut textcolort20,20,20xsq~Ut edgewidtht2xsq~Ut edgestyletdashedxsq~Ut edgecolort20,20,20xxxq~Msq~Psq~Sw ?@sq~Ut edgeheadshapetArrowxsq~Utbgcolort255,0,0xsq~Ut edgewidtht1xsq~Ut edgecolort0,0,0xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Ut edgeheadcolort 255,255,255xxxxsr i5.cb.telos.object.Instantiationwݗ׿xri5.cb.telos.object.TelosLink::̴g2Z bImplicitL destinationt Li5/cb/telos/object/TelosObject;Lsourceq~xri5.cb.telos.object.TelosObjectC,1xpsri5.cb.telos.object.IndividualA5 AILsLabelq~Vxq~tRoyalsq~tQueent INSTOF_MDP_GTsrjava.awt.RectangleðjjtIheightIwidthIxIyxpsr!i5.cb.telos.object.SpecializationundZxq~sq~tDogsq~tCorgit ISA_MDP_GTsq~fsq~sq~t FavoriteThingq~t INSTOF_MDP_GTsq~Asq~sq~tDogBreedsq~t WelshCorgit INSTOF_MDP_GTsq~sq~t DeepRoyalBluetINDIVIDUAL_TP_GTsq~ysq~sq~t RoyalBlueq~t ISA_MDP_GTsq~sq~q~sq~tSusant INSTOF_MDP_GTsq~sq~tBluetINDIVIDUAL_TP_GTsq~-7sq~q~q~t ISA_MDP_GTsq~fq~tINDIVIDUAL_TP_GTsq~>E%sq~q~q~t INSTOF_MDP_GTsq~q~tINDIVIDUAL_TP_GTsq~1Xq~tINDIVIDUAL_TP_GTsq~0sq~q~q~t ISA_MDP_GTsq~*q~tINDIVIDUAL_TP_GTsq~AEsq~q~q~t INSTOF_MDP_GTsq~*sq~tBreedtINDIVIDUAL_TP_GTsq~;sq~tINDIVIDUAL_TP_GTsq~3vJsq~q~q~t ISA_MDP_GTsq~q~tINDIVIDUAL_TP_GTsq~2}sq~q~q~t INSTOF_MDP_GTsq~:sq~tEarlGreytINDIVIDUAL_TP_GTsq~:R6sq~q~q~t INSTOF_MDP_GTsq~sq~tPersontINDIVIDUAL_TP_GTsq~.qsq~q~q~t ISA_MDP_GTsq~Fq~tINDIVIDUAL_TP_GTsq~8#q~tINDIVIDUAL_TP_GTsq~/q~q~tINDIVIDUAL_TP_GTsq~/rsq~tHumanstINDIVIDUAL_TP_GTsq~Lsq~t FavoritestINDIVIDUAL_TP_GTsq~B sq~tAnimalstINDIVIDUAL_TP_GTsq~csq~t27t0t26t14t1t11q~t2t25t12t3t17t4t5t19t9t6q~q~(t8t7q~)t10q~"q~#t13q~q~t15q~%q~%t18t16q~(t20q~"t21t22q~"q~t24t23srjava.awt.Color3uFfalphaIvalueLcstLjava/awt/color/ColorSpace;[ frgbvaluet[F[fvalueq~9xppppsrjava.lang.Floatɢ<Fvaluexq~?t localhostt4001tSystem-oHome-MultiDim-TestAC4p1tMultiDimPalettetMultiDimPalettesq~ur[Ljava.lang.String;V{Gxptt+rwtoHome-MultiDim-TestAC4p1t{ * Module: System-oHome * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:50:54.341 (UTC) * CBserver version: 8.5.06 (2025-04-24) * } { 2025-03-05,15:29:25.903 } jeusfeld in CB_User end {---} { 2025-04-25,06:44:19.975 } Proposition in Proposition with attribute revsingle : Proposition; revnecessary : Proposition end AdditionalConstraints in Class with constraint singleConstraintV : $ forall c,d/Proposition p/Proposition!single x,m/VAR P(p,c,m,d) and (x in c) ==> (forall y1,y2/VAR (x m y1) and (x m y2) ==> (y1=y2)) $; necConstraint : $ forall c,d/Proposition p/Proposition!necessary x,m/VAR P(p,c,m,d) and (x in c) ==> exists y/VAR (y in d) and (x m y) $; revsingleConstraint : $ forall c,d/Proposition p/Proposition!revsingle y,m/VAR P(p,c,m,d) and (y in d) ==> ( forall x1,x2/VAR (x1 in c) and (x2 in c) and (x1 m y) and (x2 m y) ==> (x1=x2) ) $; revnecConstraint : $ forall c,d/Proposition p/Proposition!necessary y,m/VAR P(p,c,m,d) and (y in d) ==> exists x/VAR (x in c) and (x m y) $ end AdditionalConstraints!singleConstraintV with comment hint : "The attribute/relation {m} of {c} is single-valued (right-unique). Any instance of {c} may have at most one attribute of category {m}!" end AdditionalConstraints!necConstraint with comment hint : "The attribute/relation {m} of {c} is defined necessary (left-total). Any instance of {c} must have at least one instance of {d} for the attribute {m}!" end AdditionalConstraints!revsingleConstraint with comment hint : "The attribute/relation {m} of {c} is reverse single-valued (left-unique). Any instance of {d} may have at most one instance of {c} connected to it via an attribute of category {m}!" end AdditionalConstraints!revnecConstraint with comment hint : "The attribute/relation {m} of {c} is defined reverse necessary (right-total). Any instance of {d} must have at least one instance of {c} for the attribute {m}!" end Proposition in Proposition with attribute injective : Proposition; surjective : Proposition; reflexive : Proposition; transitive : Proposition; symmetric : Proposition; antisymmetric : Proposition; asymmetric : Proposition; total : Proposition; inv_injective : Proposition; makeTransitive : Proposition; makeReflexive : Proposition; makeSymmetric : Proposition end RelationSemantics in Class with constraint inj_IC : $ forall AC/Proposition!injective a,b,x/Proposition (a in AC) and (b in AC) and From(a,x) and From(b,x) ==> (a = b) $; surj_IC : $ forall AC/Proposition!surjective C,D/Proposition M/VAR y/Proposition P(AC,C,M,D) and (y in D) ==> exists a/Proposition (a in AC) and To(a,y) $; refl_IC : $ forall AC/Proposition!reflexive C,D/Proposition x,M/VAR P(AC,C,M,D) and (x in C) ==> (x M x) $; trans_IC : $ forall AC/Proposition!transitive C/Proposition x,y,z/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (z in C) and (x M y) and (y M z) ==> (x M z) $; symm_IC : $ forall AC/Proposition!symmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> (y M x) $; asym_IC : $ forall AC/Proposition!asymmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> not (y M x) $; antis_IC : $ forall AC/Proposition!antisymmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) and (y M x) ==> (x = y) $; total_IC : $ forall AC/Proposition!total C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) ==> ((x M y) or (y M x)) $; invinj_IC : $ forall AC/Proposition!inv_injective a,b,x/Proposition (a in AC) and (b in AC) and To(a,x) and To(b,x) ==> (a = b) $ end RelationSemantics!surj_IC with comment hint : "The relation {M} of {C} is surjective. Each instance of {D} must be the target of at least one attribute {M}." end RelationSemantics!refl_IC with comment hint : "The relation {M} of {C} is reflexive. Any object of class {C} must be linked to itself via the {M} relation." end RelationSemantics!trans_IC with comment hint : "The relation {M} of {C} is transitive. The facts (x {M} y) and (y {M} z) must imply that (x {M} z) holds." end RelationSemantics!symm_IC with comment hint : "The relation {M} of {C} must be symmetric, i.e. (x {M} y) implies (y {M} x)." end RelationSemantics in Class with rule trans_R : $ forall x,y,z,M/VAR AC/Proposition!makeTransitive C/Proposition P(AC,C,M,C) and (x in C) and (y in C) and (z in C) and (x M y) and (y M z) ==> (x M z) $; refl_R : $ forall x,M/VAR AC/Proposition!makeReflexive C/Proposition P(AC,C,M,C) and (x in C) ==> (x M x) $; symm_R : $ forall x,y,M/VAR AC/Proposition!makeSymmetric C/Proposition P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> (y M x) $ end {---} { 2025-04-25,06:44:20.584 } MultiDim in Module end { -/- } t@\{ * Module: System-oHome-MultiDim * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:50:54.439 (UTC) * CBserver version: 8.5.06 (2025-04-24) * * -author: Manfred Jeusfeld,Thomas Kuehne * -created: 2023-03-01 * -license: Creative Commons Attribution-NonCommercial International 4.0 (CC BY-NC 4.0) } { 2025-04-25,06:44:23.956 } Dimension with attribute dimcolor : String end (Proposition->Proposition) with single dimension : Dimension end (Proposition=>Proposition) with single dimension : Dimension end Element with attribute memberOf : Dimension; potency : Integer end InstanceOfWithDim in QueryClass,MSFOLrule isA (Proposition->Proposition) with constraint tc1 : $ exists dim/Dimension (this dimension dim) $ end IsAWithDim in QueryClass,MSFOLrule isA (Proposition=>Proposition) with constraint tc2 : $ exists dim/Dimension (this dimension dim) $ end Proposition in Class end {---} { 2025-04-25,06:44:24.224 } INSTOFDEDUCED_MDP_GT in Class,JavaGraphicalType with implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 7 property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "120,120,120"; edgewidth : "1"; edgeheadshape : "Caret"; edgestyle : "ldashed"; label : "" end INSTOF_MDP_GT in Class,JavaGraphicalType with implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 6 rule gtrule : $ forall a/InstanceOf (a graphtype INSTOF_MDP_GT) $ property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "0,0,0"; edgewidth : "1"; edgeheadshape : "Caret"; edgestyle : "ldashed"; label : "" end ISA_MDP_GT in Class,JavaGraphicalType with property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "0,0,0"; edgeheadcolor : "255,255,255"; edgeheadshape : "Arrow"; edgewidth : "1"; label : "" implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 8 rule gtrule : $ forall a/IsA (a graphtype ISA_MDP_GT) $ end ISADEDUCED_GT in Class,JavaGraphicalType with property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "120,120,120"; edgewidth : "1"; label : ""; edgeheadcolor : "255,255,255"; edgeheadshape : "Arrow" implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 8 end MultiDimPalette in Class,JavaGraphicalPalette isA TelosPalette with contains,implicitInstanceOf mdp1 : INSTOFDEDUCED_MDP_GT contains mdp2 : INSTOF_MDP_GT; mdp3 : ISA_MDP_GT contains,implicitIsA mdp4 : ISADEDUCED_GT rule colorrule1 : $ forall inst/InstanceOf dim/Dimension col/String (inst dimension dim) and (dim dimcolor col) ==> (inst gproperty/edgecolor col) $; colorrule2 : $ forall spec/IsA dim/Dimension col/String (spec dimension dim) and (dim dimcolor col) ==> (spec gproperty/edgecolor col) $; dimrule1 : $ forall dim/Dimension pal/JavaGraphicalPalette (valueOf(currentPalette) = pal) and (pal isA MultiDimPalette) ==> (dim gproperty/nodelevel "-103") $; dimrule2 : $ forall dim/Dimension (dim gproperty/size "resizable") $; dimrule3 : $ forall dim/Dimension (dim gproperty/align "top") $ end DataType end Value end Integer in DataType isA Value end String in DataType isA Value end Real in DataType isA Value end Boolean in DataType isA Value end ValueOrDataType in QueryClass isA Individual with constraint c1d : $ (this in Value) or (this in DataType) $ end ProperElement in QueryClass,MSFOLrule isA Element with constraint c1a : $ not (this in QueryClass) and not (this in MSFOLassertion) and exists a/Attribute y/ValueOrDataType From(a,this) and To(a,y) $ end ElementAttribute in QueryClass,MSFOLrule isA Proposition!attribute with constraint c2a : $ exists o/Element t/DataType From(this,o) and To(this,t) $ end ElementWithAttributes in GenericQueryClass isA ProperElement with parameter,computed_attribute class : ProperElement computed_attribute attrs : Proposition!attribute constraint c3 : $ exists n/Label b/ValueOrDataType Pa(~attrs,this,n,b) and (this = ~class) $ end {---} { 2025-04-25,06:44:24.975 } ElementFormat in AnswerFormat with forQuery q : ElementWithAttributes order o : ascending orderBy ob : "this" pattern p : "[b]{UQ({this})}[/b][hr][/hr]{Foreach( ({this.attrs}),(p), {LabelAC({p})}: {UQ({To({p})})}[br][/br] )}" end LabelRules in Class with rule lr1 : $ forall x/ProperElement lab/Label (lab = resultOf(ElementWithAttributes,x,ElementFormat)) ==> (x gproperty/label lab) $; lr2 : $ forall x/ProperElement lab/Label (x gproperty/size "wrap") $; lr3 : $ forall x/ProperElement lab/Label (x gproperty/labellength 800) $; lr4 : $ forall x/ProperElement (x gproperty/font "Arial") $ end {---} { 2025-04-25,06:44:25.207 } Element with attribute directInstanceOf : Element; instanceOf_trans : Element; instanceOf : Element; directSpecializationOf : Element; specializationOf_trans : Element; directInIsa : Element; inIsa_trans : Element; orderProgenyOf : Element; orderProgenyOf_trans : Element; specConnected : Element; orderNotInconsistent : Element end MultiDimRules in Class with rule mdrule1 : $ forall inst/InstanceOf x/Element dim/Dimension (inst dimension dim) and (From(inst,x) or To(inst,x)) ==> (x memberOf dim) $; mdrule2 : $ forall spec/IsA x/Element dim/Dimension (spec dimension dim) and (From(spec,x) or To(spec,x)) ==> (x memberOf dim) $; mdrule7 : $ forall inst/InstanceOfWithDim x,c/Element lab/Label dim/Dimension (inst dimension dim) and Label(dim,lab) and From(inst,x) and To(inst,c) ==> (x directInstanceOf/lab c) $; mdrule8 : $ forall spec/IsAWithDim c,d/Element lab/Label dim/Dimension (spec dimension dim) and Label(dim,lab) and From(spec,c) and To(spec,d) ==> (c directSpecializationOf/lab d) $; mdrule9 : $ forall x,y/Element lab/Label (x directInstanceOf/lab y) ==> (x instanceOf_trans/lab y) $; mdrule10 : $ forall x,y,z/Element lab/Label (x directInstanceOf/lab z) and (z instanceOf_trans/lab y) ==> (x instanceOf_trans/lab y) $; mdrule15 : $ forall x,y/Element lab/Label (x directSpecializationOf/lab y) ==> (x specializationOf_trans/lab y) $; mdrule16 : $ forall x,y,z/Element lab/Label (x directSpecializationOf/lab z) and (z specializationOf_trans/lab y) ==> (x specializationOf_trans/lab y) $; mdrule13 : $ forall x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x instanceOf/lab c) $; mdrule14 : $ forall x,c,d/Element lab/Label (x directInstanceOf/lab c) and (c specializationOf_trans/lab d) ==> (x instanceOf/lab d) $; mdrule3 : $ forall inst/InstanceOfWithDim x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x directInIsa/lab c) $; mdrule4 : $ forall spec/IsAWithDim c,d/Element lab/Label (c directSpecializationOf/lab d) ==> (c directInIsa/lab d) $; mdrule5 : $ forall x,y/Element lab/Label (x directInIsa/lab y) ==> (x inIsa_trans/lab y) $; mdrule6 : $ forall x,y,z/Element lab/Label (x directInIsa/lab z) and (z inIsa_trans/lab y) ==> (x inIsa_trans/lab y) $; mdrule17 : $ forall x,y/Element lab/Label ((x directSpecializationOf/lab y) or (y directSpecializationOf/lab x)) ==> (x specConnected/lab y) $; mdrule18 : $ forall x,y,z/Element lab/Label (((x directSpecializationOf/lab z) or (z directSpecializationOf/lab x)) and (z specConnected/lab y)) ==> (x specConnected/lab y) $; mdrule23 : $ forall x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x orderProgenyOf/lab c) $; mdrule24 : $ forall x,y,c/Element lab/Label (x specConnected/lab y) and (y directInstanceOf/lab c) ==> (x orderProgenyOf/lab c) $; mdrule25 : $ forall x,y,c/Element lab/Label (x directInstanceOf/lab y) and (y specConnected/lab c) ==> (x orderProgenyOf/lab c) $; mdrule26 : $ forall x,y,z,c/Element lab/Label (x specConnected/lab y) and (y directInstanceOf/lab z) and (z specConnected/lab c) ==> (x orderProgenyOf/lab c) $; mdrule27 : $ forall x,y/Element lab/Label (x orderProgenyOf/lab y) ==> (x orderProgenyOf_trans/lab y) $; mdrule28 : $ forall x,y,z/Element lab/Label (x orderProgenyOf/lab z) and (z orderProgenyOf_trans/lab y) ==> (x orderProgenyOf_trans/lab y) $; mdrule21 : $ forall x,y/Element lab/Label (x = y) ==> (x orderNotInconsistent/lab y) $; mdrule22 : $ forall x,y/Element lab/Label ((not ((x orderProgenyOf_trans/lab y) or (y orderProgenyOf_trans/lab x))) and ((exists c/Element (x orderProgenyOf_trans/lab c) and (y orderProgenyOf_trans c)) ==> (forall x1,y1/Element (x orderProgenyOf/lab x1) and (y orderProgenyOf/lab y1) ==> (x1 orderNotInconsistent/lab y1)))) ==> (x orderNotInconsistent/lab y) $ end DimensionWithMembers in QueryClass isA Dimension with computed_attribute memb : Element constraint memconstr : $ (~memb memberOf ~this) $ end DimensionLabel in QueryClass,MSFOLrule isA Label with constraint islab : $ exists dim/Dimension Label(dim,this) $ end TopInDimension in GenericQueryClass isA Element with parameter,computed_attribute dim : Dimension constraint isTop : $ (this memberOf ~dim) and ( not exists inst/InstanceOfWithDim From(inst,this) and (inst dimension ~dim) ) and {* ( not exists spec/IsAWithDim From(spec,this) and (spec dimension ~dim) ) and *} ( exists c/Element lab/Label Label(dim,lab) and ( (c instanceOf/lab this) or (exists d/Element ((d instanceOf/lab c) and (c specializationOf_trans/lab this))) ) ) $ end TopElement in QueryClass isA Element with constraint isTop : $ ( not exists inst/InstanceOfWithDim From(inst,this) ) and ( not exists spec/IsAWithDim From(spec,this) ) $ end BottomElement in QueryClass isA Element with constraint isBottom : $ (not exists inst/InstanceOfWithDim To(inst,this)) and (not exists spec/IsAWithDim To(spec,this)) $ end {---} { 2025-04-25,06:44:25.864 } MultiDim in Module with comment author : "Manfred Jeusfeld,Thomas Kuehne"; created : "2023-03-01"; license : "Creative Commons Attribution-NonCommercial International 4.0 (CC BY-NC 4.0)" end SampleModel in Module end {---} { 2025-04-25,06:44:26.717 } Cb1_PotencyNotDimension in QueryClass isA Element with constraint potNotDim : $ exists lab/Label n/Integer (this potency/lab n) and not exists dim/Dimension Label(dim,lab) $ end C0a_PotencyNotDecreasingInstanceOf in QueryClass isA Element with computed_attribute c : Element; px : Integer; pc : Integer constraint potencyerror1 : $ exists lab/Label (this directInstanceOf/lab c) and (c potency/lab pc) and (this potency/lab px) and ((px >= pc) or (pc = 0)) $ end C0b_PotencyNotDecreasingSpecialization in QueryClass isA Element with computed_attribute d : Element; pc : Integer; pd : Integer constraint potencyerror2 : $ exists lab/Label (this directSpecializationOf/lab d) and (this potency/lab pc) and (d potency/lab pd) and (pd > pc) $ end C1_AmbiguousFeatures in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint ambiguous : $ exists t1,t2/DataType a1,a2/ElementAttribute l1,l2,l3/Label ((this instanceOf/l1 c1) or (this isA c1)) and ((this instanceOf/l2 c2) or (this isA c2)) and Pa(a1,c1,l3,t1) and Pa(a2,c2,l3,t2) and (this <> c1) and (this <> c2) and (c1 <> c2) $ end C2a_MultipleNonZeroPotency in QueryClass isA Element with constraint multinonzero : $ exists p1,p2/Integer lab1,lab2/Label (this potency/lab1 p1) and (this potency/lab2 p2) and (lab1 <> lab2) and (p1 > 0) and (p2 > 0) $ end C2b_InstancesInDifferentDimensions in QueryClass isA Element with computed_attribute x1 : Element; x2 : Element constraint diffdim : $ exists lab1,lab2/Label (x1 directInstanceOf/lab1 this) and (x2 directInstanceOf/lab2 this) and (lab1 <> lab2) $ end C2c_MultiDimNonZero in QueryClass isA Element with computed_attribute c : Element; dim : Dimension constraint multidimnonzero : $ exists lab/Label (this directSpecializationOf/lab c) and (this memberOf dim) and not Label(dim,lab) and not (exists p/Integer (this potency/lab p) and (p > 0)) $ end C3a_MultipleClassification_1 in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint multipleClassifiers : $ exists lab/Label (this directInstanceOf/lab c1) and (this directInstanceOf/lab c2) and (c1 <> c2) $ end C3b_MultipleSuperclassesInDim in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint multisuperclass : $ exists lab/Label (this directSpecializationOf/lab c1) and (this directSpecializationOf/lab c2) and (c1 <> c2) $ end C3c_ClusterRoots in QueryClass isA Element with computed_attribute dim : Dimension constraint disjointDim : $ exists x0/Element lab/Label (x0 directInstanceOf/lab this) and Label(dim,lab) and not (exists c/Element (forall x,y/Element (x directInstanceOf/lab y) ==> (x instanceOf_trans/lab c))) $ end C4a_CycleInHierarchy in QueryClass isA Element with constraint hiercycle : $ exists lab/Label (this inIsa_trans/lab this) $ end C4b_InconsistentOrder in QueryClass isA Element with computed_attribute y : Element constraint instanceVsGen : $ exists lab/Label (this specConnected/lab y) and not (this orderNotInconsistent/lab y) $ end C4c_NotLevelRespecting in QueryClass isA Element with computed_attribute c1 : Element constraint notLevelRespecting : $ exists c2/Element lab/Label (this instanceOf/lab c1) and (this instanceOf/lab c2) and not (c1 orderNotInconsistent/lab c2) $ end {---} { 2025-04-25,06:44:27.331 } TestC1n1 in Module end {---} { 2025-04-25,06:44:28.035 } TestC1p1 in Module end {---} { 2025-04-25,06:44:28.679 } TestC1p2 in Module end {---} { 2025-04-25,06:44:29.199 } TestC2n1 in Module end {---} { 2025-04-25,06:44:29.754 } TestC2p1 in Module end {---} { 2025-04-25,06:44:30.431 } TestC3a in Module end {---} { 2025-04-25,06:44:31.039 } TestC3n2 in Module end {---} { 2025-04-25,06:44:31.608 } TestC3n3 in Module end {---} { 2025-04-25,06:44:32.112 } TestC3p1 in Module end {---} { 2025-04-25,06:44:32.627 } TestC4n1 in Module end {---} { 2025-04-25,06:44:33.282 } TestC4n3 in Module end {---} { 2025-04-25,06:44:33.738 } TestC4p1 in Module end {---} { 2025-04-25,06:44:34.246 } TestC5n1 in Module end {---} { 2025-04-25,06:44:35.018 } TestC5p1 in Module end {---} { 2025-04-25,06:44:35.606 } TestUnconnected in Module end {---} { 2025-04-25,06:44:36.227 } TestAC2n1 in Module end {---} { 2025-04-25,06:44:36.683 } TestAC2p1 in Module end {---} { 2025-04-25,06:44:37.159 } TestAC3n1 in Module end {---} { 2025-04-25,06:44:37.808 } TestAC3p1 in Module end {---} { 2025-04-25,06:44:38.320 } TestAC4n1 in Module end {---} { 2025-04-25,06:44:38.829 } TestAC4p0 in Module end {---} { 2025-04-25,06:44:39.684 } TestAC4p1 in Module end {---} { 2025-04-25,06:44:40.979 } TestDisjointDimensions in Module end {---} { 2025-04-25,06:44:41.631 } TestC3cn1 in Module end {---} { 2025-04-25,06:44:42.279 } Antipattern1 in Module end {---} { 2025-04-25,06:44:42.898 } Antipattern2 in Module end {---} { 2025-04-25,06:44:43.650 } Antipattern2a in Module end {---} { 2025-04-25,06:44:44.204 } Antipattern3 in Module end {---} { 2025-04-25,06:44:44.731 } c3a_neg1 in Module end {---} { 2025-04-25,06:48:26.960 } SatelliteArtifacts in Module end {---} { 2025-04-25,06:48:29.951 } TestC2Cn1 in Module end { -/- } t w{ * Module: System-oHome-MultiDim-TestAC4p1 * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:50:54.779 (UTC) * CBserver version: 8.5.06 (2025-04-24) * } { 2025-04-25,06:44:40.560 } Humans in Dimension with dimcolor col : "20,130,20" gproperty bgcolor : "230,255,230" end Animals in Dimension with dimcolor col : "0,0,210" gproperty bgcolor : "240,240,255" end Favorites in Dimension with dimcolor col : "230,90,30" gproperty bgcolor : "255,240,220" end Person in Element with potency Humans : 1 end Royal in Element isA Person with potency Humans : 1 end Royal!Humans isA Person!Humans end (Royal=>Person) with dimension dim : Humans end Queen in Element,Royal with potency Humans : 0 end (Queen->Royal) with dimension dim : Humans end FavoriteThing in Element with potency Favorites : 1 end Blue in Element end RoyalBlue in Element,FavoriteThing isA Blue with potency Favorites : 0 end (RoyalBlue->FavoriteThing) with dimension dim : Favorites end (RoyalBlue=>Blue) with dimension dim : Favorites end DeepRoyalBlue in Element isA RoyalBlue end (DeepRoyalBlue=>RoyalBlue) with dimension dim : Favorites end EarlGrey in Element,FavoriteThing with potency Favorites : 0 end (EarlGrey->FavoriteThing) with dimension dim : Favorites end Breed in Element with potency Animals : 2 end DogBreed in Element isA Breed with potency Animals : 2 end DogBreed!Animals isA Breed!Animals end (DogBreed=>Breed) with dimension dim : Animals end Dog in Element with potency Animals : 1 end Corgi in Element,DogBreed,FavoriteThing isA Dog with potency Animals : 1 end Corgi!Animals isA Dog!Animals end Corgi in Element,FavoriteThing,DogBreed with potency Favorites : 0 end (Corgi->DogBreed) with dimension dim : Animals end (Corgi=>Dog) with dimension dim : Animals end WelshCorgi in Element,DogBreed isA Corgi with potency Animals : 1 end WelshCorgi!Animals isA Dog!Animals end WelshCorgi!Animals isA Corgi!Animals end (WelshCorgi->DogBreed) with dimension dim : Animals end (WelshCorgi=>Corgi) with dimension dim : Animals end (Corgi->FavoriteThing) with dimension dim : Favorites end Susan in Element,FavoriteThing,Corgi with potency Animals : 0; Favorites : 0 end (Susan->Corgi) with dimension dim : Animals end (Susan->FavoriteThing) with dimension dim : Favorites end { -/- }