diff --git a/ATLAS-Input-Purpose-test.json b/ATLAS-Input-Purpose-test.json deleted file mode 100644 index c6adf914a..000000000 --- a/ATLAS-Input-Purpose-test.json +++ /dev/null @@ -1,219 +0,0 @@ -{ - "name": "Enrollment", - "patterns": [ - { - "name": "Courses", - "concepts": [ - { - "name": "Student", - "definition": [] - }, - { - "name": "Module", - "definition": [] - }, - { - "name": "Course", - "definition": [] - }, - { - "name": "SESSION", - "definition": [] - } - ], - "rules": [ - { - "name": "TOT takes[Student*Course]", - "formexp": "I[Student] |- takes [Student*Course];takes [Student*Course]~", - "meaning": [ - "takes[Student*Course] is total", - "takes[Student*Course] is totaal" - ], - "message": [] - }, - { - "name": "ModuleEnrollment", - "formexp": "isEnrolledFor [Student*Module] |- takes [Student*Course];isPartOf [Module*Course]~", - "meaning": [ - "A student can enroll for any module that is part of the course the student takes" - ], - "message": [] - }, - { - "name": "TestRule", - "formexp": "\"_SESSION\"[SESSION]", - "meaning": [], - "message": [] - } - ], - "relations": [ - { - "name": "takes", - "sign": { - "source": "Student", - "target": "Course" - }, - "properties": [ - "TOT" - ], - "meaning": [ - "A student takes a complete course" - ] - }, - { - "name": "isPartOf", - "sign": { - "source": "Module", - "target": "Course" - }, - "properties": [], - "meaning": [ - "A module part of a complete course" - ] - }, - { - "name": "isEnrolledFor", - "sign": { - "source": "Student", - "target": "Module" - }, - "properties": [], - "meaning": [ - "Students enroll for each module in the course separately" - ] - } - ], - "properties": [ - "TOT" - ], - "purposes": [ - { - "conceptPurp": [], - "relationPurp": [], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [ - "Courses" - ], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is een test Purpose voor PATTERN courses" - }, - { - "conceptPurp": [ - "Module" - ], - "relationPurp": [], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is de tweede test purpose voor CONCEPT module" - }, - { - "conceptPurp": [ - "Module" - ], - "relationPurp": [], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is de eerste test purpose voor CONCEPT Module" - }, - { - "conceptPurp": [], - "relationPurp": [ - { - "relation": "takes", - "sign": { - "source": "Student", - "target": "Course" - } - } - ], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is de test purpose voor RELATION takes" - }, - { - "conceptPurp": [], - "relationPurp": [ - { - "relation": "isPartOf", - "sign": { - "source": "Student", - "target": "Course" - } - } - ], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is de test purpose voor RELATION isPartOf" - }, - { - "conceptPurp": [], - "relationPurp": [], - "rulePurp": [ - "TestRule" - ], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [], - "meaning": "Dit is de test purpose voor RULE TestRule" - } - ] - } - ], - "interfaces": [ - { - "name": "Overview", - "roles": [], - "isAPI": [], - "conjunct": [], - "objectDef": "ObjectName_1fe4cc62-c445-4d90-acf2-fef01e1e1796", - "quad": [] - } - ], - "purposes": [ - { - "conceptPurp": [], - "relationPurp": [], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [], - "contextPurp": [ - "Enrollment" - ], - "meaning": "Dit is een test Purpose voor CONTEXT Enrollment" - }, - { - "conceptPurp": [], - "relationPurp": [], - "rulePurp": [], - "viewPurp": [], - "patternPurp": [], - "interfacePurp": [ - "Overview" - ], - "contextPurp": [], - "meaning": "Dit is de test purpose voor INTERFACE Overview" - } - ], - "versionInfo": "Ampersand-v4.7.6 [d53919f85b8b0e958baa31e0a183a403730be3d7:refs/tags/v4.7.6], build time: 26-Feb-23 13:28:41 UTC", - "scripts": [ - { - "property": false - } - ] -} \ No newline at end of file diff --git a/ATLAS_file.json b/ATLAS_file.json index 43781e9a0..4098bd3c4 100644 --- a/ATLAS_file.json +++ b/ATLAS_file.json @@ -5,37 +5,37 @@ "name": "PatternName", "concepts": [ { - "name": "Concept3Ptn", + "name": "Concept2Ptn", "definition": [ - "Meaning_e8fcff65-0032-4ccb-b2c7-8336849dc139" + "this is the definition of CONCEPT Concept2Ptn in de PATTERN" ], "type": "OBJECT" }, { "name": "Concept0Ptn", "definition": [ - "Meaning_ade2ccf9-c417-466f-b0d7-6077f2f5e469" + "this is the definition of CONCEPT Concept0Ptn in de PATTERN" ], "type": "OBJECT" }, { - "name": "Concept2Ptn", + "name": "Concept1Ptn", "definition": [ - "Meaning_acfcae0a-3718-4821-8ce7-a92700b6d8f3" + "this is the definition of CONCEPT Concept1Ptn in de PATTERN" ], "type": "OBJECT" }, { - "name": "Concept4Ptn", + "name": "Concept3Ptn", "definition": [ - "Meaning_ca5ea9bf-bb71-4150-8ab6-926d9076923c" + "this is the definition of CONCEPT Concept3Ptn in de PATTERN" ], "type": "OBJECT" }, { - "name": "Concept1Ptn", + "name": "Concept4Ptn", "definition": [ - "Meaning_f1c2e4e2-3c0a-4de0-bab3-c12eb1ebc86f" + "this is the definition of CONCEPT Concept4Ptn in de PATTERN" ], "type": "OBJECT" } @@ -45,7 +45,9 @@ { "name": "Rule2Ptn", "formexp": "relatie6Ptn [Concept1Ptn*Concept3Ptn] |- relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~", - "meaning": [], + "meaning": [ + "this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN" + ], "message": [] }, { @@ -56,15 +58,6 @@ } ], "relations": [ - { - "relation": "relatie5Ptn", - "sign": { - "source": "Concept3Ptn", - "target": "Concept2Ptn" - }, - "properties": [], - "meaning": [] - }, { "relation": "relatie6Ptn", "sign": { @@ -72,18 +65,20 @@ "target": "Concept3Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie6Ptn, gedefineerd in de PATTERN" + ] }, { - "relation": "relatie4Ptn", + "relation": "relatie5Ptn", "sign": { - "source": "Concept1Ptn", + "source": "Concept3Ptn", "target": "Concept2Ptn" }, - "properties": [ - "TOT" - ], - "meaning": [] + "properties": [], + "meaning": [ + "this is the meaning of the RELATION relatie5Ptn, gedefineerd in de PATTERN" + ] }, { "relation": "relatie3Ptn", @@ -92,25 +87,33 @@ "target": "Concept0Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie3Ptn, gedefineerd in de PATTERN" + ] }, { - "relation": "relatie2Ptn", + "relation": "relatie7Ptn", "sign": { - "source": "Concept0Ptn", - "target": "Concept0Ptn" + "source": "Concept4Ptn", + "target": "Concept4Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie7Ptn, gedefineerd in de PATTERN" + ] }, { - "relation": "relatie7Ptn", + "relation": "relatie4Ptn", "sign": { - "source": "Concept4Ptn", - "target": "Concept4Ptn" + "source": "Concept1Ptn", + "target": "Concept2Ptn" }, - "properties": [], - "meaning": [] + "properties": [ + "TOT" + ], + "meaning": [ + "this is the meaning of the RELATION relatie4Ptn, gedefineerd in de PATTERN" + ] }, { "relation": "relatie1Ptn", @@ -119,7 +122,20 @@ "target": "Concept0Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN" + ] + }, + { + "relation": "relatie2Ptn", + "sign": { + "source": "Concept0Ptn", + "target": "Concept0Ptn" + }, + "properties": [], + "meaning": [ + "this is the meaning of the RELATION relatie2Ptn, gedefineerd in de PATTERN" + ] } ], "properties": [], @@ -171,64 +187,37 @@ ], "conceptsCtx": [ { - "name": "Concept3Ctx", - "definition": [ - "Meaning_d176e21d-b848-48ca-a900-b174bc7ae0a6" - ], - "type": "OBJECT" - }, - { - "name": "Concept2Ctx", + "name": "Concept4Ctx", "definition": [ - "Meaning_f432c5d8-4d2d-4471-ac87-e67040c71b46" + "this is the definition of CONCEPT Concept4Ctx in de CONTEXT" ], "type": "OBJECT" }, { - "name": "FilePath", - "definition": [], - "type": "OBJECT" - }, - { - "name": "FileObject", - "definition": [], - "type": "OBJECT" - }, - { - "name": "Concept5Ctx", + "name": "Concept1Ctx", "definition": [ - "Meaning_08a26e9e-1f24-4912-8067-a0475c36442c" + "this is the definition of CONCEPT Concept1Ctx in de CONTEXT" ], "type": "OBJECT" }, { - "name": "Concept0Ctx", + "name": "Concept2Ctx", "definition": [ - "Meaning_915dd94a-6be7-4085-aa66-d4b80a75bb69" + "this is the definition of CONCEPT Concept2Ctx in de CONTEXT" ], "type": "OBJECT" }, { - "name": "FileName", - "definition": [], - "type": "OBJECT" - }, - { - "name": "ONE", - "definition": [], - "type": "OBJECT" - }, - { - "name": "Concept4Ctx", + "name": "Concept3Ctx", "definition": [ - "Meaning_0c8ddb27-8814-4894-a248-9da91928b74c" + "this is the definition of CONCEPT Concept3Ctx in de CONTEXT" ], "type": "OBJECT" }, { - "name": "Concept1Ctx", + "name": "Concept5Ctx", "definition": [ - "Meaning_3f654038-9f28-4b7d-84d1-24dcf6f22a05" + "this is the definition of CONCEPT Concept5Ctx in de CONTEXT" ], "type": "OBJECT" } @@ -236,24 +225,29 @@ "representationsCtx": [], "relationsCtx": [ { - "relation": "relatie4Ctx", + "relation": "originalFileName", "sign": { - "source": "Concept1Ctx", - "target": "Concept2Ctx" + "source": "FileObject", + "target": "FileName" }, "properties": [ - "TOT" + "TOT", + "UNI" ], "meaning": [] }, { - "relation": "relatie1Ctx", + "relation": "relatie4Ctx", "sign": { - "source": "Concept0Ctx", - "target": "Concept0Ctx" + "source": "Concept1Ctx", + "target": "Concept2Ctx" }, - "properties": [], - "meaning": [] + "properties": [ + "TOT" + ], + "meaning": [ + "this is the meaning of the RELATION relatie4Ctx, gedefineerd in de CONTEXT" + ] }, { "relation": "filePath", @@ -268,22 +262,26 @@ "meaning": [] }, { - "relation": "relatie6Ctx", + "relation": "relatie1Ctx", "sign": { - "source": "Concept1Ctx", - "target": "Concept3Ctx" + "source": "Concept0Ctx", + "target": "Concept0Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" + ] }, { - "relation": "relatie2Ctx", + "relation": "relatie5Ctx", "sign": { - "source": "Concept0Ctx", - "target": "Concept0Ctx" + "source": "Concept3Ctx", + "target": "Concept2Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie5Ctx, gedefineerd in de CONTEXT" + ] }, { "relation": "relatie7Ctx", @@ -292,7 +290,9 @@ "target": "Concept4Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie7Ctx, gedefineerd in de CONTEXT" + ] }, { "relation": "relatie3Ctx", @@ -301,36 +301,39 @@ "target": "Concept0Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie3Ctx, gedefineerd in de CONTEXT" + ] }, { - "relation": "relatie7Ctx", + "relation": "relatie2Ctx", "sign": { - "source": "Concept5Ctx", - "target": "Concept5Ctx" + "source": "Concept0Ctx", + "target": "Concept0Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie2Ctx, gedefineerd in de CONTEXT" + ] }, { - "relation": "relatie5Ctx", + "relation": "relatie6Ctx", "sign": { - "source": "Concept3Ctx", - "target": "Concept2Ctx" + "source": "Concept1Ctx", + "target": "Concept3Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie6Ctx, gedefineerd in de CONTEXT" + ] }, { - "relation": "originalFileName", + "relation": "relatie7Ctx", "sign": { - "source": "FileObject", - "target": "FileName" + "source": "Concept5Ctx", + "target": "Concept5Ctx" }, - "properties": [ - "TOT", - "UNI" - ], + "properties": [], "meaning": [] } ], @@ -355,65 +358,71 @@ { "name": "Rule2Ctx", "formexp": "relatie6Ctx [Concept1Ctx*Concept3Ctx] |- relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~", - "meaning": [], + "meaning": [ + "this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT" + ], "message": [] } ], "enforceCtx": [ { - "name": "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair", - "term": "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", + "name": "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair", + "term": "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", "maintains": [ { "role": { "role": null }, "rule": [ - "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair", - "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair" + "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair", + "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair" ] } ], "relation": [ { - "relation": "relatie1Ptn", + "relation": "relatie1Ctx", "sign": { - "source": "Concept0Ptn", - "target": "Concept0Ptn" + "source": "Concept0Ctx", + "target": "Concept0Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" + ] } ], - "rhs": "relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", + "rhs": "relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", "operator": "Inclusion" }, { - "name": "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair", - "term": "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", + "name": "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair", + "term": "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", "maintains": [ { "role": { "role": null }, "rule": [ - "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair", - "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair" + "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair", + "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair" ] } ], "relation": [ { - "relation": "relatie1Ctx", + "relation": "relatie1Ptn", "sign": { - "source": "Concept0Ctx", - "target": "Concept0Ctx" + "source": "Concept0Ptn", + "target": "Concept0Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN" + ] } ], - "rhs": "relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", + "rhs": "relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", "operator": "Inclusion" }, { @@ -438,7 +447,9 @@ "target": "Concept0Ctx" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" + ] } ], "rhs": "relatie2Ctx [Concept0Ctx*Concept0Ctx]", @@ -466,7 +477,9 @@ "target": "Concept0Ptn" }, "properties": [], - "meaning": [] + "meaning": [ + "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN" + ] } ], "rhs": "relatie2Ptn [Concept0Ptn*Concept0Ptn]", @@ -532,7 +545,7 @@ "idents": [ { "name": "identity_Ident1Ctx", - "concept": "Rule_a1a62b7e-1df9-4ba5-a5ae-c1acc0eb5d2a", + "concept": "Rule_dd22648f-bc79-4c06-b289-374f0f1ec4a1", "ident": { "name": "relatie7Ctx [Concept5Ctx*Concept5Ctx];relatie7Ctx [Concept5Ctx*Concept5Ctx]~ |- I[Concept5Ctx]", "ctx": "relatie7Ctx [Concept5Ctx*Concept5Ctx];relatie7Ctx [Concept5Ctx*Concept5Ctx]~ |- I[Concept5Ctx]" @@ -540,14 +553,14 @@ }, { "name": "identity_FileObjectName", - "concept": "Rule_f10226b8-0789-46c5-8b46-aa45d850b55b", + "concept": "Rule_e07f1b6a-5013-4abf-9ec4-775a527ecd61", "ident": { "name": "filePath [FileObject*FilePath];filePath [FileObject*FilePath]~ |- I[FileObject]", "ctx": "filePath [FileObject*FilePath];filePath [FileObject*FilePath]~ |- I[FileObject]" } } ], - "versionInfo": "Ampersand-v4.8.0 [feature/atlas-import:a519c6c05*], build time: 02-Jun-24 16:36:21 CEST", + "versionInfo": "Ampersand-v4.8.0 [feature/atlas-import:de22bec58*], build time: 13-Jun-24 15:26:17 CEST", "language": null, "scripts": [ { diff --git a/AmpersandData/FormalAmpersand/Generics.adl b/AmpersandData/FormalAmpersand/Generics.adl index e0386965c..0d400fccd 100644 --- a/AmpersandData/FormalAmpersand/Generics.adl +++ b/AmpersandData/FormalAmpersand/Generics.adl @@ -32,6 +32,7 @@ RELATION pvsExp[PairViewSegment*Term] [UNI] RELATION showADL[PairView*ShowADL] [UNI,TOT] -- Temporary relation to enable first attempt to make the atlas editable. + --[Conjuncts]-- RELATION allConjuncts[Context*Conjunct] [INJ] RELATION rc_conjunct[Conjunct*Term] [TOT] diff --git a/AmpersandData/FormalAmpersand/Terms.adl b/AmpersandData/FormalAmpersand/Terms.adl index bd46879ca..9aa37f976 100644 --- a/AmpersandData/FormalAmpersand/Terms.adl +++ b/AmpersandData/FormalAmpersand/Terms.adl @@ -86,10 +86,10 @@ RELATION showADL[Term*ShowADL] [UNI] -- TODO should be TOT also, but this is TO REPRESENT ShowADL TYPE BIGALPHANUMERIC --HJI20161004: This execEngine rule doesn't work, because of the ';'-characters that may be in the ShowADL term ROLE ExecEngine MAINTAINS "del unused ShowADL" - RULE "del unused ShowADL" : I[ShowADL] |- showADL~;showADL + RULE "del unused ShowADL" : I[ShowADL] |- showADL[Term*ShowADL]~;showADL[Term*ShowADL] MEANING "A ShowADL without Term will be removed." VIOLATION ( TXT "{EX}_;DelAtom_;ShowADL_;", SRC I ) -VIEW Term : Term(showADL) +VIEW Term : Term(showADL[Term*ShowADL]) {- I can't get the following to work... Grrr! PATTERN "Type graph" diff --git a/TestFile.adl b/TestFile.adl index 1a653eb65..449b1771f 100644 --- a/TestFile.adl +++ b/TestFile.adl @@ -148,19 +148,19 @@ ENDPATTERN CONCEPT Concept5Ctx "this is the definition of CONCEPT Concept5Ctx in de CONTEXT" RELATION relatie7Ctx[Concept5Ctx*Concept5Ctx] -IDENT Ident1Ctx: Concept5Ctx (relatie7Ctx) +-- IDENT Ident1Ctx: Concept5Ctx (relatie7Ctx) -IDENT FileObjectName: FileObject (filePath) -RELATION filePath[FileObject*FilePath] [UNI,TOT] -RELATION originalFileName[FileObject*FileName] [UNI,TOT] +-- IDENT FileObjectName: FileObject (filePath) +-- RELATION filePath[FileObject*FilePath] [UNI,TOT] +-- RELATION originalFileName[FileObject*FileName] [UNI,TOT] REPRESENT FilePath,FileName TYPE ALPHANUMERIC -VIEW FileObject: FileObject DEFAULT - { apiPath : TXT "api/v1/file" - , filePath : filePath - , fileName : originalFileName - } HTML TEMPLATE "View-FILEOBJECT.html" ENDVIEW +-- VIEW FileObject: FileObject DEFAULT +-- { apiPath : TXT "api/v1/file" +-- , filePath : filePath +-- , fileName : originalFileName +-- } HTML TEMPLATE "View-FILEOBJECT.html" ENDVIEW -- INTERFACE InterfaceCtx : "_SESSION" cRud -- BOX diff --git a/out.adl b/out.adl index 8e6bf66f2..ca15d19a0 100644 --- a/out.adl +++ b/out.adl @@ -1,71 +1,103 @@ -CONTEXT Enrollment - -PURPOSE CONTEXT Enrollment REF "test" -{+ -Dit is een test Purpose voor CONTEXT Enrollment -+} -PURPOSE INTERFACE Overview REF "test" -{+ -Dit is de test purpose voor INTERFACE Overview -+} -PATTERN Courses -RULE "TOT takes[Student*Course]": I[Student] -MEANING "takes[Student*Course] is total" -MEANING "takes[Student*Course] is totaal" - - -RULE ModuleEnrollment: isEnrolledFor [Student*Module] -MEANING "A student can enroll for any module that is part of the course the student takes" - - -RULE TestRule: "_SESSION"[SESSION] - - - - -CONCEPT Student "definition not working" -CONCEPT Module "definition not working" -CONCEPT Course "definition not working" -CONCEPT SESSION "definition not working" -RELATION takes [Student*Course] [SUR] -MEANING "A student takes a complete course" -RELATION isPartOf [Module*Course] -MEANING "A module part of a complete course" -RELATION isEnrolledFor [Student*Module] -MEANING "Students enroll for each module in the course separately" - - - - -PURPOSE PATTERN Courses REF "test" -{+ Dit is een test Purpose voor PATTERN courses -+} -PURPOSE CONCEPT Module REF "test" -{+ -Dit is de tweede test purpose voor CONCEPT module -+} -PURPOSE CONCEPT Module REF "test" -{+ -Dit is de eerste test purpose voor CONCEPT Module -+} -PURPOSE RELATION isPartOf [Student*Course] REF "test" -{+ Dit is de test purpose voor RELATION takes +} -PURPOSE RELATION takes [Student*Course] REF "test" -{+ Dit is de test purpose voor RELATION takes +} -PURPOSE RULE TestRule REF "test" -{+ Dit is de test purpose voor RULE TestRule +} - - +CONTEXT ContextName + +-- Concepts +CONCEPT Concept4Ctx "this is the definition of CONCEPT Concept4Ctx in de CONTEXT" +CONCEPT Concept1Ctx "this is the definition of CONCEPT Concept1Ctx in de CONTEXT" +CONCEPT Concept2Ctx "this is the definition of CONCEPT Concept2Ctx in de CONTEXT" +CONCEPT Concept3Ctx "this is the definition of CONCEPT Concept3Ctx in de CONTEXT" +CONCEPT Concept5Ctx "this is the definition of CONCEPT Concept5Ctx in de CONTEXT" + + +-- Relations +RELATION originalFileName [FileObject*FileName] [UNI + ,TOT] + +RELATION relatie4Ctx [Concept1Ctx*Concept2Ctx] [TOT] +MEANING "this is the meaning of the RELATION relatie4Ctx, gedefineerd in de CONTEXT" +RELATION filePath [FileObject*FilePath] [UNI + ,TOT] + +RELATION relatie1Ctx [Concept0Ctx*Concept0Ctx] +MEANING "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" +RELATION relatie5Ctx [Concept3Ctx*Concept2Ctx] +MEANING "this is the meaning of the RELATION relatie5Ctx, gedefineerd in de CONTEXT" +RELATION relatie7Ctx [Concept4Ctx*Concept4Ctx] +MEANING "this is the meaning of the RELATION relatie7Ctx, gedefineerd in de CONTEXT" +RELATION relatie3Ctx [Concept0Ctx*Concept0Ctx] +MEANING "this is the meaning of the RELATION relatie3Ctx, gedefineerd in de CONTEXT" +RELATION relatie2Ctx [Concept0Ctx*Concept0Ctx] +MEANING "this is the meaning of the RELATION relatie2Ctx, gedefineerd in de CONTEXT" +RELATION relatie6Ctx [Concept1Ctx*Concept3Ctx] +MEANING "this is the meaning of the RELATION relatie6Ctx, gedefineerd in de CONTEXT" +RELATION relatie7Ctx [Concept5Ctx*Concept5Ctx] + +-- Rules +RULE Rule1Ctx: relatie1Ctx [Concept0Ctx*Concept0Ctx] + + + +RULE Rule2Ctx: relatie6Ctx [Concept1Ctx*Concept3Ctx] +MEANING "this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT" + + + +IDENT identity_Ident1Ctx : "Rule_dd22648f-bc79-4c06-b289-374f0f1ec4a1" (relatie7Ctx [Concept5Ctx*Concept5Ctx];relatie7Ctx [Concept5Ctx*Concept5Ctx]~ ) +IDENT identity_FileObjectName : "Rule_e07f1b6a-5013-4abf-9ec4-775a527ecd61" (filePath [FileObject*FilePath];filePath [FileObject*FilePath]~ ) +PATTERN PatternName +-- Concepts +CONCEPT Concept2Ptn "this is the definition of CONCEPT Concept2Ptn in de PATTERN" +CONCEPT Concept0Ptn "this is the definition of CONCEPT Concept0Ptn in de PATTERN" +CONCEPT Concept1Ptn "this is the definition of CONCEPT Concept1Ptn in de PATTERN" +CONCEPT Concept3Ptn "this is the definition of CONCEPT Concept3Ptn in de PATTERN" +CONCEPT Concept4Ptn "this is the definition of CONCEPT Concept4Ptn in de PATTERN" + + +-- Relations +RELATION relatie6Ptn [Concept1Ptn*Concept3Ptn] +MEANING "this is the meaning of the RELATION relatie6Ptn, gedefineerd in de PATTERN" +RELATION relatie5Ptn [Concept3Ptn*Concept2Ptn] +MEANING "this is the meaning of the RELATION relatie5Ptn, gedefineerd in de PATTERN" +RELATION relatie3Ptn [Concept0Ptn*Concept0Ptn] +MEANING "this is the meaning of the RELATION relatie3Ptn, gedefineerd in de PATTERN" +RELATION relatie7Ptn [Concept4Ptn*Concept4Ptn] +MEANING "this is the meaning of the RELATION relatie7Ptn, gedefineerd in de PATTERN" +RELATION relatie4Ptn [Concept1Ptn*Concept2Ptn] [TOT] +MEANING "this is the meaning of the RELATION relatie4Ptn, gedefineerd in de PATTERN" +RELATION relatie1Ptn [Concept0Ptn*Concept0Ptn] +MEANING "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN" +RELATION relatie2Ptn [Concept0Ptn*Concept0Ptn] +MEANING "this is the meaning of the RELATION relatie2Ptn, gedefineerd in de PATTERN" +-- Rules +RULE Rule2Ptn: relatie6Ptn [Concept1Ptn*Concept3Ptn] +MEANING "this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN" + + +RULE Rule1Ptn: relatie1Ptn [Concept0Ptn*Concept0Ptn] + + + + + + + + +PURPOSE PATTERN PatternName +{+this is the purpose of the PATTERN PatternName, gedefineerd in de PATTERN+} +PURPOSE CONCEPT Concept1Ptn +{+this is the purpose of the CONCEPT ConceptPtn, gedefineerd in de PATTERN+} +PURPOSE RELATION relatie1Ptn [Concept0Ptn*Concept0Ptn] +{+this is the purpose of the RELATION relatie1Ptn, gedefineerd in de PATTERN+} ENDPATTERN +ROLE User MAINTAINS Rule1Ctx,Rule1Ptn - - - - - - - - +PURPOSE CONTEXT ContextName +{+this is the purpose of the CONTEXT ContextName, gedefineerd in de CONTEXT+} +PURPOSE CONCEPT Concept0Ctx +{+this is the purpose of the CONCEPT Concept0Ctx, gedefineerd in de CONTEXT+} +PURPOSE RELATION relatie1Ctx [Concept0Ctx*Concept0Ctx] +{+this is the purpose of the RELATION relatie1Ctx, gedefineerd in de CONTEXT+} +PURPOSE RULE Rule1Ctx +{+this is the purpose of the RULE RuleCtx, gedefineerd in de CONTEXT+} ENDCONTEXT \ No newline at end of file diff --git a/testfile.md b/testfile.md new file mode 100644 index 000000000..4efc34bf6 --- /dev/null +++ b/testfile.md @@ -0,0 +1,843 @@ +- [1 Introduction](#sec:Intro) +- [2 Shared Language](#sec:SharedLang) + - [2.1 PatternName](#sec:SharedLangtheme-4868607006306872369) + - [2.2 Remaining](#sec:SharedLangtheme--8624456145932377398) +- [3 Diagnosis](#sec:Diagnosis) +- [4 Conceptual Analysis](#sec:ConceptualAnalysis) + - [4.1 PatternName](#sec:SharedLangtheme-4868607006306872369) + - 4.1.1 Relation + - 4.1.2 Rules + - [4.2 Remaining](#sec:SharedLangtheme--8624456145932377398) + - 4.2.1 Relation + - 4.2.2 Rules +- [5 Data structure](#sec:DataAnalysis) + - 5.1 Rules + - 5.1.1 Process rules + - 5.1.2 Invariants + - 5.2 Logical data model + - 5.3 Technical datamodel + - 5.3.1 Table: Concept0Ctx + - 5.3.2 Table: Concept0Ptn + - 5.3.3 Table: Concept1Ctx + - 5.3.4 Table: Concept1Ptn + - 5.3.5 Table: Concept2Ctx + - 5.3.6 Table: Concept2Ptn + - 5.3.7 Table: Concept3Ctx + - 5.3.8 Table: Concept3Ptn + - 5.3.9 Table: Concept4Ctx + - 5.3.10 Table: Concept4Ptn + - 5.3.11 Table: Concept5Ctx + - 5.3.12 Table: ONE + - 5.3.13 Table: relatie1Ctx + - 5.3.14 Table: relatie1Ptn + - 5.3.15 Table: relatie2Ctx + - 5.3.16 Table: relatie2Ptn + - 5.3.17 Table: relatie3Ctx + - 5.3.18 Table: relatie3Ptn + - 5.3.19 Table: relatie4Ctx + - 5.3.20 Table: relatie4Ptn + - 5.3.21 Table: relatie5Ctx + - 5.3.22 Table: relatie5Ptn + - 5.3.23 Table: relatie6Ctx + - 5.3.24 Table: relatie6Ptn + - 5.3.25 Table: relatie7Ctx1 + - 5.3.26 Table: relatie7Ctx2 + - 5.3.27 Table: relatie7Ptn + - 5.4 Logical data model + +# Introduction + +> this is the purpose of the CONTEXT ContextName, gedefineerd in de +> CONTEXT + +# Shared Language + +This chapter describes functional requirements for ‘ContextName’ in +natural language. It contains definitions and agreements. The purpose of +this chapter is to create shared understanding among stakeholders. All +definitions and agreements have been numbered for the sake of +traceability. + +## PatternName + +> this is the purpose of the PATTERN PatternName, gedefineerd in de +> PATTERN + +> Definition Concept0Ptn: +> this is the definition of CONCEPT Concept0Ptn in de PATTERN + +> this is the purpose of the CONCEPT ConceptPtn, gedefineerd in de +> PATTERN + +> Definition Concept1Ptn: +> this is the definition of CONCEPT Concept1Ptn in de PATTERN + +> Definition Concept2Ptn: +> this is the definition of CONCEPT Concept2Ptn in de PATTERN + +> Definition Concept3Ptn: +> this is the definition of CONCEPT Concept3Ptn in de PATTERN + +> Definition Concept4Ptn: +> this is the definition of CONCEPT Concept4Ptn in de PATTERN + +> this is the purpose of the RELATION relatie1Ptn, gedefineerd in de +> PATTERN + +Relation 0: relatie1Ptn\[Concept0Ptn\*Concept0Ptn\] +this is the meaning of the RELATION relatie1Ptn, gedefineerd in de +PATTERN + +  + +Relation 1: relatie2Ptn\[Concept0Ptn\*Concept0Ptn\] +this is the meaning of the RELATION relatie2Ptn, gedefineerd in de +PATTERN + +  + +Relation 2: relatie3Ptn\[Concept0Ptn\*Concept0Ptn\] +this is the meaning of the RELATION relatie3Ptn, gedefineerd in de +PATTERN + +  + +Relation 3: relatie4Ptn\[Concept1Ptn\*Concept2Ptn\] +this is the meaning of the RELATION relatie4Ptn, gedefineerd in de +PATTERN + +This relation is total. + +Phrases that can be made are for instance: + +- John* corresponds to *Business IT* in relation *relatie4Ptn. +- Peter* corresponds to *Management* in relation *relatie4Ptn. +- Susan* corresponds to *Business IT* in relation *relatie4Ptn. + +Relation 4: relatie5Ptn\[Concept3Ptn\*Concept2Ptn\] +this is the meaning of the RELATION relatie5Ptn, gedefineerd in de +PATTERN + +Phrases that can be made are for instance: + +- Finance* corresponds to *Management* in relation *relatie5Ptn. +- IT-Governance* corresponds to *Management* in relation *relatie5Ptn. +- IT-Governance* corresponds to *Business IT* in relation *relatie5Ptn. + +Relation 5: relatie6Ptn\[Concept1Ptn\*Concept3Ptn\] +this is the meaning of the RELATION relatie6Ptn, gedefineerd in de +PATTERN + +  + +Relation 6: relatie7Ptn\[Concept4Ptn\*Concept4Ptn\] +this is the meaning of the RELATION relatie7Ptn, gedefineerd in de +PATTERN + +> this is the purpose of the RULE Rule1Ptn, gedefineerd in de PATTERN + +Agreement 0: "Rule1Ptn". +The rule is undocumented. + +  + +Agreement 1: "Rule2Ptn". +this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN + +## Remaining + +This paragraph shows remaining artifacts that have not been described in previous paragraphs. + +> this is the purpose of the CONCEPT Concept0Ctx, gedefineerd in de +> CONTEXT + +> Definition Concept0Ctx: +> this is the definition of CONCEPT Concept0Ctx in de CONTEXT + +> Definition Concept1Ctx: +> this is the definition of CONCEPT Concept1Ctx in de CONTEXT + +> Definition Concept2Ctx: +> this is the definition of CONCEPT Concept2Ctx in de CONTEXT + +> Definition Concept3Ctx: +> this is the definition of CONCEPT Concept3Ctx in de CONTEXT + +> Definition Concept4Ctx: +> this is the definition of CONCEPT Concept4Ctx in de CONTEXT + +> Definition Concept5Ctx: +> this is the definition of CONCEPT Concept5Ctx in de CONTEXT + +> this is the purpose of the RELATION relatie1Ctx, gedefineerd in de +> CONTEXT + +Relation 15: relatie1Ctx\[Concept0Ctx\*Concept0Ctx\] +this is the meaning of the RELATION relatie1Ctx, gedefineerd in de +CONTEXT + +  + +Relation 16: relatie2Ctx\[Concept0Ctx\*Concept0Ctx\] +this is the meaning of the RELATION relatie2Ctx, gedefineerd in de +CONTEXT + +  + +Relation 17: relatie3Ctx\[Concept0Ctx\*Concept0Ctx\] +this is the meaning of the RELATION relatie3Ctx, gedefineerd in de +CONTEXT + +  + +Relation 18: relatie4Ctx\[Concept1Ctx\*Concept2Ctx\] +this is the meaning of the RELATION relatie4Ctx, gedefineerd in de +CONTEXT + +This relation is total. + +Phrases that can be made are for instance: + +- John* corresponds to *Business IT* in relation *relatie4Ctx. +- Peter* corresponds to *Management* in relation *relatie4Ctx. +- Susan* corresponds to *Business IT* in relation *relatie4Ctx. + +Relation 19: relatie5Ctx\[Concept3Ctx\*Concept2Ctx\] +this is the meaning of the RELATION relatie5Ctx, gedefineerd in de +CONTEXT + +Phrases that can be made are for instance: + +- Finance* corresponds to *Management* in relation *relatie5Ctx. +- IT-Governance* corresponds to *Management* in relation *relatie5Ctx. +- IT-Governance* corresponds to *Business IT* in relation *relatie5Ctx. + +Relation 20: relatie6Ctx\[Concept1Ctx\*Concept3Ctx\] +this is the meaning of the RELATION relatie6Ctx, gedefineerd in de +CONTEXT + +  + +Relation 21: relatie7Ctx\[Concept4Ctx\*Concept4Ctx\] +this is the meaning of the RELATION relatie7Ctx, gedefineerd in de +CONTEXT + +  + +Relation 22: relatie7Ctx\[Concept5Ctx\*Concept5Ctx\] + +> this is the purpose of the RULE RuleCtx, gedefineerd in de CONTEXT + +Agreement 4: "Rule1Ctx". +The rule is undocumented. + +  + +Agreement 5: "Rule2Ctx". +this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT + +# Diagnosis + +This chapter provides an analysis of the Ampersand script of *‘ContextName’*. This analysis is intended for the author(s) of this script. It can be used to complete the script or to improve possible flaws. + +*ContextName* assigns rules to roles. The following table shows the rules that are being maintained by a given role. + +[TABLE] + +Concepts Concept0Ptn, Concept1Ctx, Concept2Ctx, Concept2Ptn, +Concept3Ctx, Concept3Ptn, Concept4Ctx, Concept4Ptn, and +Concept5Ctx remain without a purpose. + +The relation *r**e**l**a**t**i**e*7*C**t**x*\[*C**o**n**c**e**p**t*5*C**t**x* \* *C**o**n**c**e**p**t*5*C**t**x*\] lacks both a purpose as well as a meaning. + +The purpose of 12 relations is not specified. Three examples of relations without a purpose are: *r**e**l**a**t**i**e*2*C**t**x*\[*C**o**n**c**e**p**t*0*C**t**x* \* *C**o**n**c**e**p**t*0*C**t**x*\], +*r**e**l**a**t**i**e*2*P**t**n*\[*C**o**n**c**e**p**t*0*P**t**n* \* *C**o**n**c**e**p**t*0*P**t**n*\], +and +*r**e**l**a**t**i**e*3*C**t**x*\[*C**o**n**c**e**p**t*0*C**t**x* \* *C**o**n**c**e**p**t*0*C**t**x*\] + +Concepts Concept4Ctx, Concept5Ctx, and +Concept4Ptn are defined, but not used. + +Relations *r**e**l**a**t**i**e*3*C**t**x*, +*r**e**l**a**t**i**e*3*P**t**n*, *r**e**l**a**t**i**e*7*C**t**x*, +*r**e**l**a**t**i**e*7*C**t**x*, and +*r**e**l**a**t**i**e*7*P**t**n* are not used in any rule. + +**¿fig:Concept diagram of relations in PatternName?** + shows a conceptual diagram with all relations. + +![Concept diagram of relations in +PatternName](./images/RelationsInPatternPatternName.dot "fig:Concept diagram of relations in PatternName") + +The following rules are defined without documenting their purpose: + +- *Rule2Ctx* (/workspaces/Ampersand/testfile.adl:38:1) + + *r**e**l**a**t**i**e*6*C**t**x* ⊢ *r**e**l**a**t**i**e*4*C**t**x*; *r**e**l**a**t**i**e*5*C**t**x*^(⌣) + + For all c, c': If c relatie6Ctx c' then (There exists c'': c + relatie4Ctx c'' and c' relatie5Ctx c'') + +- *Rule2Ptn* (/workspaces/Ampersand/testfile.adl:113:1) + + *r**e**l**a**t**i**e*6*P**t**n* ⊢ *r**e**l**a**t**i**e*4*P**t**n*; *r**e**l**a**t**i**e*5*P**t**n*^(⌣) + + For all c, c': If c relatie6Ptn c' then (There exists c'': c + relatie4Ptn c'' and c' relatie5Ptn c'') + +The following rules are not accompanied by a meaning written in natural language: + +- *Rule1Ctx* (/workspaces/Ampersand/testfile.adl:36:1) + + *r**e**l**a**t**i**e*1*C**t**x* ⊢ *r**e**l**a**t**i**e*2*C**t**x* + + For all c, c': If c relatie1Ctx c' then c relatie2Ctx c' + +- *Rule1Ptn* (/workspaces/Ampersand/testfile.adl:111:1) + + *r**e**l**a**t**i**e*1*P**t**n* ⊢ *r**e**l**a**t**i**e*2*P**t**n* + + For all c, c': If c relatie1Ptn c' then c relatie2Ptn c' + +The table below shows for each theme (i.e. pattern) the number of relations and rules, followed by the number and percentage that have a reference. Relations declared in multiple themes are counted multiple times. + +[TABLE] + +The table below shows the signal rules per role. + +[TABLE] + +The population in this script does not specify any work in progress. + +The population in this script violates no rule. + +  + +# Conceptual Analysis + +> this is the purpose of the CONTEXT ContextName, gedefineerd in de +> CONTEXT + +## PatternName + +> this is the purpose of the PATTERN PatternName, gedefineerd in de +> PATTERN + +> Definition Concept0Ptn: +> this is the definition of CONCEPT Concept0Ptn in de PATTERN + +> this is the purpose of the CONCEPT ConceptPtn, gedefineerd in de +> PATTERN + +> Definition Concept1Ptn: +> this is the definition of CONCEPT Concept1Ptn in de PATTERN + +> Definition Concept2Ptn: +> this is the definition of CONCEPT Concept2Ptn in de PATTERN + +> Definition Concept3Ptn: +> this is the definition of CONCEPT Concept3Ptn in de PATTERN + +> Definition Concept4Ptn: +> this is the definition of CONCEPT Concept4Ptn in de PATTERN + +**¿fig:Concept diagram of the rules in PatternName?** Conceptual diagram +of ‘PatternName’. + +![Concept diagram of the rules in +PatternName](./images/CDPatternPatternName.dot "fig:Concept diagram of the rules in PatternName") + +### Relation + +[TABLE] + +### Rules + +This section itemizes the rules with a reference to the shared language +of stakeholders for the sake of traceability. + + +The undocumented agreement \[ @agr:SharedLangrule-6351609249149493099 \] +has been made: + +this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN + +Using relations **¿eq:ConceptualAnalysisrelation-2207915830139284388?** +(relatie4Ptn), **¿eq:ConceptualAnalysisrelation--7040742365795626749?** +(relatie5Ptn), **¿eq:ConceptualAnalysisrelation--3113214035548729453?** +(relatie6Ptn), this is formalized as + +**Rule +***r**e**l**a**t**i**e*6*P**t**n* ⊢ *r**e**l**a**t**i**e*4*P**t**n*; *r**e**l**a**t**i**e*5*P**t**n*^(⌣) + +**¿fig:Concept diagram of rule Rule2Ptn?** shows a conceptual diagram of +this rule. + +![Concept diagram of rule +Rule2Ptn](./images/CDRuleRule2Ptn.dot "fig:Concept diagram of rule Rule2Ptn") + +## Remaining + +> this is the purpose of the CONCEPT Concept0Ctx, gedefineerd in de +> CONTEXT + +> Definition Concept0Ctx: +> this is the definition of CONCEPT Concept0Ctx in de CONTEXT + +> Definition Concept1Ctx: +> this is the definition of CONCEPT Concept1Ctx in de CONTEXT + +> Definition Concept2Ctx: +> this is the definition of CONCEPT Concept2Ctx in de CONTEXT + +> Definition Concept3Ctx: +> this is the definition of CONCEPT Concept3Ctx in de CONTEXT + +> Definition Concept4Ctx: +> this is the definition of CONCEPT Concept4Ctx in de CONTEXT + +> Definition Concept5Ctx: +> this is the definition of CONCEPT Concept5Ctx in de CONTEXT + +### Relation + +[TABLE] + +### Rules + +This section itemizes the rules with a reference to the shared language +of stakeholders for the sake of traceability. + + +The undocumented agreement \[ @agr:SharedLangrule-6367651123801874590 \] +has been made: + +this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT + +Using relations **¿eq:ConceptualAnalysisrelation-759614536307421747?** +(relatie4Ctx), **¿eq:ConceptualAnalysisrelation--6924562008301087824?** +(relatie5Ctx), **¿eq:ConceptualAnalysisrelation-4792836765589561620?** +(relatie6Ctx), this is formalized as + +**Rule +***r**e**l**a**t**i**e*6*C**t**x* ⊢ *r**e**l**a**t**i**e*4*C**t**x*; *r**e**l**a**t**i**e*5*C**t**x*^(⌣) + +**¿fig:Concept diagram of rule Rule2Ctx?** shows a conceptual diagram of +this rule. + +![Concept diagram of rule +Rule2Ctx](./images/CDRuleRule2Ctx.dot "fig:Concept diagram of rule Rule2Ctx") + +# Data structure + +This chapter contains the result of the data analysis. It is structured +as follows: + +We start with the classification model, followed by a list of all +relations, that are the foundation of the rest of the analysis. Finally, +the logical and technical data model are discussed. + +## Rules + +In this section an overview of all rules by printing the term of each +rule. The process rules are given first, followed by the invariants. + +### Process rules + +Process rules are rules that are signalled. + +**Process rule: *Compute relatie1Ctx\[Concept0Ctx\*Concept0Ctx\] using +DelPair*** + +*r**e**l**a**t**i**e*1*C**t**x* ⊢ *r**e**l**a**t**i**e*2*C**t**x* ∩ *r**e**l**a**t**i**e*3*C**t**x* + +**Process rule: *Compute relatie1Ptn\[Concept0Ptn\*Concept0Ptn\] using +DelPair*** + +*r**e**l**a**t**i**e*1*P**t**n* ⊢ *r**e**l**a**t**i**e*2*P**t**n* ∩ *r**e**l**a**t**i**e*3*P**t**n* + +**Process rule: *Rule1Ctx*** + +> this is the purpose of the RULE RuleCtx, gedefineerd in de CONTEXT + +*r**e**l**a**t**i**e*1*C**t**x* ⊢ *r**e**l**a**t**i**e*2*C**t**x* + +**Process rule: *Rule1Ptn*** + +> this is the purpose of the RULE Rule1Ptn, gedefineerd in de PATTERN + +*r**e**l**a**t**i**e*1*P**t**n* ⊢ *r**e**l**a**t**i**e*2*P**t**n* + +### Invariants + +Invariants are rules that are enforced by the database. It is guaranteed +that violations cannot occur in the database. + +**Invariant: *Rule2Ctx*** + +this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT + +*r**e**l**a**t**i**e*6*C**t**x* ⊢ *r**e**l**a**t**i**e*4*C**t**x*; *r**e**l**a**t**i**e*5*C**t**x*^(⌣) + +Violations of this rule will result in an error message for the user: + +- <violation message should be printed here> + +**Invariant: *Rule2Ptn*** + +this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN + +*r**e**l**a**t**i**e*6*P**t**n* ⊢ *r**e**l**a**t**i**e*4*P**t**n*; *r**e**l**a**t**i**e*5*P**t**n*^(⌣) + +Violations of this rule will result in an error message for the user: + +- <violation message should be printed here> + +**Invariant: *TOT relatie4Ctx\[Concept1Ctx\*Concept2Ctx\]*** + +relatie4Ctx\[Concept1Ctx\*Concept2Ctx\] is total + +*I*_(\[*C**o**n**c**e**p**t*1*C**t**x*\]) ⊢ *r**e**l**a**t**i**e*4*C**t**x*; *r**e**l**a**t**i**e*4*C**t**x*^(⌣) + +**Invariant: *TOT relatie4Ptn\[Concept1Ptn\*Concept2Ptn\]*** + +relatie4Ptn\[Concept1Ptn\*Concept2Ptn\] is total + +*I*_(\[*C**o**n**c**e**p**t*1*P**t**n*\]) ⊢ *r**e**l**a**t**i**e*4*P**t**n*; *r**e**l**a**t**i**e*4*P**t**n*^(⌣) + +## Logical data model + +The functional requirements have been translated into a data model. This +model is shown by **¿fig:Logical data model of ContextName?** . + +![Logical data model of +ContextName](./images/LogicalDataModel.dot "fig:Logical data model of ContextName") + +There are no entity types. + +[TABLE] + +[TABLE] + +## Technical datamodel + +The functional requirements have been translated into a technical data +model. This model is shown by **¿fig:Technical data model of +ContextName?** . + +![Technical data model of +ContextName](./images/TechnicalDataModel.dot "fig:Technical data model of ContextName") + +The technical datamodel consists of the following 27 tables: + +### Table: Concept0Ctx + +This table has the following 1 attributes: + +- **Concept0Ctx** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept0Ptn + +This table has the following 1 attributes: + +- **Concept0Ptn** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept1Ctx + +This table has the following 1 attributes: + +- **Concept1Ctx** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept1Ptn + +This table has the following 1 attributes: + +- **Concept1Ptn** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept2Ctx + +This table has the following 1 attributes: + +- **Concept2Ctx** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept2Ptn + +This table has the following 1 attributes: + +- **Concept2Ptn** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept3Ctx + +This table has the following 1 attributes: + +- **Concept3Ctx** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept3Ptn + +This table has the following 1 attributes: + +- **Concept3Ptn** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: Concept4Ctx + +This table has the following 1 attributes: + +- **Concept4Ctx** + This attribute implements the identityrelation of + *C**o**n**c**e**p**t*4*C**t**x*. + `ALPHANUMERIC`, Mandatory, Unique. + +### Table: Concept4Ptn + +This table has the following 1 attributes: + +- **Concept4Ptn** + This attribute implements the identityrelation of + *C**o**n**c**e**p**t*4*P**t**n*. + `ALPHANUMERIC`, Mandatory, Unique. + +### Table: Concept5Ctx + +This table has the following 1 attributes: + +- **Concept5Ctx** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: ONE + +This table has the following 1 attributes: + +- **ONE** + This attribute is the primary key. + `OBJECT`, Mandatory, Unique. + +### Table: relatie1Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*C**t**x* → *r**e**l**a**t**i**e*1*C**t**x**C**o**n**c**e**p**t*0*C**t**x*. +It contains the following columns: + +- **SrcConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +- **TgtConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +### Table: relatie1Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*P**t**n* → *r**e**l**a**t**i**e*1*P**t**n**C**o**n**c**e**p**t*0*P**t**n*. +It contains the following columns: + +- **SrcConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +- **TgtConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +### Table: relatie2Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*C**t**x* → *r**e**l**a**t**i**e*2*C**t**x**C**o**n**c**e**p**t*0*C**t**x*. +It contains the following columns: + +- **SrcConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +- **TgtConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +### Table: relatie2Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*P**t**n* → *r**e**l**a**t**i**e*2*P**t**n**C**o**n**c**e**p**t*0*P**t**n*. +It contains the following columns: + +- **SrcConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +- **TgtConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +### Table: relatie3Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*C**t**x* → *r**e**l**a**t**i**e*3*C**t**x**C**o**n**c**e**p**t*0*C**t**x*. +It contains the following columns: + +- **SrcConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +- **TgtConcept0Ctx** + This attribute is a foreign key to Concept0Ctx + `OBJECT`, Mandatory. + +### Table: relatie3Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*0*P**t**n* → *r**e**l**a**t**i**e*3*P**t**n**C**o**n**c**e**p**t*0*P**t**n*. +It contains the following columns: + +- **SrcConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +- **TgtConcept0Ptn** + This attribute is a foreign key to Concept0Ptn + `OBJECT`, Mandatory. + +### Table: relatie4Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*1*C**t**x* → *r**e**l**a**t**i**e*4*C**t**x**C**o**n**c**e**p**t*2*C**t**x*. +It contains the following columns: + +- **Concept1Ctx** + This attribute is a foreign key to Concept1Ctx + `OBJECT`, Mandatory. + +- **Concept2Ctx** + This attribute is a foreign key to Concept2Ctx + `OBJECT`, Mandatory. + +### Table: relatie4Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*1*P**t**n* → *r**e**l**a**t**i**e*4*P**t**n**C**o**n**c**e**p**t*2*P**t**n*. +It contains the following columns: + +- **Concept1Ptn** + This attribute is a foreign key to Concept1Ptn + `OBJECT`, Mandatory. + +- **Concept2Ptn** + This attribute is a foreign key to Concept2Ptn + `OBJECT`, Mandatory. + +### Table: relatie5Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*3*C**t**x* → *r**e**l**a**t**i**e*5*C**t**x**C**o**n**c**e**p**t*2*C**t**x*. +It contains the following columns: + +- **Concept3Ctx** + This attribute is a foreign key to Concept3Ctx + `OBJECT`, Mandatory. + +- **Concept2Ctx** + This attribute is a foreign key to Concept2Ctx + `OBJECT`, Mandatory. + +### Table: relatie5Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*3*P**t**n* → *r**e**l**a**t**i**e*5*P**t**n**C**o**n**c**e**p**t*2*P**t**n*. +It contains the following columns: + +- **Concept3Ptn** + This attribute is a foreign key to Concept3Ptn + `OBJECT`, Mandatory. + +- **Concept2Ptn** + This attribute is a foreign key to Concept2Ptn + `OBJECT`, Mandatory. + +### Table: relatie6Ctx + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*1*C**t**x* → *r**e**l**a**t**i**e*6*C**t**x**C**o**n**c**e**p**t*3*C**t**x*. +It contains the following columns: + +- **Concept1Ctx** + This attribute is a foreign key to Concept1Ctx + `OBJECT`, Mandatory. + +- **Concept3Ctx** + This attribute is a foreign key to Concept3Ctx + `OBJECT`, Mandatory. + +### Table: relatie6Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*1*P**t**n* → *r**e**l**a**t**i**e*6*P**t**n**C**o**n**c**e**p**t*3*P**t**n*. +It contains the following columns: + +- **Concept1Ptn** + This attribute is a foreign key to Concept1Ptn + `OBJECT`, Mandatory. + +- **Concept3Ptn** + This attribute is a foreign key to Concept3Ptn + `OBJECT`, Mandatory. + +### Table: relatie7Ctx1 + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*5*C**t**x* → *r**e**l**a**t**i**e*7*C**t**x**C**o**n**c**e**p**t*5*C**t**x*. +It contains the following columns: + +- **SrcConcept5Ctx** + This attribute is a foreign key to Concept5Ctx + `OBJECT`, Mandatory. + +- **TgtConcept5Ctx** + This attribute is a foreign key to Concept5Ctx + `OBJECT`, Mandatory. + +### Table: relatie7Ctx2 + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*4*C**t**x* → *r**e**l**a**t**i**e*7*C**t**x**C**o**n**c**e**p**t*4*C**t**x*. +It contains the following columns: + +- **SrcConcept4Ctx** + This attribute is a foreign key to Concept4Ctx + `ALPHANUMERIC`, Mandatory. + +- **TgtConcept4Ctx** + This attribute is a foreign key to Concept4Ctx + `ALPHANUMERIC`, Mandatory. + +### Table: relatie7Ptn + +This is a link-table, implementing the relation +*C**o**n**c**e**p**t*4*P**t**n* → *r**e**l**a**t**i**e*7*P**t**n**C**o**n**c**e**p**t*4*P**t**n*. +It contains the following columns: + +- **SrcConcept4Ptn** + This attribute is a foreign key to Concept4Ptn + `ALPHANUMERIC`, Mandatory. + +- **TgtConcept4Ptn** + This attribute is a foreign key to Concept4Ptn + `ALPHANUMERIC`, Mandatory. + +## Logical data model + +[TABLE] diff --git a/testfile_generated_pop.json b/testfile_generated_pop.json new file mode 100644 index 000000000..5375fb070 --- /dev/null +++ b/testfile_generated_pop.json @@ -0,0 +1,4519 @@ +{ + "atoms": [ + { + "atoms": [ + "Ampersand-v4.8.0 [feature/atlas-import:19985a821*], build time: 18-Jun-24 11:50:48 CEST" + ], + "concept": "AmpersandVersion" + }, + { + "atoms": [], + "concept": "AtomValue" + }, + { + "atoms": [ + "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#" + ], + "concept": "BinaryTerm" + }, + { + "atoms": [ + "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#", + "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#", + "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#", + "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#", + "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#", + "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#", + "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#", + "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#", + "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#", + "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#", + "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#", + "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#" + ], + "concept": "BindedRelation" + }, + { + "atoms": [], + "concept": "Box" + }, + { + "atoms": [], + "concept": "BoxHeader" + }, + { + "atoms": [], + "concept": "BoxItem" + }, + { + "atoms": [], + "concept": "BxExpr" + }, + { + "atoms": [], + "concept": "BxTxt" + }, + { + "atoms": [], + "concept": "CombineStrings" + }, + { + "atoms": [ + "ONE", + "Concept2Ptn", + "Concept2Ctx", + "Concept3Ctx", + "Concept3Ptn", + "Concept0Ptn", + "Concept0Ctx", + "Concept1Ptn", + "Concept1Ctx", + "Concept4Ctx", + "Concept4Ptn", + "Concept5Ctx" + ], + "concept": "Concept" + }, + { + "atoms": [ + "Concept2Ptn", + "Concept2Ctx", + "Concept3Ctx", + "Concept3Ptn", + "Concept0Ptn", + "Concept0Ctx", + "Concept1Ptn", + "Concept1Ctx", + "Concept4Ctx", + "Concept4Ptn", + "Concept5Ctx" + ], + "concept": "ConceptDef" + }, + { + "atoms": [ + "ONE", + "Concept2Ptn", + "Concept2Ctx", + "Concept3Ctx", + "Concept3Ptn", + "Concept0Ptn", + "Concept0Ctx", + "Concept1Ptn", + "Concept1Ctx", + "Concept4Ctx", + "Concept4Ptn", + "Concept5Ctx" + ], + "concept": "ConceptName" + }, + { + "atoms": [ + "conj__6", + "conj__7", + "conj__4", + "conj__5", + "conj__2", + "conj__3", + "conj__0", + "conj__1" + ], + "concept": "Conjunct" + }, + { + "atoms": [ + "ContextName" + ], + "concept": "Context" + }, + { + "atoms": [ + "ContextName" + ], + "concept": "ContextName" + }, + { + "atoms": [], + "concept": "Cruds" + }, + { + "atoms": [ + "ONE", + "Compute_32relatie1Ctx_91Concept0Ctx_42Concept0Ctx_93_32using_32DelPair", + "Compute_32relatie1Ptn_91Concept0Ptn_42Concept0Ptn_93_32using_32DelPair", + "Concept2Ptn", + "Concept2Ctx", + "Concept3Ctx", + "Concept3Ptn", + "Concept0Ptn", + "Concept0Ctx", + "Concept1Ptn", + "Concept1Ctx", + "TOT_32relatie4Ptn_91Concept1Ptn_42Concept2Ptn_93", + "Concept4Ctx", + "Concept4Ptn", + "Concept5Ctx", + "TOT_32relatie4Ctx_91Concept1Ctx_42Concept2Ctx_93", + "Rule1Ptn", + "Rule1Ctx", + "PatternName", + "Rule2Ptn", + "Rule2Ctx" + ], + "concept": "EncodedName" + }, + { + "atoms": [ + "EDcI_32_Concept3Ptn", + "EDcI_32_Concept3Ctx", + "EDcI_32_Concept0Ctx", + "EDcI_32_Concept0Ptn", + "EDcI_32_Concept1Ptn", + "EDcI_32_Concept1Ctx" + ], + "concept": "Epsilon" + }, + { + "atoms": [], + "concept": "FieldDef" + }, + { + "atoms": [], + "concept": "FieldName" + }, + { + "atoms": [], + "concept": "Interface" + }, + { + "atoms": [], + "concept": "InterfaceName" + }, + { + "atoms": [], + "concept": "InterfaceRef" + }, + { + "atoms": [], + "concept": "IsE" + }, + { + "atoms": [], + "concept": "Isa" + }, + { + "atoms": [ + "English", + "Dutch" + ], + "concept": "Language" + }, + { + "atoms": [ + "Markup_32__123_amLang_32__61__32_English_44__32_am#-718118654941649207#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#780419289325136719#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6957948246529230050#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-2691035732473098638#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-3596564259022656172#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-4416761693972881498#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#2508878186446385586#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-5790085721524356763#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6741491697267922342#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-9210431460258756871#", + "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#7691384841761634918#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-1364953649159167877#", + "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#-39004579346154935#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-8202964217406110375#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6607581912605832750#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#9033086796309510097#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#1186103731213392424#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-3114025089730486240#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#4322750390262561358#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-4924905946936603246#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#7881207238937330204#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#4357356708693980212#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#977393125919530039#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#2540477369624751214#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-3948813427198303928#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#143417346580667899#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-4969461410077422351#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-8219677497998157534#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6995093958773664282#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#5634450987304384202#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-111980572423579960#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#4997982659595614801#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-8335058559078070652#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#204957075477059193#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6748413424081170504#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#2154374317484107883#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#6548203824604925415#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-7158099665861021703#", + "Markup_32__123_amLang_32__61__32_English_44__32_am#-7718610136159578277#" + ], + "concept": "Markup" + }, + { + "atoms": [ + "this is the purpose of the CONTEXT ContextName, gedefineerd in de CONTEXT", + "this is the meaning of the RELATION relatie5Ptn, gedefineerd in de PATTERN", + "this is the definition of CONCEPT Concept1Ptn in de PATTERN", + "this is the meaning of the RELATION relatie3Ctx, gedefineerd in de CONTEXT", + "relatie4Ctx[Concept1Ctx*Concept2Ctx] is total", + "this is the definition of CONCEPT Concept0Ctx in de CONTEXT", + "this is the purpose of the RELATION relatie1Ptn, gedefineerd in de PATTERN", + "relatie4Ptn[Concept1Ptn*Concept2Ptn] is total", + "this is the definition of CONCEPT Concept4Ptn in de PATTERN", + "this is the purpose of the CONCEPT Concept0Ctx, gedefineerd in de CONTEXT", + "this is the definition of CONCEPT Concept3Ptn in de PATTERN", + "this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT", + "this is the definition of CONCEPT Concept2Ptn in de PATTERN", + "this is the purpose of the RELATION relatie1Ctx, gedefineerd in de CONTEXT", + "this is the meaning of the RELATION relatie5Ctx, gedefineerd in de CONTEXT", + "this is the meaning of the RELATION relatie7Ptn, gedefineerd in de PATTERN", + "this is the definition of CONCEPT Concept3Ctx in de CONTEXT", + "relatie4Ctx[Concept1Ctx*Concept2Ctx] is totaal", + "this is the meaning of the RELATION relatie4Ptn, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie2Ctx, gedefineerd in de CONTEXT", + "this is the purpose of the RULE Rule1Ptn, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT", + "this is the meaning of the RELATION relatie7Ctx, gedefineerd in de CONTEXT", + "this is the meaning of the RELATION relatie6Ptn, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie2Ptn, gedefineerd in de PATTERN", + "this is the definition of CONCEPT Concept5Ctx in de CONTEXT", + "this is the purpose of the CONCEPT ConceptPtn, gedefineerd in de PATTERN", + "relatie4Ptn[Concept1Ptn*Concept2Ptn] is totaal", + "this is the definition of CONCEPT Concept2Ctx in de CONTEXT", + "this is the purpose of the RULE RuleCtx, gedefineerd in de CONTEXT", + "this is the definition of CONCEPT Concept4Ctx in de CONTEXT", + "this is the purpose of the PATTERN PatternName, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie3Ptn, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie6Ctx, gedefineerd in de CONTEXT", + "this is the definition of CONCEPT Concept1Ctx in de CONTEXT", + "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN", + "this is the meaning of the RELATION relatie4Ctx, gedefineerd in de CONTEXT", + "this is the definition of CONCEPT Concept0Ptn in de PATTERN", + "this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN" + ], + "concept": "MarkupText" + }, + { + "atoms": [ + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7336011820590190957#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3033887122062313695#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8267445001533881757#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2972967415894657638#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6249640674508813493#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3661585823743132977#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-3104006893282537937#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3432253252619189930#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8020230793269538486#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#8823450038010881033#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4514009685666603721#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3820039773241830538#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2719693414179535953#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6529745925154688#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7685031061723645971#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5612645009418470036#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5045929839480954488#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-39338667786759613#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3932311382304902087#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#1708884214360249389#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6789567509210467242#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-2058627514832290968#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-1263320037038230727#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-4547031270846048003#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5174869952736600701#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6444885485769219193#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2001315471340684598#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6507961272176518548#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4213423125750508484#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#5132100957957810131#", + "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-695486007622218560#" + ], + "concept": "Meaning" + }, + { + "atoms": [], + "concept": "Message" + }, + { + "atoms": [], + "concept": "ObjectDef" + }, + { + "atoms": [ + "Equivalence", + "Converse", + "Union", + "Inclusion", + "Composition", + "UnaryMinus" + ], + "concept": "Operator" + }, + { + "atoms": [ + "PropertyRule for TOT relatie4Ptn[Concept1Ptn*Concept2Ptn] which is defined at /workspaces/Ampersand/testfile.adl:97:1", + "/workspaces/Ampersand/testfile.adl:60:1", + "/workspaces/Ampersand/testfile.adl:62:1", + "/workspaces/Ampersand/testfile.adl:66:1", + "/workspaces/Ampersand/testfile.adl:68:1", + "/workspaces/Ampersand/testfile.adl:38:1", + "/workspaces/Ampersand/testfile.adl:36:1", + "/workspaces/Ampersand/testfile.adl:34:1", + "PropertyRule for TOT relatie4Ctx[Concept1Ctx*Concept2Ctx] which is defined at /workspaces/Ampersand/testfile.adl:24:1", + "/workspaces/Ampersand/testfile.adl:111:1", + "/workspaces/Ampersand/testfile.adl:113:1", + "/workspaces/Ampersand/testfile.adl:108:1", + "/workspaces/Ampersand/testfile.adl:136:1", + "/workspaces/Ampersand/testfile.adl:134:1", + "/workspaces/Ampersand/testfile.adl:142:1", + "/workspaces/Ampersand/testfile.adl:140:1" + ], + "concept": "Origin" + }, + { + "atoms": [ + "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#" + ], + "concept": "PairView" + }, + { + "atoms": [ + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#427584747091847577#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#397365921140446891#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#7076475421362249964#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-222847566531777223#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#909132650387284464#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-8856032247674597582#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#434784251847710340#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8929278047518348709#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#1669304580896248908#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#7364802977931399090#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#-5340061290482844007#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8630916846699676933#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#-4197528158037810488#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8490771595859214647#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#-4592783364936187033#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#928909248522846011#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#-2958958734574968839#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-7153479215279513170#", + "PairViewText_32__123_pos_32__61__32__47_workspaces#2608908201794961702#", + "PairViewExp_32__123_pos_32__61__32__47_workspaces_#4237171118977070477#" + ], + "concept": "PairViewSegment" + }, + { + "atoms": [ + "PatternName" + ], + "concept": "Pattern" + }, + { + "atoms": [ + "PatternName" + ], + "concept": "PatternName" + }, + { + "atoms": [ + "TOT" + ], + "concept": "Property" + }, + { + "atoms": [ + "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#" + ], + "concept": "PropertyRule" + }, + { + "atoms": [ + "Markup__Markup_32__123_amLang_32__61__32_English_4#-6814548954979808091#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#-3745460058046554229#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#2981341340248669210#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#-892132059340740708#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#8579674190028987950#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#2698132384932322184#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#-8920467236526981988#", + "Markup__Markup_32__123_amLang_32__61__32_English_4#-673828260765515656#" + ], + "concept": "Purpose" + }, + { + "atoms": [], + "concept": "Quad" + }, + { + "atoms": [ + "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_" + ], + "concept": "Relation" + }, + { + "atoms": [ + "relatie6Ctx", + "relatie6Ptn", + "relatie7Ptn", + "relatie7Ctx", + "relatie4Ctx", + "relatie4Ptn", + "relatie5Ctx", + "relatie5Ptn", + "relatie2Ptn", + "relatie2Ctx", + "relatie3Ctx", + "relatie3Ptn", + "relatie1Ctx", + "relatie1Ptn" + ], + "concept": "RelationName" + }, + { + "atoms": [ + "ExecEngine", + "User" + ], + "concept": "Role" + }, + { + "atoms": [ + "User" + ], + "concept": "RoleName" + }, + { + "atoms": [ + "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "Rule1Ptn", + "Rule1Ctx", + "Rule2Ptn", + "Rule2Ctx" + ], + "concept": "Rule" + }, + { + "atoms": [ + "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair", + "TOT relatie4Ctx[Concept1Ctx*Concept2Ctx]", + "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair", + "Rule1Ptn", + "Rule1Ctx", + "Rule2Ptn", + "Rule2Ctx", + "TOT relatie4Ptn[Concept1Ptn*Concept2Ptn]" + ], + "concept": "RuleName" + }, + { + "atoms": [ + "0", + "1", + "2", + "3", + "4", + "5" + ], + "concept": "SequenceNumber" + }, + { + "atoms": [ + "relatie1Ctx [Concept0Ctx*Concept0Ctx]", + "relatie4Ptn [Concept1Ptn*Concept2Ptn]~", + " -relatie1Ctx [Concept0Ctx*Concept0Ctx]\\/relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", + "relatie6Ptn [Concept1Ptn*Concept3Ptn] |- relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~", + "relatie2Ctx [Concept0Ctx*Concept0Ctx]", + "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", + "relatie4Ptn [Concept1Ptn*Concept2Ptn]", + "I[Concept3Ctx]", + "VIOLATION (TXT \"{EX} DelPair;relatie1Ptn;Concept0Ptn;\"\n ,SRC I[Concept0Ptn]\n ,TXT \";Concept0Ptn;\"\n ,TGT I[Concept0Ptn])", + "relatie4Ctx [Concept1Ctx*Concept2Ctx]~", + " -relatie1Ctx [Concept0Ctx*Concept0Ctx]\\/relatie2Ctx [Concept0Ctx*Concept0Ctx]", + "relatie3Ptn [Concept0Ptn*Concept0Ptn]", + " -relatie6Ctx [Concept1Ctx*Concept3Ctx]", + "I[Concept1Ctx]", + "I[Concept1Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]", + "I[Concept0Ctx]", + "relatie4Ctx [Concept1Ctx*Concept2Ctx]", + "VIOLATION (TXT \"Concept1Ptn \"\n ,SRC I[Concept1Ptn]\n ,TXT \" is in relatie6Ptn with Concept3Ptn \"\n ,TGT I[Concept3Ptn]\n ,TXT \" which is not part of the Concept2Ptn \"\n ,SRC I[Concept1Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn])", + " -relatie6Ptn [Concept1Ptn*Concept3Ptn]", + " -I[Concept1Ctx]\\/relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~", + " -I[Concept1Ptn]\\/relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~", + "VIOLATION (TXT \"Concept1Ctx \"\n ,SRC I[Concept1Ctx]\n ,TXT \" is in relatie6Ctx with Concept3Ctx \"\n ,TGT I[Concept3Ctx]\n ,TXT \" which is not part of the Concept2Ctx \"\n ,SRC I[Concept1Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx])", + "I[Concept1Ctx] |- relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~", + "I[Concept1Ptn] |- relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~", + "relatie1Ptn [Concept0Ptn*Concept0Ptn]", + "relatie6Ptn [Concept1Ptn*Concept3Ptn]", + "relatie6Ctx [Concept1Ctx*Concept3Ctx]", + " -relatie6Ptn [Concept1Ptn*Concept3Ptn]\\/relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~", + "relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", + "I[Concept3Ptn]", + "relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~", + "relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", + " -I[Concept1Ptn]", + " -relatie1Ctx [Concept0Ctx*Concept0Ctx]", + "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]", + " -relatie6Ctx [Concept1Ctx*Concept3Ctx]\\/relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~", + "VIOLATION (TXT \"{EX} DelPair;relatie1Ctx;Concept0Ctx;\"\n ,SRC I[Concept0Ctx]\n ,TXT \";Concept0Ctx;\"\n ,TGT I[Concept0Ctx])", + "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]", + "relatie5Ctx [Concept3Ctx*Concept2Ctx]~", + " -relatie1Ptn [Concept0Ptn*Concept0Ptn]\\/relatie2Ptn [Concept0Ptn*Concept0Ptn]", + "I[Concept1Ptn]", + " -relatie1Ptn [Concept0Ptn*Concept0Ptn]", + "I[Concept1Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]", + "relatie6Ctx [Concept1Ctx*Concept3Ctx] |- relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~", + "I[Concept0Ptn]", + "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]", + "relatie5Ptn [Concept3Ptn*Concept2Ptn]~", + "relatie5Ctx [Concept3Ctx*Concept2Ctx]", + "relatie2Ptn [Concept0Ptn*Concept0Ptn]", + " -relatie1Ptn [Concept0Ptn*Concept0Ptn]\\/relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]", + "relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~", + "relatie5Ptn [Concept3Ptn*Concept2Ptn]", + "relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~", + "relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~", + "relatie3Ctx [Concept0Ctx*Concept0Ctx]", + " -I[Concept1Ctx]" + ], + "concept": "ShowADL" + }, + { + "atoms": [ + "_91_Concept3Ptn_42_Concept2Ptn_93_", + "_91_Concept2Ctx_42_Concept1Ctx_93_", + "_91_Concept2Ctx_42_Concept3Ctx_93_", + "_91_Concept1Ctx_42_Concept2Ctx_93_", + "_91_Concept4Ctx_42_Concept4Ctx_93_", + "_91_Concept3Ptn_42_Concept3Ptn_93_", + "_91_Concept2Ptn_42_Concept1Ptn_93_", + "_91_Concept4Ptn_42_Concept4Ptn_93_", + "_91_Concept0Ptn_42_Concept0Ptn_93_", + "_91_Concept1Ptn_42_Concept3Ptn_93_", + "_91_Concept1Ptn_42_Concept1Ptn_93_", + "_91_Concept1Ptn_42_Concept2Ptn_93_", + "_91_Concept3Ctx_42_Concept2Ctx_93_", + "_91_Concept5Ctx_42_Concept5Ctx_93_", + "_91_Concept1Ctx_42_Concept3Ctx_93_", + "_91_Concept0Ctx_42_Concept0Ctx_93_", + "_91_Concept1Ctx_42_Concept1Ctx_93_", + "_91_Concept2Ptn_42_Concept3Ptn_93_", + "_91_Concept3Ctx_42_Concept3Ctx_93_" + ], + "concept": "Signature" + }, + { + "atoms": [], + "concept": "Singleton" + }, + { + "atoms": [ + "Src", + "Tgt" + ], + "concept": "SourceOrTarget" + }, + { + "atoms": [ + " which is not part of the Concept2Ctx ", + " is in relatie6Ctx with Concept3Ctx ", + "Concept1Ptn ", + " is in relatie6Ptn with Concept3Ptn ", + " which is not part of the Concept2Ptn ", + "Concept1Ctx " + ], + "concept": "String" + }, + { + "atoms": [], + "concept": "SubInterface" + }, + { + "atoms": [ + "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#", + "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#", + "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#", + "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#", + "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#", + "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#", + "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#", + "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#", + "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#", + "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#", + "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "EDcI_32_Concept3Ptn", + "EDcI_32_Concept3Ctx", + "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#", + "EDcI_32_Concept0Ctx", + "EDcI_32_Concept0Ptn", + "ECpl_32__40_EDcI_32_Concept1Ctx_41_", + "EDcI_32_Concept1Ptn", + "EDcI_32_Concept1Ctx" + ], + "concept": "Term" + }, + { + "atoms": [], + "concept": "Text" + }, + { + "atoms": [ + "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "ECpl_32__40_EDcI_32_Concept1Ctx_41_" + ], + "concept": "UnaryTerm" + }, + { + "atoms": [], + "concept": "V" + }, + { + "atoms": [], + "concept": "View" + }, + { + "atoms": [ + "1" + ], + "concept": "ONE" + } + ], + "links": [ + { + "links": [ + { + "src": "ContextName", + "tgt": "conj__6" + }, + { + "src": "ContextName", + "tgt": "conj__7" + }, + { + "src": "ContextName", + "tgt": "conj__4" + }, + { + "src": "ContextName", + "tgt": "conj__5" + }, + { + "src": "ContextName", + "tgt": "conj__2" + }, + { + "src": "ContextName", + "tgt": "conj__3" + }, + { + "src": "ContextName", + "tgt": "conj__0" + }, + { + "src": "ContextName", + "tgt": "conj__1" + } + ], + "relation": "allConjuncts[Context*Conjunct]" + }, + { + "links": [ + { + "src": "ContextName", + "tgt": "User" + } + ], + "relation": "allRoles[Context*Role]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "ContextName" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "ContextName" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "ContextName" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "ContextName" + }, + { + "src": "Rule1Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule1Ctx", + "tgt": "ContextName" + }, + { + "src": "Rule2Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule2Ctx", + "tgt": "ContextName" + } + ], + "relation": "allRules[Rule*Context]" + }, + { + "links": [ + { + "src": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "tgt": "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "tgt": "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "tgt": "EDcI_32_Concept1Ptn" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "tgt": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "tgt": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "tgt": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "tgt": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "tgt": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "tgt": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ctx_41_", + "tgt": "EDcI_32_Concept1Ctx" + } + ], + "relation": "arg[UnaryTerm*Term]" + }, + { + "links": [ + { + "src": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#", + "tgt": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#", + "tgt": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_" + }, + { + "src": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#", + "tgt": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#", + "tgt": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#", + "tgt": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#", + "tgt": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#", + "tgt": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_" + }, + { + "src": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#", + "tgt": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_" + }, + { + "src": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#", + "tgt": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#", + "tgt": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#", + "tgt": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#", + "tgt": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_" + } + ], + "relation": "bind[BindedRelation*Relation]" + }, + { + "links": [ + { + "src": "Concept2Ptn", + "tgt": "Concept2Ptn" + }, + { + "src": "Concept2Ctx", + "tgt": "Concept2Ctx" + }, + { + "src": "Concept3Ctx", + "tgt": "Concept3Ctx" + }, + { + "src": "Concept3Ptn", + "tgt": "Concept3Ptn" + }, + { + "src": "Concept0Ptn", + "tgt": "Concept0Ptn" + }, + { + "src": "Concept0Ctx", + "tgt": "Concept0Ctx" + }, + { + "src": "Concept1Ptn", + "tgt": "Concept1Ptn" + }, + { + "src": "Concept1Ctx", + "tgt": "Concept1Ctx" + }, + { + "src": "Concept4Ctx", + "tgt": "Concept4Ctx" + }, + { + "src": "Concept4Ptn", + "tgt": "Concept4Ptn" + }, + { + "src": "Concept5Ctx", + "tgt": "Concept5Ctx" + } + ], + "relation": "concept[ConceptDef*Concept]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "Concept2Ptn" + }, + { + "src": "PatternName", + "tgt": "Concept3Ptn" + }, + { + "src": "PatternName", + "tgt": "Concept0Ptn" + }, + { + "src": "PatternName", + "tgt": "Concept1Ptn" + }, + { + "src": "PatternName", + "tgt": "Concept4Ptn" + } + ], + "relation": "concepts[Pattern*Concept]" + }, + { + "links": [ + { + "src": "ONE", + "tgt": "ContextName" + }, + { + "src": "Concept2Ptn", + "tgt": "ContextName" + }, + { + "src": "Concept2Ctx", + "tgt": "ContextName" + }, + { + "src": "Concept3Ctx", + "tgt": "ContextName" + }, + { + "src": "Concept3Ptn", + "tgt": "ContextName" + }, + { + "src": "Concept0Ptn", + "tgt": "ContextName" + }, + { + "src": "Concept0Ctx", + "tgt": "ContextName" + }, + { + "src": "Concept1Ptn", + "tgt": "ContextName" + }, + { + "src": "Concept1Ctx", + "tgt": "ContextName" + }, + { + "src": "Concept4Ctx", + "tgt": "ContextName" + }, + { + "src": "Concept4Ptn", + "tgt": "ContextName" + }, + { + "src": "Concept5Ctx", + "tgt": "ContextName" + } + ], + "relation": "context[Concept*Context]" + }, + { + "links": [], + "relation": "context[Interface*Context]" + }, + { + "links": [], + "relation": "context[IsE*Context]" + }, + { + "links": [], + "relation": "context[Isa*Context]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "ContextName" + } + ], + "relation": "context[Pattern*Context]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "ContextName" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "ContextName" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "ContextName" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "ContextName" + }, + { + "src": "Rule1Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule1Ctx", + "tgt": "ContextName" + }, + { + "src": "Rule2Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule2Ctx", + "tgt": "ContextName" + } + ], + "relation": "context[Rule*Context]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "ContextName" + } + ], + "relation": "ctxds[Relation*Context]" + }, + { + "links": [ + { + "src": "Rule1Ctx", + "tgt": "ContextName" + }, + { + "src": "Rule2Ctx", + "tgt": "ContextName" + } + ], + "relation": "ctxrs[Rule*Context]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#5132100957957810131#" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6249640674508813493#" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-39338667786759613#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3432253252619189930#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-2058627514832290968#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3932311382304902087#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4514009685666603721#" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#8823450038010881033#" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8020230793269538486#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6507961272176518548#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2972967415894657638#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7336011820590190957#" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5612645009418470036#" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3033887122062313695#" + } + ], + "relation": "decMean[Relation*Meaning]" + }, + { + "links": [ + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "PatternName" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "PatternName" + } + ], + "relation": "declaredIn[Relation*Pattern]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "TOT" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "TOT" + } + ], + "relation": "declaredthrough[PropertyRule*Property]" + }, + { + "links": [], + "relation": "decprL[Relation*String]" + }, + { + "links": [], + "relation": "decprM[Relation*String]" + }, + { + "links": [], + "relation": "decprR[Relation*String]" + }, + { + "links": [], + "relation": "edit[FieldDef*Relation]" + }, + { + "links": [], + "relation": "editFlp[FieldDef*Relation]" + }, + { + "links": [ + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-6814548954979808091#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#2508878186446385586#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-3745460058046554229#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-2691035732473098638#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#2981341340248669210#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-718118654941649207#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-892132059340740708#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8335058559078070652#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#8579674190028987950#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#4997982659595614801#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#2698132384932322184#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-1364953649159167877#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-8920467236526981988#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-9210431460258756871#" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-673828260765515656#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#2540477369624751214#" + } + ], + "relation": "explMarkup[Purpose*Markup]" + }, + { + "links": [], + "relation": "explRefIds[Purpose*Text]" + }, + { + "links": [ + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "tgt": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "tgt": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "tgt": "EDcI_32_Concept1Ptn" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "tgt": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "tgt": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "tgt": "ECpl_32__40_EDcI_32_Concept1Ctx_41_" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "tgt": "EDcI_32_Concept1Ctx" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "tgt": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "tgt": "EDcI_32_Concept1Ctx" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "tgt": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "tgt": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "tgt": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "tgt": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "tgt": "ECpl_32__40_EDcI_32_Concept1Ptn_41_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "tgt": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "tgt": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "tgt": "EDcI_32_Concept1Ptn" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "tgt": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "tgt": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "tgt": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#" + } + ], + "relation": "first[BinaryTerm*Term]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#" + }, + { + "src": "Rule1Ptn", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#" + }, + { + "src": "Rule1Ctx", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#" + }, + { + "src": "Rule2Ptn", + "tgt": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#" + }, + { + "src": "Rule2Ctx", + "tgt": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#" + } + ], + "relation": "formalTerm[Rule*Term]" + }, + { + "links": [], + "relation": "fst[CombineStrings*String]" + }, + { + "links": [], + "relation": "gengen[IsE*Concept]" + }, + { + "links": [], + "relation": "gengen[Isa*Concept]" + }, + { + "links": [], + "relation": "genspc[IsE*Concept]" + }, + { + "links": [], + "relation": "genspc[Isa*Concept]" + }, + { + "links": [], + "relation": "identityRules[Rule*Context]" + }, + { + "links": [], + "relation": "identityRules[Rule*Pattern]" + }, + { + "links": [], + "relation": "ifcConjuncts[Interface*Conjunct]" + }, + { + "links": [], + "relation": "ifcInputs[Interface*Relation]" + }, + { + "links": [], + "relation": "ifcObj[Interface*ObjectDef]" + }, + { + "links": [], + "relation": "ifcOutputs[Interface*Relation]" + }, + { + "links": [], + "relation": "ifcPos[Interface*Origin]" + }, + { + "links": [], + "relation": "ifcPurpose[Interface*Purpose]" + }, + { + "links": [], + "relation": "ifcQuads[Interface*Quad]" + }, + { + "links": [], + "relation": "ifcRoles[Interface*Role]" + }, + { + "links": [], + "relation": "interfaces[Context*Interface]" + }, + { + "links": [], + "relation": "interfaces[Role*Interface]" + }, + { + "links": [], + "relation": "isAPI[Interface*Interface]" + }, + { + "links": [], + "relation": "isLink[InterfaceRef*InterfaceRef]" + }, + { + "links": [], + "relation": "isPublic[Interface*Interface]" + }, + { + "links": [], + "relation": "isa[Concept*Concept]" + }, + { + "links": [], + "relation": "isaCopy[Concept*Concept]" + }, + { + "links": [], + "relation": "isaPlus[Concept*Concept]" + }, + { + "links": [], + "relation": "isaRfx[Concept*Concept]" + }, + { + "links": [], + "relation": "isaRfxCopy[Concept*Concept]" + }, + { + "links": [], + "relation": "isaRfxPlus[Concept*Concept]" + }, + { + "links": [], + "relation": "isaRfxStar[Concept*Concept]" + }, + { + "links": [], + "relation": "isaStar[Concept*Concept]" + }, + { + "links": [], + "relation": "label[FieldDef*FieldName]" + }, + { + "links": [ + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-718118654941649207#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#780419289325136719#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6957948246529230050#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-2691035732473098638#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3596564259022656172#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4416761693972881498#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2508878186446385586#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-5790085721524356763#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6741491697267922342#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-9210431460258756871#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#7691384841761634918#", + "tgt": "Dutch" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-1364953649159167877#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#-39004579346154935#", + "tgt": "Dutch" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8202964217406110375#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6607581912605832750#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#9033086796309510097#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#1186103731213392424#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3114025089730486240#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4322750390262561358#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4924905946936603246#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#7881207238937330204#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4357356708693980212#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#977393125919530039#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2540477369624751214#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3948813427198303928#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#143417346580667899#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4969461410077422351#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8219677497998157534#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6995093958773664282#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#5634450987304384202#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-111980572423579960#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4997982659595614801#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8335058559078070652#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#204957075477059193#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6748413424081170504#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2154374317484107883#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6548203824604925415#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7158099665861021703#", + "tgt": "English" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7718610136159578277#", + "tgt": "English" + } + ], + "relation": "language[Markup*Language]" + }, + { + "links": [ + { + "src": "ExecEngine", + "tgt": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#" + }, + { + "src": "ExecEngine", + "tgt": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#" + }, + { + "src": "User", + "tgt": "Rule1Ptn" + }, + { + "src": "User", + "tgt": "Rule1Ctx" + } + ], + "relation": "maintains[Role*Rule]" + }, + { + "links": [ + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7336011820590190957#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6607581912605832750#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3033887122062313695#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6748413424081170504#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8267445001533881757#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#7881207238937330204#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2972967415894657638#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#2154374317484107883#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6249640674508813493#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#5634450987304384202#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3661585823743132977#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4416761693972881498#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-3104006893282537937#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#1186103731213392424#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3432253252619189930#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7718610136159578277#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8020230793269538486#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#977393125919530039#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#8823450038010881033#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6741491697267922342#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4514009685666603721#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6957948246529230050#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3820039773241830538#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#780419289325136719#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2719693414179535953#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#4322750390262561358#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6529745925154688#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4969461410077422351#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7685031061723645971#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3114025089730486240#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5612645009418470036#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-5790085721524356763#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5045929839480954488#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#9033086796309510097#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-39338667786759613#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3596564259022656172#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3932311382304902087#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#4357356708693980212#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#1708884214360249389#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6995093958773664282#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6789567509210467242#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#6548203824604925415#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-2058627514832290968#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#204957075477059193#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-1263320037038230727#", + "tgt": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#7691384841761634918#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-4547031270846048003#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4924905946936603246#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5174869952736600701#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3948813427198303928#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6444885485769219193#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8219677497998157534#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2001315471340684598#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#143417346580667899#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6507961272176518548#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7158099665861021703#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4213423125750508484#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8202964217406110375#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#5132100957957810131#", + "tgt": "Markup_32__123_amLang_32__61__32_English_44__32_am#-111980572423579960#" + }, + { + "src": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-695486007622218560#", + "tgt": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#-39004579346154935#" + } + ], + "relation": "markup[Meaning*Markup]" + }, + { + "links": [ + { + "src": "Concept2Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-8267445001533881757#" + }, + { + "src": "Concept2Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-3104006893282537937#" + }, + { + "src": "Concept3Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6529745925154688#" + }, + { + "src": "Concept3Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5045929839480954488#" + }, + { + "src": "Concept0Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#1708884214360249389#" + }, + { + "src": "Concept0Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-4547031270846048003#" + }, + { + "src": "Concept1Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3820039773241830538#" + }, + { + "src": "Concept1Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2001315471340684598#" + }, + { + "src": "Concept4Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#2719693414179535953#" + }, + { + "src": "Concept4Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#3661585823743132977#" + }, + { + "src": "Concept5Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6789567509210467242#" + } + ], + "relation": "meaning[ConceptDef*Meaning]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-1263320037038230727#" + }, + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-5174869952736600701#" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#4213423125750508484#" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#-695486007622218560#" + }, + { + "src": "Rule2Ptn", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#7685031061723645971#" + }, + { + "src": "Rule2Ctx", + "tgt": "Meaning_32__123_ameaMrk_32__61__32_Markup_32__123_#6444885485769219193#" + } + ], + "relation": "meaning[Rule*Meaning]" + }, + { + "links": [], + "relation": "message[Rule*Message]" + }, + { + "links": [ + { + "src": "ONE", + "tgt": "ONE" + }, + { + "src": "Concept2Ptn", + "tgt": "Concept2Ptn" + }, + { + "src": "Concept2Ctx", + "tgt": "Concept2Ctx" + }, + { + "src": "Concept3Ctx", + "tgt": "Concept3Ctx" + }, + { + "src": "Concept3Ptn", + "tgt": "Concept3Ptn" + }, + { + "src": "Concept0Ptn", + "tgt": "Concept0Ptn" + }, + { + "src": "Concept0Ctx", + "tgt": "Concept0Ctx" + }, + { + "src": "Concept1Ptn", + "tgt": "Concept1Ptn" + }, + { + "src": "Concept1Ctx", + "tgt": "Concept1Ctx" + }, + { + "src": "Concept4Ctx", + "tgt": "Concept4Ctx" + }, + { + "src": "Concept4Ptn", + "tgt": "Concept4Ptn" + }, + { + "src": "Concept5Ctx", + "tgt": "Concept5Ctx" + } + ], + "relation": "name[Concept*ConceptName]" + }, + { + "links": [ + { + "src": "ContextName", + "tgt": "ContextName" + } + ], + "relation": "name[Context*ContextName]" + }, + { + "links": [], + "relation": "name[Interface*InterfaceName]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "PatternName" + } + ], + "relation": "name[Pattern*PatternName]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "relatie1Ctx" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "relatie3Ctx" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "relatie7Ptn" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "relatie4Ctx" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "relatie2Ctx" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "relatie7Ctx" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "relatie5Ctx" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "relatie1Ptn" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "relatie7Ctx" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "relatie6Ptn" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "relatie4Ptn" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "relatie2Ptn" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "relatie5Ptn" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "relatie6Ctx" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "relatie3Ptn" + } + ], + "relation": "name[Relation*RelationName]" + }, + { + "links": [ + { + "src": "User", + "tgt": "User" + } + ], + "relation": "name[Role*RoleName]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "TOT relatie4Ptn[Concept1Ptn*Concept2Ptn]" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "Compute relatie1Ptn[Concept0Ptn*Concept0Ptn] using DelPair" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "TOT relatie4Ctx[Concept1Ctx*Concept2Ctx]" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "Compute relatie1Ctx[Concept0Ctx*Concept0Ctx] using DelPair" + }, + { + "src": "Rule1Ptn", + "tgt": "Rule1Ptn" + }, + { + "src": "Rule1Ctx", + "tgt": "Rule1Ctx" + }, + { + "src": "Rule2Ptn", + "tgt": "Rule2Ptn" + }, + { + "src": "Rule2Ctx", + "tgt": "Rule2Ctx" + } + ], + "relation": "name[Rule*RuleName]" + }, + { + "links": [], + "relation": "objDef[BxExpr*ObjectDef]" + }, + { + "links": [], + "relation": "objSub[ObjectDef*SubInterface]" + }, + { + "links": [], + "relation": "objTerm[ObjectDef*Term]" + }, + { + "links": [], + "relation": "objView[ObjectDef*View]" + }, + { + "links": [], + "relation": "objcruds[ObjectDef*Cruds]" + }, + { + "links": [ + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "tgt": "Composition" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "tgt": "Equivalence" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "tgt": "Composition" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "tgt": "Inclusion" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "tgt": "Composition" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "tgt": "Union" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "tgt": "Inclusion" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "tgt": "Inclusion" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "tgt": "Composition" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "tgt": "Union" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "tgt": "Union" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "tgt": "Equivalence" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "tgt": "Union" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "tgt": "Composition" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "tgt": "Union" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "tgt": "Inclusion" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "tgt": "Union" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "tgt": "Inclusion" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "tgt": "Inclusion" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "tgt": "Union" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "tgt": "Inclusion" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "tgt": "Inclusion" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "tgt": "Union" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "tgt": "Composition" + } + ], + "relation": "operator[BinaryTerm*Operator]" + }, + { + "links": [ + { + "src": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "tgt": "Converse" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "tgt": "Converse" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "tgt": "UnaryMinus" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "tgt": "UnaryMinus" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "tgt": "UnaryMinus" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "tgt": "Converse" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "tgt": "Converse" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "tgt": "UnaryMinus" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "tgt": "UnaryMinus" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ctx_41_", + "tgt": "UnaryMinus" + } + ], + "relation": "operator[UnaryTerm*Operator]" + }, + { + "links": [], + "relation": "origin[BoxItem*Origin]" + }, + { + "links": [], + "relation": "origin[ObjectDef*Origin]" + }, + { + "links": [ + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-6814548954979808091#", + "tgt": "/workspaces/Ampersand/testfile.adl:68:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-3745460058046554229#", + "tgt": "/workspaces/Ampersand/testfile.adl:142:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#2981341340248669210#", + "tgt": "/workspaces/Ampersand/testfile.adl:62:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-892132059340740708#", + "tgt": "/workspaces/Ampersand/testfile.adl:134:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#8579674190028987950#", + "tgt": "/workspaces/Ampersand/testfile.adl:66:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#2698132384932322184#", + "tgt": "/workspaces/Ampersand/testfile.adl:140:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-8920467236526981988#", + "tgt": "/workspaces/Ampersand/testfile.adl:60:1" + }, + { + "src": "Markup__Markup_32__123_amLang_32__61__32_English_4#-673828260765515656#", + "tgt": "/workspaces/Ampersand/testfile.adl:136:1" + } + ], + "relation": "origin[Purpose*Origin]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "PropertyRule for TOT relatie4Ptn[Concept1Ptn*Concept2Ptn] which is defined at /workspaces/Ampersand/testfile.adl:97:1" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "/workspaces/Ampersand/testfile.adl:108:1" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "PropertyRule for TOT relatie4Ctx[Concept1Ctx*Concept2Ctx] which is defined at /workspaces/Ampersand/testfile.adl:24:1" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "/workspaces/Ampersand/testfile.adl:34:1" + }, + { + "src": "Rule1Ptn", + "tgt": "/workspaces/Ampersand/testfile.adl:111:1" + }, + { + "src": "Rule1Ctx", + "tgt": "/workspaces/Ampersand/testfile.adl:36:1" + }, + { + "src": "Rule2Ptn", + "tgt": "/workspaces/Ampersand/testfile.adl:113:1" + }, + { + "src": "Rule2Ctx", + "tgt": "/workspaces/Ampersand/testfile.adl:38:1" + } + ], + "relation": "origin[Rule*Origin]" + }, + { + "links": [], + "relation": "origin[SubInterface*Origin]" + }, + { + "links": [], + "relation": "originatesFrom[Conjunct*Rule]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "Rule1Ptn" + }, + { + "src": "PatternName", + "tgt": "Rule2Ptn" + } + ], + "relation": "patRules[Pattern*Rule]" + }, + { + "links": [ + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "TOT" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "TOT" + } + ], + "relation": "prop[Relation*Property]" + }, + { + "links": [ + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#" + } + ], + "relation": "propertyRule[Relation*PropertyRule]" + }, + { + "links": [ + { + "src": "Concept0Ctx", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#2981341340248669210#" + }, + { + "src": "Concept1Ptn", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#-673828260765515656#" + } + ], + "relation": "purpose[Concept*Purpose]" + }, + { + "links": [ + { + "src": "ContextName", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#-8920467236526981988#" + } + ], + "relation": "purpose[Context*Purpose]" + }, + { + "links": [], + "relation": "purpose[Interface*Purpose]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#-892132059340740708#" + } + ], + "relation": "purpose[Pattern*Purpose]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#8579674190028987950#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#2698132384932322184#" + } + ], + "relation": "purpose[Relation*Purpose]" + }, + { + "links": [ + { + "src": "Rule1Ptn", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#-3745460058046554229#" + }, + { + "src": "Rule1Ctx", + "tgt": "Markup__Markup_32__123_amLang_32__61__32_English_4#-6814548954979808091#" + } + ], + "relation": "purpose[Rule*Purpose]" + }, + { + "links": [], + "relation": "purpose[View*Purpose]" + }, + { + "links": [ + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-222847566531777223#", + "tgt": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#909132650387284464#", + "tgt": "EDcI_32_Concept3Ptn" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-8856032247674597582#", + "tgt": "EDcI_32_Concept0Ptn" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#434784251847710340#", + "tgt": "EDcI_32_Concept1Ptn" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8929278047518348709#", + "tgt": "EDcI_32_Concept1Ctx" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8630916846699676933#", + "tgt": "EDcI_32_Concept3Ctx" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8490771595859214647#", + "tgt": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-7153479215279513170#", + "tgt": "EDcI_32_Concept0Ctx" + } + ], + "relation": "pvsExp[PairViewSegment*Term]" + }, + { + "links": [ + { + "src": "conj__6", + "tgt": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#" + }, + { + "src": "conj__7", + "tgt": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#" + }, + { + "src": "conj__4", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#" + }, + { + "src": "conj__5", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#" + }, + { + "src": "conj__2", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#" + }, + { + "src": "conj__3", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#" + }, + { + "src": "conj__0", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#" + }, + { + "src": "conj__1", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#" + } + ], + "relation": "rc_conjunct[Conjunct*Term]" + }, + { + "links": [], + "relation": "references[InterfaceRef*Interface]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "ContextName" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "ContextName" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "ContextName" + } + ], + "relation": "relsDefdIn[Relation*Context]" + }, + { + "links": [], + "relation": "result[CombineStrings*String]" + }, + { + "links": [ + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#" + }, + { + "src": "Rule2Ptn", + "tgt": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#" + }, + { + "src": "Rule2Ctx", + "tgt": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#" + } + ], + "relation": "rrviol[Rule*PairView]" + }, + { + "links": [ + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "tgt": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "tgt": "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "tgt": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "tgt": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "tgt": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "tgt": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "tgt": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "tgt": "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "tgt": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "tgt": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "tgt": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "tgt": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#" + } + ], + "relation": "second[BinaryTerm*Term]" + }, + { + "links": [ + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#427584747091847577#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-8856032247674597582#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#1669304580896248908#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#7364802977931399090#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#397365921140446891#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-222847566531777223#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8929278047518348709#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8630916846699676933#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4592783364936187033#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#2608908201794961702#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#7076475421362249964#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#928909248522846011#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-7153479215279513170#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#4237171118977070477#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#909132650387284464#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#434784251847710340#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#-5340061290482844007#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4197528158037810488#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8490771595859214647#" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "PairViewText_32__123_pos_32__61__32__47_workspaces#-2958958734574968839#" + } + ], + "relation": "segment[PairView*PairViewSegment]" + }, + { + "links": [ + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#427584747091847577#", + "tgt": "1" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#397365921140446891#", + "tgt": "2" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#7076475421362249964#", + "tgt": "2" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-222847566531777223#", + "tgt": "5" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#909132650387284464#", + "tgt": "3" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-8856032247674597582#", + "tgt": "3" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#434784251847710340#", + "tgt": "1" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8929278047518348709#", + "tgt": "1" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#1669304580896248908#", + "tgt": "2" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#7364802977931399090#", + "tgt": "0" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-5340061290482844007#", + "tgt": "2" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8630916846699676933#", + "tgt": "3" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4197528158037810488#", + "tgt": "0" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8490771595859214647#", + "tgt": "5" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4592783364936187033#", + "tgt": "0" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#928909248522846011#", + "tgt": "0" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-2958958734574968839#", + "tgt": "4" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-7153479215279513170#", + "tgt": "3" + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#2608908201794961702#", + "tgt": "4" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#4237171118977070477#", + "tgt": "1" + } + ], + "relation": "sequenceNr[PairViewSegment*SequenceNumber]" + }, + { + "links": [ + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#5335047703790121179#", + "tgt": "VIOLATION (TXT \"{EX} DelPair;relatie1Ptn;Concept0Ptn;\"\n ,SRC I[Concept0Ptn]\n ,TXT \";Concept0Ptn;\"\n ,TGT I[Concept0Ptn])" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-8051486655858921721#", + "tgt": "VIOLATION (TXT \"Concept1Ctx \"\n ,SRC I[Concept1Ctx]\n ,TXT \" is in relatie6Ctx with Concept3Ctx \"\n ,TGT I[Concept3Ctx]\n ,TXT \" which is not part of the Concept2Ctx \"\n ,SRC I[Concept1Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx])" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#8751654714188158730#", + "tgt": "VIOLATION (TXT \"{EX} DelPair;relatie1Ctx;Concept0Ctx;\"\n ,SRC I[Concept0Ctx]\n ,TXT \";Concept0Ctx;\"\n ,TGT I[Concept0Ctx])" + }, + { + "src": "PairView_32__123_ppv__segs_32__61__32_PairViewText#-4218297947838779621#", + "tgt": "VIOLATION (TXT \"Concept1Ptn \"\n ,SRC I[Concept1Ptn]\n ,TXT \" is in relatie6Ptn with Concept3Ptn \"\n ,TGT I[Concept3Ptn]\n ,TXT \" which is not part of the Concept2Ptn \"\n ,SRC I[Concept1Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn])" + } + ], + "relation": "showADL[PairView*ShowADL]" + }, + { + "links": [ + { + "src": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#", + "tgt": "relatie6Ptn [Concept1Ptn*Concept3Ptn]" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "tgt": "relatie5Ctx [Concept3Ctx*Concept2Ctx]~" + }, + { + "src": "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#", + "tgt": "relatie5Ctx [Concept3Ctx*Concept2Ctx]" + }, + { + "src": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#", + "tgt": "relatie2Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#", + "tgt": "relatie3Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#", + "tgt": "relatie3Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "tgt": "relatie5Ptn [Concept3Ptn*Concept2Ptn]~" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "tgt": " -I[Concept1Ptn]" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "tgt": "relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "tgt": "relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "tgt": "I[Concept1Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "tgt": " -relatie1Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#", + "tgt": "relatie2Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "tgt": "relatie6Ptn [Concept1Ptn*Concept3Ptn] |- relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "tgt": "relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "tgt": " -I[Concept1Ctx]\\/relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "tgt": " -relatie1Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "tgt": "I[Concept1Ctx] |- relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "tgt": "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "tgt": "I[Concept1Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "tgt": "relatie4Ptn [Concept1Ptn*Concept2Ptn]~" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "tgt": " -relatie1Ctx [Concept0Ctx*Concept0Ctx]\\/relatie2Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "tgt": " -relatie6Ptn [Concept1Ptn*Concept3Ptn]\\/relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie5Ptn [Concept3Ptn*Concept2Ptn]~" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "tgt": "relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#", + "tgt": "relatie4Ctx [Concept1Ctx*Concept2Ctx]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "tgt": " -relatie1Ctx [Concept0Ctx*Concept0Ctx]\\/relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "tgt": "relatie4Ctx [Concept1Ctx*Concept2Ctx]~" + }, + { + "src": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#", + "tgt": "relatie4Ptn [Concept1Ptn*Concept2Ptn]" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "tgt": "relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie4Ctx [Concept1Ctx*Concept2Ctx]~" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "tgt": " -relatie6Ptn [Concept1Ptn*Concept3Ptn]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "tgt": " -relatie1Ptn [Concept0Ptn*Concept0Ptn]\\/relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#", + "tgt": "relatie1Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "tgt": "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]/\\relatie3Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "tgt": " -I[Concept1Ptn]\\/relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~" + }, + { + "src": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#", + "tgt": "relatie1Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "tgt": "relatie1Ptn [Concept0Ptn*Concept0Ptn] |- relatie2Ptn [Concept0Ptn*Concept0Ptn]/\\relatie3Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "tgt": "relatie6Ctx [Concept1Ctx*Concept3Ctx] |- relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "tgt": " -relatie6Ctx [Concept1Ctx*Concept3Ctx]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "tgt": " -relatie1Ptn [Concept0Ptn*Concept0Ptn]\\/relatie2Ptn [Concept0Ptn*Concept0Ptn]" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "tgt": "I[Concept1Ptn] |- relatie4Ptn [Concept1Ptn*Concept2Ptn];relatie4Ptn [Concept1Ptn*Concept2Ptn]~" + }, + { + "src": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#", + "tgt": "relatie6Ctx [Concept1Ctx*Concept3Ctx]" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "tgt": "relatie1Ctx [Concept0Ctx*Concept0Ctx] |- relatie2Ctx [Concept0Ctx*Concept0Ctx]" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "tgt": " -relatie6Ctx [Concept1Ctx*Concept3Ctx]\\/relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~" + }, + { + "src": "EDcI_32_Concept3Ptn", + "tgt": "I[Concept3Ptn]" + }, + { + "src": "EDcI_32_Concept3Ctx", + "tgt": "I[Concept3Ctx]" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "tgt": "relatie4Ctx [Concept1Ctx*Concept2Ctx];relatie5Ctx [Concept3Ctx*Concept2Ctx]~" + }, + { + "src": "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#", + "tgt": "relatie5Ptn [Concept3Ptn*Concept2Ptn]" + }, + { + "src": "EDcI_32_Concept0Ctx", + "tgt": "I[Concept0Ctx]" + }, + { + "src": "EDcI_32_Concept0Ptn", + "tgt": "I[Concept0Ptn]" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ctx_41_", + "tgt": " -I[Concept1Ctx]" + }, + { + "src": "EDcI_32_Concept1Ptn", + "tgt": "I[Concept1Ptn]" + }, + { + "src": "EDcI_32_Concept1Ctx", + "tgt": "I[Concept1Ctx]" + } + ], + "relation": "showADL[Term*ShowADL]" + }, + { + "links": [], + "relation": "siConcept[Box*Concept]" + }, + { + "links": [], + "relation": "siHeader[Box*BoxHeader]" + }, + { + "links": [], + "relation": "siObjs[Box*BoxItem]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "_91_Concept4Ptn_42_Concept4Ptn_93_" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "_91_Concept1Ctx_42_Concept2Ctx_93_" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "_91_Concept5Ctx_42_Concept5Ctx_93_" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "_91_Concept3Ctx_42_Concept2Ctx_93_" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "_91_Concept4Ctx_42_Concept4Ctx_93_" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "_91_Concept1Ptn_42_Concept2Ptn_93_" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "_91_Concept3Ptn_42_Concept2Ptn_93_" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + } + ], + "relation": "sign[Relation*Signature]" + }, + { + "links": [ + { + "src": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#", + "tgt": "_91_Concept2Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#", + "tgt": "_91_Concept3Ctx_42_Concept2Ctx_93_" + }, + { + "src": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#", + "tgt": "_91_Concept2Ptn_42_Concept3Ptn_93_" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ptn_41_", + "tgt": "_91_Concept1Ptn_42_Concept1Ptn_93_" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#", + "tgt": "_91_Concept1Ptn_42_Concept1Ptn_93_" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#", + "tgt": "_91_Concept1Ptn_42_Concept2Ptn_93_" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#", + "tgt": "_91_Concept1Ctx_42_Concept1Ctx_93_" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#", + "tgt": "_91_Concept1Ctx_42_Concept1Ctx_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#", + "tgt": "_91_Concept1Ctx_42_Concept2Ctx_93_" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#", + "tgt": "_91_Concept2Ptn_42_Concept1Ptn_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#", + "tgt": "_91_Concept1Ctx_42_Concept2Ctx_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#", + "tgt": "_91_Concept2Ctx_42_Concept1Ctx_93_" + }, + { + "src": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#", + "tgt": "_91_Concept1Ptn_42_Concept2Ptn_93_" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#", + "tgt": "_91_Concept1Ctx_42_Concept1Ctx_93_" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#", + "tgt": "_91_Concept1Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#", + "tgt": "_91_Concept1Ptn_42_Concept1Ptn_93_" + }, + { + "src": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#", + "tgt": "_91_Concept1Ptn_42_Concept1Ptn_93_" + }, + { + "src": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EDcI_32_Concept3Ptn", + "tgt": "_91_Concept3Ptn_42_Concept3Ptn_93_" + }, + { + "src": "EDcI_32_Concept3Ctx", + "tgt": "_91_Concept3Ctx_42_Concept3Ctx_93_" + }, + { + "src": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#", + "tgt": "_91_Concept1Ctx_42_Concept3Ctx_93_" + }, + { + "src": "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#", + "tgt": "_91_Concept3Ptn_42_Concept2Ptn_93_" + }, + { + "src": "EDcI_32_Concept0Ctx", + "tgt": "_91_Concept0Ctx_42_Concept0Ctx_93_" + }, + { + "src": "EDcI_32_Concept0Ptn", + "tgt": "_91_Concept0Ptn_42_Concept0Ptn_93_" + }, + { + "src": "ECpl_32__40_EDcI_32_Concept1Ctx_41_", + "tgt": "_91_Concept1Ctx_42_Concept1Ctx_93_" + }, + { + "src": "EDcI_32_Concept1Ptn", + "tgt": "_91_Concept1Ptn_42_Concept1Ptn_93_" + }, + { + "src": "EDcI_32_Concept1Ctx", + "tgt": "_91_Concept1Ctx_42_Concept1Ctx_93_" + } + ], + "relation": "sign[Term*Signature]" + }, + { + "links": [], + "relation": "singleton[Singleton*AtomValue]" + }, + { + "links": [], + "relation": "snd[CombineStrings*String]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "Concept4Ptn" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "Concept5Ctx" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "Concept3Ctx" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "Concept4Ctx" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + } + ], + "relation": "source[Relation*Concept]" + }, + { + "links": [ + { + "src": "_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "_91_Concept2Ctx_42_Concept1Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "_91_Concept2Ctx_42_Concept3Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "Concept4Ctx" + }, + { + "src": "_91_Concept3Ptn_42_Concept3Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "_91_Concept2Ptn_42_Concept1Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "Concept4Ptn" + }, + { + "src": "_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept1Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "Concept3Ctx" + }, + { + "src": "_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "Concept5Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept1Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "_91_Concept2Ptn_42_Concept3Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "_91_Concept3Ctx_42_Concept3Ctx_93_", + "tgt": "Concept3Ctx" + } + ], + "relation": "src[Signature*Concept]" + }, + { + "links": [ + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-222847566531777223#", + "tgt": "Src" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#909132650387284464#", + "tgt": "Tgt" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-8856032247674597582#", + "tgt": "Tgt" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#434784251847710340#", + "tgt": "Src" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8929278047518348709#", + "tgt": "Src" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8630916846699676933#", + "tgt": "Tgt" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#8490771595859214647#", + "tgt": "Src" + }, + { + "src": "PairViewExp_32__123_pos_32__61__32__47_workspaces_#-7153479215279513170#", + "tgt": "Tgt" + } + ], + "relation": "srcOrTgt[PairViewSegment*SourceOrTarget]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie7Ptn_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "Concept4Ptn" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "relatie7Ctx_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "Concept5Ctx" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "relatie7Ctx_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "Concept4Ctx" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "Concept3Ctx" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + } + ], + "relation": "target[Relation*Concept]" + }, + { + "links": [], + "relation": "text[BxTxt*Text]" + }, + { + "links": [ + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-718118654941649207#", + "tgt": "this is the purpose of the CONCEPT Concept0Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#780419289325136719#", + "tgt": "this is the definition of CONCEPT Concept1Ptn in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6957948246529230050#", + "tgt": "this is the meaning of the RELATION relatie1Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-2691035732473098638#", + "tgt": "this is the purpose of the RULE Rule1Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3596564259022656172#", + "tgt": "this is the meaning of the RELATION relatie7Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4416761693972881498#", + "tgt": "this is the definition of CONCEPT Concept4Ptn in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2508878186446385586#", + "tgt": "this is the purpose of the RULE RuleCtx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-5790085721524356763#", + "tgt": "this is the meaning of the RELATION relatie6Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6741491697267922342#", + "tgt": "this is the meaning of the RELATION relatie7Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-9210431460258756871#", + "tgt": "this is the purpose of the CONTEXT ContextName, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#7691384841761634918#", + "tgt": "relatie4Ptn[Concept1Ptn*Concept2Ptn] is totaal" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-1364953649159167877#", + "tgt": "this is the purpose of the RELATION relatie1Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_Dutch_44__32_amPa#-39004579346154935#", + "tgt": "relatie4Ctx[Concept1Ctx*Concept2Ctx] is totaal" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8202964217406110375#", + "tgt": "relatie4Ctx[Concept1Ctx*Concept2Ctx] is total" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6607581912605832750#", + "tgt": "this is the meaning of the RELATION relatie5Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#9033086796309510097#", + "tgt": "this is the definition of CONCEPT Concept3Ptn in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#1186103731213392424#", + "tgt": "this is the definition of CONCEPT Concept2Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3114025089730486240#", + "tgt": "this is the meaning of the RULE Rule2Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4322750390262561358#", + "tgt": "this is the definition of CONCEPT Concept4Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4924905946936603246#", + "tgt": "this is the definition of CONCEPT Concept0Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#7881207238937330204#", + "tgt": "this is the definition of CONCEPT Concept2Ptn in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4357356708693980212#", + "tgt": "this is the meaning of the RELATION relatie5Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#977393125919530039#", + "tgt": "this is the meaning of the RELATION relatie6Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2540477369624751214#", + "tgt": "this is the purpose of the CONCEPT ConceptPtn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-3948813427198303928#", + "tgt": "relatie4Ptn[Concept1Ptn*Concept2Ptn] is total" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#143417346580667899#", + "tgt": "this is the definition of CONCEPT Concept1Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-4969461410077422351#", + "tgt": "this is the definition of CONCEPT Concept3Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8219677497998157534#", + "tgt": "this is the meaning of the RULE Rule2Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6995093958773664282#", + "tgt": "this is the definition of CONCEPT Concept0Ptn in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#5634450987304384202#", + "tgt": "this is the meaning of the RELATION relatie3Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-111980572423579960#", + "tgt": "this is the meaning of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#4997982659595614801#", + "tgt": "this is the purpose of the RELATION relatie1Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-8335058559078070652#", + "tgt": "this is the purpose of the PATTERN PatternName, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#204957075477059193#", + "tgt": "this is the meaning of the RELATION relatie2Ctx, gedefineerd in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6748413424081170504#", + "tgt": "this is the meaning of the RELATION relatie3Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#2154374317484107883#", + "tgt": "this is the meaning of the RELATION relatie2Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#6548203824604925415#", + "tgt": "this is the definition of CONCEPT Concept5Ctx in de CONTEXT" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7158099665861021703#", + "tgt": "this is the meaning of the RELATION relatie4Ptn, gedefineerd in de PATTERN" + }, + { + "src": "Markup_32__123_amLang_32__61__32_English_44__32_am#-7718610136159578277#", + "tgt": "this is the meaning of the RELATION relatie4Ctx, gedefineerd in de CONTEXT" + } + ], + "relation": "text[Markup*MarkupText]" + }, + { + "links": [ + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#397365921140446891#", + "tgt": " is in relatie6Ctx with Concept3Ctx " + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-5340061290482844007#", + "tgt": " is in relatie6Ptn with Concept3Ptn " + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4197528158037810488#", + "tgt": "Concept1Ptn " + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-4592783364936187033#", + "tgt": "Concept1Ctx " + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#-2958958734574968839#", + "tgt": " which is not part of the Concept2Ptn " + }, + { + "src": "PairViewText_32__123_pos_32__61__32__47_workspaces#2608908201794961702#", + "tgt": " which is not part of the Concept2Ctx " + } + ], + "relation": "text[PairViewSegment*String]" + }, + { + "links": [ + { + "src": "_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "_91_Concept2Ctx_42_Concept1Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "_91_Concept2Ctx_42_Concept3Ctx_93_", + "tgt": "Concept3Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "_91_Concept4Ctx_42_Concept4Ctx_93_", + "tgt": "Concept4Ctx" + }, + { + "src": "_91_Concept3Ptn_42_Concept3Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "_91_Concept2Ptn_42_Concept1Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "_91_Concept4Ptn_42_Concept4Ptn_93_", + "tgt": "Concept4Ptn" + }, + { + "src": "_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "Concept0Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept1Ptn_93_", + "tgt": "Concept1Ptn" + }, + { + "src": "_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "Concept2Ptn" + }, + { + "src": "_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "Concept2Ctx" + }, + { + "src": "_91_Concept5Ctx_42_Concept5Ctx_93_", + "tgt": "Concept5Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "Concept3Ctx" + }, + { + "src": "_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "Concept0Ctx" + }, + { + "src": "_91_Concept1Ctx_42_Concept1Ctx_93_", + "tgt": "Concept1Ctx" + }, + { + "src": "_91_Concept2Ptn_42_Concept3Ptn_93_", + "tgt": "Concept3Ptn" + }, + { + "src": "_91_Concept3Ctx_42_Concept3Ctx_93_", + "tgt": "Concept3Ctx" + } + ], + "relation": "tgt[Signature*Concept]" + }, + { + "links": [ + { + "src": "Rule1Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule1Ctx", + "tgt": "ContextName" + }, + { + "src": "Rule2Ptn", + "tgt": "ContextName" + }, + { + "src": "Rule2Ctx", + "tgt": "ContextName" + } + ], + "relation": "udefrules[Rule*Context]" + }, + { + "links": [ + { + "src": "Rule1Ptn", + "tgt": "PatternName" + }, + { + "src": "Rule2Ptn", + "tgt": "PatternName" + } + ], + "relation": "udefrules[Rule*Pattern]" + }, + { + "links": [ + { + "src": "ONE", + "tgt": "ONE" + }, + { + "src": "Concept2Ptn", + "tgt": "Concept2Ptn" + }, + { + "src": "Concept2Ctx", + "tgt": "Concept2Ctx" + }, + { + "src": "Concept3Ctx", + "tgt": "Concept3Ctx" + }, + { + "src": "Concept3Ptn", + "tgt": "Concept3Ptn" + }, + { + "src": "Concept0Ptn", + "tgt": "Concept0Ptn" + }, + { + "src": "Concept0Ctx", + "tgt": "Concept0Ctx" + }, + { + "src": "Concept1Ptn", + "tgt": "Concept1Ptn" + }, + { + "src": "Concept1Ctx", + "tgt": "Concept1Ctx" + }, + { + "src": "Concept4Ctx", + "tgt": "Concept4Ctx" + }, + { + "src": "Concept4Ptn", + "tgt": "Concept4Ptn" + }, + { + "src": "Concept5Ctx", + "tgt": "Concept5Ctx" + } + ], + "relation": "urlEncodedName[Concept*EncodedName]" + }, + { + "links": [ + { + "src": "PatternName", + "tgt": "PatternName" + } + ], + "relation": "urlEncodedName[Pattern*EncodedName]" + }, + { + "links": [ + { + "src": "TOT_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_9#461282926465661364#", + "tgt": "TOT_32relatie4Ptn_91Concept1Ptn_42Concept2Ptn_93" + }, + { + "src": "Compute_32_relatie1Ptn_91_Concept0Ptn_42_Concept0P#6722836713929699051#", + "tgt": "Compute_32relatie1Ptn_91Concept0Ptn_42Concept0Ptn_93_32using_32DelPair" + }, + { + "src": "TOT_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_9#6846169039077274759#", + "tgt": "TOT_32relatie4Ctx_91Concept1Ctx_42Concept2Ctx_93" + }, + { + "src": "Compute_32_relatie1Ctx_91_Concept0Ctx_42_Concept0C#7525104809531791692#", + "tgt": "Compute_32relatie1Ctx_91Concept0Ctx_42Concept0Ctx_93_32using_32DelPair" + }, + { + "src": "Rule1Ptn", + "tgt": "Rule1Ptn" + }, + { + "src": "Rule1Ctx", + "tgt": "Rule1Ctx" + }, + { + "src": "Rule2Ptn", + "tgt": "Rule2Ptn" + }, + { + "src": "Rule2Ctx", + "tgt": "Rule2Ctx" + } + ], + "relation": "urlEncodedName[Rule*EncodedName]" + }, + { + "links": [ + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-5229213995238569543#" + }, + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#" + }, + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#" + }, + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#" + }, + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EDcD_32_relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_#-9172738408923274565#" + }, + { + "src": "relatie1Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EDcD_32_relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_#-3354041007521242651#" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#" + }, + { + "src": "relatie3Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ctx_41__44#2906751994148460827#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EInc_32__40_EDcI_32_Concept1Ctx_44_ECps_32__40_EDc#738575729641129379#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "ECps_32__40_EDcI_32_Concept1Ctx_44_EDcD_32_relatie#-3568874460504706937#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EDcD_32_relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_#5684332482907486111#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EFlp_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-4475536819110642202#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3685146911645481459#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#" + }, + { + "src": "relatie4Ctx_91_Concept1Ctx_42_Concept2Ctx_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ctx_91_Concept0Ctx_42_#1485921990117668878#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EDcD_32_relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_#3542339604808750926#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#8403487556533755181#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ctx_91_Con#-2547532891680041727#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#-7303814491152374223#" + }, + { + "src": "relatie2Ctx_91_Concept0Ctx_42_Concept0Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ctx_91_Concept0Ctx_42_#702423423949788237#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "EFlp_32__40_EDcD_32_relatie5Ctx_91_Concept3Ctx_42_#-6981877769231745173#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "EDcD_32_relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_#-1487508800456186402#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#" + }, + { + "src": "relatie5Ctx_91_Concept3Ctx_42_Concept2Ctx_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ctx_91_Concept1Ctx_42_#-3263432827915334704#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "ECpl_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-8417652128648225046#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EDcD_32_relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_#2372760792991453084#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#" + }, + { + "src": "relatie1Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "EDcD_32_relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_#-4076201424342764243#" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#" + }, + { + "src": "relatie6Ptn_91_Concept1Ptn_42_Concept3Ptn_93_", + "tgt": "ECpl_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#-1687644521257894977#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-5741571606347056897#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "ECps_32__40_EDcI_32_Concept1Ptn_44_EDcD_32_relatie#-5083645906464140525#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EFlp_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#-2097454504261001287#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EDcD_32_relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_#838428890735000588#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcI_32_Concept1Ptn_41__44#2313870931210761136#" + }, + { + "src": "relatie4Ptn_91_Concept1Ptn_42_Concept2Ptn_93_", + "tgt": "EInc_32__40_EDcI_32_Concept1Ptn_44_ECps_32__40_EDc#-8108434348717563596#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EDcD_32_relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_#-4249605950523801459#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-7514118572488970001#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#" + }, + { + "src": "relatie2Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-8113327275496182073#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "EFlp_32__40_EDcD_32_relatie5Ptn_91_Concept3Ptn_42_#3203181974641071968#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ptn_91_Concept1Ptn_42_#1652183642389733895#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "ECps_32__40_EDcD_32_relatie4Ptn_91_Concept1Ptn_42_#3911489733709048954#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ptn_91_Con#4792929177098312123#" + }, + { + "src": "relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_93_", + "tgt": "EDcD_32_relatie5Ptn_91_Concept3Ptn_42_Concept2Ptn_#-8417099191040122095#" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "EInc_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#-4477547662478432962#" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "ECpl_32__40_EDcD_32_relatie6Ctx_91_Concept1Ctx_42_#2518703870547936584#" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "EDcD_32_relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_#-1533566009348014810#" + }, + { + "src": "relatie6Ctx_91_Concept1Ctx_42_Concept3Ctx_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie6Ctx_91_Con#-1895950974078817422#" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EDcD_32_relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_#-9086980535040476826#" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EIsc_32__40_EDcD_32_relatie2Ptn_91_Concept0Ptn_42_#-4329975133381435224#" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EUni_32__40_ECpl_32__40_EDcD_32_relatie1Ptn_91_Con#-7383101819459516108#" + }, + { + "src": "relatie3Ptn_91_Concept0Ptn_42_Concept0Ptn_93_", + "tgt": "EInc_32__40_EDcD_32_relatie1Ptn_91_Concept0Ptn_42_#-4355306081166328324#" + } + ], + "relation": "usedIn[Relation*Term]" + }, + { + "links": [ + { + "src": "EDcI_32_Concept3Ptn", + "tgt": "Concept3Ptn" + }, + { + "src": "EDcI_32_Concept3Ctx", + "tgt": "Concept3Ctx" + }, + { + "src": "EDcI_32_Concept0Ctx", + "tgt": "Concept0Ctx" + }, + { + "src": "EDcI_32_Concept0Ptn", + "tgt": "Concept0Ptn" + }, + { + "src": "EDcI_32_Concept1Ptn", + "tgt": "Concept1Ptn" + }, + { + "src": "EDcI_32_Concept1Ctx", + "tgt": "Concept1Ctx" + } + ], + "relation": "userCpt[Epsilon*Concept]" + }, + { + "links": [], + "relation": "userSrc[V*Concept]" + }, + { + "links": [], + "relation": "userTgt[V*Concept]" + }, + { + "links": [ + { + "src": "ContextName", + "tgt": "PatternName" + } + ], + "relation": "uses[Context*Pattern]" + }, + { + "links": [], + "relation": "valid[Concept*Context]" + }, + { + "links": [], + "relation": "valid[Relation*Context]" + }, + { + "links": [], + "relation": "valid[Rule*Context]" + }, + { + "links": [ + { + "src": "ContextName", + "tgt": "Ampersand-v4.8.0 [feature/atlas-import:19985a821*], build time: 18-Jun-24 11:50:48 CEST" + } + ], + "relation": "versionInfo[Context*AmpersandVersion]" + }, + { + "links": [], + "relation": "violatable[Interface*Rule]" + } + ] +} \ No newline at end of file