t>clean0.gel - *MultiDimPalette: M_tk - cbserver.iit.his.se:4001srjava.awt.DimensionA׬_DIheightIwidthxpasq~; sq~srjava.lang.Integer⠤8Ivaluexrjava.lang.Number xp wsrjava.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 edgeheadshapetCaretxsq~Utlabeltxsq~Ut edgewidtht2xsq~Utbgcolort0,180,0xsq~Ut textcolort0,0,0xsq~Ut edgestyletldashedxsq~Ut edgecolort0,180,0xxxt!**(HeavyEquipment->EquipmentType)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt$**(CrawlerExcavator=>HeavyEquipment)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgeheadshapetCaretxsq~Ut edgestyletldashedxsq~Utlabeltxsq~Ut edgecolort0,0,0xsq~Utbgcolort255,0,0xsq~Ut edgewidtht1xxxt**(SlowExcavator->Excavator)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linewidtht1xsq~Ut linecolort0,0,0xsq~Utsizet resizablexsq~Ut fontstyletitalicxsq~Utbgcolort 255,245,245xsq~UtshapetRectxxxq~sq~Psq~Sw ?@sq~Utlabeltxsq~Ut textcolort0,0,0xsq~Utbgcolort255,0,0xsq~Ut edgeheadshapetCaretxsq~Ut edgecolort 120,120,120xsq~Ut edgestyletldashedxsq~Ut edgewidtht1xxxq~sq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Ut edgestyletdashedxsq~Ut linecolort0,180,0xsq~Ut textcolort0,0,0xsq~Ut edgecolort0,180,0xsq~Utlabeltxsq~Utbgcolort0,180,0xxxq~sq~Psq~Sw ?@sq~Ut fontstyletboldxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort255,0,0xsq~Ut textcolort0,0,0xsq~Utbgcolort 255,192,203xxxq~!sq~Psq~Sw ?@sq~Ut linecolort 100,100,100xsq~Utfontsizet11xsq~Ut linewidtht0.3xsq~Ut fontstyletitalicxsq~Ut textcolort0,0,0xsq~Utbgcolort 250,250,250xsq~UtshapetRectxxxq~#sq~Psq~Sw ?@sq~Utbgcolort 0,206,209xsq~Utshapeti5.cb.graph.shapes.Rectxsq~Ut textcolort0,0,0xsq~Ut linecolort0,0,0xxxq~%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~Ut linecolort 100,100,100xsq~Utsizetwrapxsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Utbgcolort 250,250,250xsq~Ut labellengtht1000xsq~Ut linewidtht0.3xsq~Ut fontstyletitalicxsq~Utfontsizet11xxxq~+sq~Psq~Sw ?@sq~Utsizet resizablexsq~Ut linewidtht1xsq~UtshapetRectxsq~Ut linecolort0,0,0xsq~Utbgcolort 255,255,255xsq~Ut textcolort0,0,0xxxq~-sq~Psq~Sw ?@sq~Utbgcolort 0,150,255xsq~Ut edgeheadcolort 255,255,255xsq~Ut edgeheadshapetArrowxsq~Ut edgestyletdashedxsq~Ut edgewidtht1xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Ut edgecolort0,50,255xxxq~/sq~Psq~Sw ?@sq~Ut fontstyletitalicxsq~Utbgcolort255,0,0xsq~Ut textcolort 255,255,255xsq~Ut linecolort0,0,255xsq~Utshapeti5.cb.graph.shapes.Ellipsexxxq~1sq~Psq~Sw ?@sq~Utfontsizet10xsq~Ut edgestyletdashedxsq~Ut edgewidtht2xsq~Ut edgecolort0,0,0xsq~Ut textcolort0,0,0xsq~Utbgcolort255,255,255,240xxxq~3sq~Psq~Sw ?@sq~Ut edgeheadshapetCaretxsq~Ut edgestyletdashedxsq~Utlabeltxsq~Utbgcolort0,180,0xsq~Ut edgecolort0,180,0xsq~Ut textcolort0,0,0xsq~Ut edgewidtht1xxxt**HeavyEquipmentsq~Psq~Sw @?@$sq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utlabelt;[b]HeavyEquipment[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxxxt#**(CrawlerExcavator=>SlowExcavator)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~5sq~Psq~Sw ?@sq~Ut edgecolort 120,120,120xsq~Ut edgewidtht1xsq~Ut edgeheadcolort 255,255,255xsq~Utlabeltxsq~Ut edgeheadshapetArrowxsq~Ut textcolort0,0,0xsq~Utbgcolort255,0,0xxxq~7sq~Psq~Sw ?@ sq~Ut textcolort0,0,0xsq~Utsizetwrapxsq~Ut labellengtht1000xsq~Ut linecolort0,0,0xsq~UtshapetRectxsq~Ut fontstyletitalicxsq~Utfontsizet11xsq~Ut linewidtht1xsq~Utbgcolort 250,250,250xxxt**(Excavator->EquipmentType)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~9sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linecolort 65,105,225xsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut fontstyletboldxsq~Utbgcolort 135,206,235xxxq~;sq~Psq~Sw ?@sq~Utlabeltxsq~Ut textcolort0,0,0xsq~Ut linecolort 0,205,255xsq~Ut edgewidtht3xsq~Ut edgeheadcolort 255,255,255xsq~Utbgcolort 0,205,255xsq~Ut edgecolort 0,205,255xxxq~=sq~Psq~Sw ?@sq~Ut edgecolort0,0,0xsq~Ut edgewidtht2xsq~Ut textcolort0,0,0xxxq~?sq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Ut edgecolort0,0,0xsq~Ut textcolort0,0,0xxxq~Asq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Utbgcolort 0,150,255xsq~Ut edgeheadcolort 255,255,255xsq~Ut edgeheadshapetArrowxsq~Ut edgecolort0,50,255xxxq~Csq~Psq~Sw ?@sq~Utlabeltxsq~Ut textcolort0,0,0xsq~Utbgcolort 0,150,255xsq~Ut edgecolort 0,205,255xsq~Ut edgewidtht3xsq~Ut linecolort 0,205,255xsq~Ut edgestyletdashedxsq~Ut edgeheadcolort 255,255,255xxxq~Esq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linecolort 32,178,170xsq~Ut fontstyletboldxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Utbgcolort 127,255,212xxxq~Gsq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgecolort0,210,0xsq~Utlabeltxsq~Utbgcolort0,210,0xsq~Ut linecolort0,210,0xsq~Ut edgewidtht2xxxq~Isq~Psq~Sw ?@sq~UtshapetRectxsq~Utsizet resizablexsq~Utbgcolort 250,250,250xsq~Ut linecolort0,0,0xsq~Ut textcolort0,0,0xsq~Ut linewidtht1xxxq~Ksq~Psq~Sw ?@sq~Ut edgecolort20,20,20xsq~Ut edgestyletdashedxsq~Ut textcolort20,20,20xsq~Ut edgewidtht2xxxt**CrawlerExcavatorsq~Psq~Sw @?@$sq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt=[b]CrawlerExcavator[/b][hr][/hr] potency/BlueDim: 1[br][/br] xxxq~Msq~Psq~Sw ?@sq~Utlabeltxsq~Ut edgeheadshapetArrowxsq~Ut textcolort0,0,0xsq~Ut edgewidtht1xsq~Ut edgeheadcolort 255,255,255xsq~Ut edgecolort0,0,0xsq~Utbgcolort255,0,0xxxxsr 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~t EquipmentTypesq~t Excavatort INSTOF_MDP_GTsrjava.awt.RectangleðjjtIheightIwidthIxIyxp~sr!i5.cb.telos.object.SpecializationundZxq~sq~t SlowExcavatorsq~tCrawlerExcavatort ISA_MDP_GTsq~$\sq~&sq~tHeavyEquipmentq~*t ISA_MDP_GTsq~$.)sq~q~!q~(t INSTOF_MDP_GTsq~$sq~q~q~/t INSTOF_MDP_GTsq~$+~q~(tINDIVIDUAL_TP_GTsq~$Yb q~/tINDIVIDUAL_TP_GTsq~$.q~!tINDIVIDUAL_TP_GTsq~$@nq~tINDIVIDUAL_TP_GTsq~$b3q~*tINDIVIDUAL_TP_GTsq~$.sq~t7t0t8t9t1t5q~Gt2t6q~It3q~Dq~Kt4q~Fsrjava.awt.Color3uFfalphaIvalueLcstLjava/awt/color/ColorSpace;[ frgbvaluet[F[fvalueq~Pxppppsrjava.lang.Floatɢ<Fvaluexq~?t localhostt4001tSystem-oHome-M_tkt*MultiDimPalettetMultiDimPalettesq~t$Homet?X{ * Module: System-oHome-M_tk * --------------------------------------------------------- * Listed for: tk@tp1_amd64_Windows11 at 2025-07-20,19:43:44.753 (UTC) * CBserver version: 8.5.06 (2025-04-24) * } { 2025-07-20,19:38:10.133 } Proposition in Proposition,Class 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,Class 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-07-20,19:38:13.149 } 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-07-20,19:38:14.111 } 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-07-20,19:38:15.144 } 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-07-20,19:38:16.103 } Element with attribute instanceOf : Element; instanceOf_trans : Element; specializationOf : Element; specializationOf_trans : Element; inIsa : Element; inIsa_trans : Element; specConnected : Element; sameDistance : 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) $; mdrule3 : $ 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 inIsa/lab c) $; mdrule4 : $ 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 inIsa/lab d) $; mdrule5 : $ forall x,y/Element lab/Label (x inIsa/lab y) ==> (x inIsa_trans/lab y) $; mdrule6 : $ forall x,y,z/Element lab/Label (x inIsa/lab z) and (z inIsa_trans/lab y) ==> (x inIsa_trans/lab y) $; 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 instanceOf/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 specializationOf/lab d) $; mdrule9 : $ forall x,y/Element lab/Label (x instanceOf/lab y) ==> (x instanceOf_trans/lab y) $; mdrule10 : $ forall x,y,z/Element lab/Label (x instanceOf/lab z) and (z instanceOf_trans/lab y) ==> (x instanceOf_trans/lab y) $; mdrule11 : $ forall x,y/Element lab/Label (x specializationOf/lab y) ==> (x specializationOf_trans y) $; mdrule12 : $ forall x,y,z/Element lab/Label (x specializationOf/lab z) and (z specializationOf_trans y) ==> (x specializationOf_trans y) $; mdrule13 : $ forall x,c/Element lab/Label (x instanceOf/lab c) ==> (x instanceOf c) $; mdrule14 : $ forall x,c,d/Element lab/Label (x instanceOf/lab c) and (c specializationOf_trans d) ==> (x instanceOf d) $; mdrule15 : $ forall x,y/Element lab/Label (x specializationOf/lab y) ==> (x specializationOf_trans/lab y) $; mdrule16 : $ forall x,y,z/Element lab/Label (x specializationOf/lab z) and (z specializationOf_trans/lab y) ==> (x specializationOf_trans/lab y) $; mdrule17 : $ forall x,y/Element lab/Label ((x specializationOf/lab y) or (y specializationOf/lab x)) ==> (x specConnected/lab y) $; mdrule18 : $ forall x,y,z/Element lab/Label (((x specializationOf/lab z) or (z specializationOf/lab x)) and (z specConnected/lab y)) ==> (x specConnected/lab y) $; mdrule19 : $ forall c,d/Element lab/Label (c specializationOf/lab d) ==> (c specializationOf d) $; mdrule20 : $ forall c,d/Element lab/Label (c specializationOf_trans/lab d) ==> (c specializationOf_trans d) $; mdrule21 : $ forall x,y/Element lab/Label ((x = y) or (exists c/Element (x instanceOf/lab c) and (y instanceOf/lab c))) ==> (x sameDistance/lab y) $; mdrule22 : $ forall x,y/Element lab/Label (exists x1,y1/Element (x instanceOf/lab x1) and (y instanceOf/lab y1) and (x1 sameDistance/lab y1)) ==> (x sameDistance/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-07-20,19:38:17.133 } 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-07-20,19:38:38.737 } BlueDim in Dimension with dimcolor col : "0,0,210" end EquipmentType in Element end Excavator in Element,EquipmentType end (Excavator->EquipmentType) with dimension dim : BlueDim end SlowExcavator in Element,Excavator end (SlowExcavator->Excavator) with dimension dim : BlueDim end HeavyEquipment in Element,EquipmentType with potency BlueDim : 1 end (HeavyEquipment->EquipmentType) with dimension dim : BlueDim end CrawlerExcavator in Element isA SlowExcavator,HeavyEquipment with potency BlueDim : 1 end CrawlerExcavator!BlueDim isA HeavyEquipment!BlueDim end (CrawlerExcavator=>SlowExcavator) with dimension dim : BlueDim end (CrawlerExcavator=>HeavyEquipment) with dimension dim : BlueDim end { -/- }