npm - @memoarchitect/tools - Versions diffs - 0.4.6 → 0.6.1 - Mend

@memoarchitect/tools 0.4.6 → 0.6.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (121) hide show

package/packages/tools/lib/language/generated/grammar.js CHANGED Viewed

@@ -45,7 +45,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@5"
+              "$ref": "#/rules@6"
             },
             "arguments": []
           }
@@ -82,7 +82,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -137,49 +137,70 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@5"
+              "$ref": "#/rules@6"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@7"
+              "$ref": "#/rules@8"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@27"
+              "$ref": "#/rules@30"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@36"
+              "$ref": "#/rules@33"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@48"
+              "$ref": "#/rules@69"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@9"
+              "$ref": "#/rules@32"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@72"
+              "$ref": "#/rules@44"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@56"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@10"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@80"
             },
             "arguments": []
           }
@@ -206,7 +227,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@5"
               },
               "arguments": []
             }
@@ -222,7 +243,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -237,6 +258,30 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
       "fragment": false,
       "parameters": []
     },
+    {
+      "$type": "ParserRule",
+      "name": "AliasName",
+      "dataType": "string",
+      "definition": {
+        "$type": "Alternatives",
+        "elements": [
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@91"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "Keyword",
+            "value": "verification"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
     {
       "$type": "ParserRule",
       "name": "ImportDeclaration",
@@ -273,7 +318,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@6"
+                "$ref": "#/rules@7"
               },
               "arguments": []
             }
@@ -298,7 +343,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -315,7 +360,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                   {
                     "$type": "RuleCall",
                     "rule": {
-                      "$ref": "#/rules@83"
+                      "$ref": "#/rules@91"
                     },
                     "arguments": []
                   },
@@ -340,13 +385,6 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
       "definition": {
         "$type": "Alternatives",
         "elements": [
-          {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@10"
-            },
-            "arguments": []
-          },
           {
             "$type": "RuleCall",
             "rule": {
@@ -427,7 +465,28 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@8"
+              "$ref": "#/rules@22"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@23"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@24"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@9"
             },
             "arguments": []
           }
@@ -458,7 +517,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -470,7 +529,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -493,7 +552,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -534,7 +593,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -556,7 +615,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@60"
+                        "$ref": "#/rules@68"
                       },
                       "arguments": []
                     },
@@ -611,7 +670,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -623,7 +682,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -643,7 +702,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -668,7 +727,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -723,7 +782,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -735,7 +794,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -755,7 +814,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -780,7 +839,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -806,7 +865,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ActionDefinition",
+      "name": "VerificationDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -821,26 +880,8 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "cardinality": "?"
           },
           {
-            "$type": "Assignment",
-            "feature": "behaviorKind",
-            "operator": "=",
-            "terminal": {
-              "$type": "Alternatives",
-              "elements": [
-                {
-                  "$type": "Keyword",
-                  "value": "action"
-                },
-                {
-                  "$type": "Keyword",
-                  "value": "operator"
-                },
-                {
-                  "$type": "Keyword",
-                  "value": "function"
-                }
-              ]
-            }
+            "$type": "Keyword",
+            "value": "verification"
           },
           {
             "$type": "Keyword",
@@ -853,7 +894,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -865,7 +906,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -885,7 +926,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -910,7 +951,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@38"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -936,7 +977,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ItemDefinition",
+      "name": "StateDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -952,7 +993,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "item"
+            "value": "state"
           },
           {
             "$type": "Keyword",
@@ -965,7 +1006,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -977,7 +1018,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -997,7 +1038,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1022,7 +1063,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -1048,7 +1089,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "PortDefinition",
+      "name": "ActionDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1063,8 +1104,26 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "cardinality": "?"
           },
           {
-            "$type": "Keyword",
-            "value": "port"
+            "$type": "Assignment",
+            "feature": "behaviorKind",
+            "operator": "=",
+            "terminal": {
+              "$type": "Alternatives",
+              "elements": [
+                {
+                  "$type": "Keyword",
+                  "value": "action"
+                },
+                {
+                  "$type": "Keyword",
+                  "value": "operator"
+                },
+                {
+                  "$type": "Keyword",
+                  "value": "function"
+                }
+              ]
+            }
           },
           {
             "$type": "Keyword",
@@ -1077,7 +1136,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1089,7 +1148,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1109,7 +1168,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1134,7 +1193,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@46"
                       },
                       "arguments": []
                     },
@@ -1160,7 +1219,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "InterfaceDefinition",
+      "name": "ItemDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1176,7 +1235,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "interface"
+            "value": "item"
           },
           {
             "$type": "Keyword",
@@ -1189,7 +1248,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1201,7 +1260,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1221,7 +1280,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1246,7 +1305,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -1272,7 +1331,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ConnectionDefinition",
+      "name": "PortDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1288,7 +1347,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "connection"
+            "value": "port"
           },
           {
             "$type": "Keyword",
@@ -1301,7 +1360,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1313,7 +1372,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1333,7 +1392,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1358,7 +1417,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@22"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -1384,7 +1443,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "AttributeDefinition",
+      "name": "InterfaceDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1400,7 +1459,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "attribute"
+            "value": "interface"
           },
           {
             "$type": "Keyword",
@@ -1413,7 +1472,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1425,7 +1484,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1445,7 +1504,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1470,7 +1529,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@25"
                       },
                       "arguments": []
                     },
@@ -1496,7 +1555,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ConstraintDefinition",
+      "name": "ConnectionDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1512,7 +1571,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "constraint"
+            "value": "connection"
           },
           {
             "$type": "Keyword",
@@ -1525,7 +1584,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1537,7 +1596,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1557,7 +1616,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1582,7 +1641,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@25"
                       },
                       "arguments": []
                     },
@@ -1608,60 +1667,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "EnumDefinition",
-      "definition": {
-        "$type": "Group",
-        "elements": [
-          {
-            "$type": "Keyword",
-            "value": "enum"
-          },
-          {
-            "$type": "Keyword",
-            "value": "def"
-          },
-          {
-            "$type": "Assignment",
-            "feature": "name",
-            "operator": "=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@83"
-              },
-              "arguments": []
-            }
-          },
-          {
-            "$type": "Keyword",
-            "value": "{"
-          },
-          {
-            "$type": "Assignment",
-            "feature": "literals",
-            "operator": "+=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@25"
-              },
-              "arguments": []
-            },
-            "cardinality": "*"
-          },
-          {
-            "$type": "Keyword",
-            "value": "}"
-          }
-        ]
-      },
-      "entry": false,
-      "fragment": false,
-      "parameters": []
-    },
-    {
-      "$type": "ParserRule",
-      "name": "ViewpointDefinition",
+      "name": "AttributeDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1677,7 +1683,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "viewpoint"
+            "value": "attribute"
           },
           {
             "$type": "Keyword",
@@ -1690,7 +1696,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1702,7 +1708,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1722,7 +1728,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1747,7 +1753,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -1773,7 +1779,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ViewDefinition",
+      "name": "ConstraintDefinition",
       "definition": {
         "$type": "Group",
         "elements": [
@@ -1789,7 +1795,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Keyword",
-            "value": "view"
+            "value": "constraint"
           },
           {
             "$type": "Keyword",
@@ -1802,7 +1808,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -1814,7 +1820,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@73"
+                "$ref": "#/rules@81"
               },
               "arguments": []
             },
@@ -1834,7 +1840,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -1859,7 +1865,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@50"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
                     },
@@ -1885,39 +1891,17 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "ConnectionBodyMember",
+      "name": "EnumDefinition",
       "definition": {
-        "$type": "Alternatives",
+        "$type": "Group",
         "elements": [
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@23"
-            },
-            "arguments": []
+            "$type": "Keyword",
+            "value": "enum"
           },
-          {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@50"
-            },
-            "arguments": []
-          }
-        ]
-      },
-      "entry": false,
-      "fragment": false,
-      "parameters": []
-    },
-    {
-      "$type": "ParserRule",
-      "name": "EndDeclaration",
-      "definition": {
-        "$type": "Group",
-        "elements": [
           {
             "$type": "Keyword",
-            "value": "end"
+            "value": "def"
           },
           {
             "$type": "Assignment",
@@ -1926,49 +1910,31 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@78"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
           },
           {
-            "$type": "Group",
-            "elements": [
-              {
-                "$type": "Keyword",
-                "value": ":"
-              },
-              {
-                "$type": "Assignment",
-                "feature": "type",
-                "operator": "=",
-                "terminal": {
-                  "$type": "RuleCall",
-                  "rule": {
-                    "$ref": "#/rules@74"
-                  },
-                  "arguments": []
-                }
-              }
-            ],
-            "cardinality": "?"
+            "$type": "Keyword",
+            "value": "{"
           },
           {
             "$type": "Assignment",
-            "feature": "multiplicity",
-            "operator": "=",
+            "feature": "literals",
+            "operator": "+=",
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@24"
+                "$ref": "#/rules@28"
               },
               "arguments": []
             },
-            "cardinality": "?"
+            "cardinality": "*"
           },
           {
             "$type": "Keyword",
-            "value": ";"
+            "value": "}"
           }
         ]
       },
@@ -1978,109 +1944,219 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "Multiplicity",
+      "name": "ViewpointDefinition",
       "definition": {
-        "$type": "Alternatives",
+        "$type": "Group",
         "elements": [
+          {
+            "$type": "Assignment",
+            "feature": "isAbstract",
+            "operator": "?=",
+            "terminal": {
+              "$type": "Keyword",
+              "value": "abstract"
+            },
+            "cardinality": "?"
+          },
+          {
+            "$type": "Keyword",
+            "value": "viewpoint"
+          },
+          {
+            "$type": "Keyword",
+            "value": "def"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Assignment",
+            "feature": "specialization",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@81"
+              },
+              "arguments": []
+            },
+            "cardinality": "?"
+          },
           {
             "$type": "Group",
             "elements": [
               {
                 "$type": "Keyword",
-                "value": "["
+                "value": ","
               },
               {
                 "$type": "Assignment",
-                "feature": "lower",
-                "operator": "=",
+                "feature": "additionalSpecializations",
+                "operator": "+=",
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@86"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
-              },
-              {
-                "$type": "Keyword",
-                "value": ".."
-              },
+              }
+            ],
+            "cardinality": "*"
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
               {
-                "$type": "Alternatives",
+                "$type": "Group",
                 "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
                   {
                     "$type": "Assignment",
-                    "feature": "upper",
-                    "operator": "=",
+                    "feature": "body",
+                    "operator": "+=",
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@86"
+                        "$ref": "#/rules@58"
                       },
                       "arguments": []
-                    }
+                    },
+                    "cardinality": "*"
                   },
                   {
-                    "$type": "Assignment",
-                    "feature": "unbounded",
-                    "operator": "?=",
-                    "terminal": {
-                      "$type": "Keyword",
-                      "value": "*"
-                    }
+                    "$type": "Keyword",
+                    "value": "}"
                   }
                 ]
               },
               {
                 "$type": "Keyword",
-                "value": "]"
+                "value": ";"
               }
             ]
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "ViewDefinition",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Assignment",
+            "feature": "isAbstract",
+            "operator": "?=",
+            "terminal": {
+              "$type": "Keyword",
+              "value": "abstract"
+            },
+            "cardinality": "?"
           },
           {
-            "$type": "Group",
-            "elements": [
-              {
-                "$type": "Keyword",
-                "value": "["
+            "$type": "Keyword",
+            "value": "view"
+          },
+          {
+            "$type": "Keyword",
+            "value": "def"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
               },
-              {
-                "$type": "Assignment",
-                "feature": "unbounded",
-                "operator": "?=",
-                "terminal": {
-                  "$type": "Keyword",
-                  "value": "*"
-                }
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Assignment",
+            "feature": "specialization",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@81"
               },
-              {
-                "$type": "Keyword",
-                "value": "]"
-              }
-            ]
+              "arguments": []
+            },
+            "cardinality": "?"
           },
           {
             "$type": "Group",
             "elements": [
               {
                 "$type": "Keyword",
-                "value": "["
+                "value": ","
               },
               {
                 "$type": "Assignment",
-                "feature": "exact",
-                "operator": "=",
+                "feature": "additionalSpecializations",
+                "operator": "+=",
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@86"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
+              }
+            ],
+            "cardinality": "*"
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@58"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
               },
               {
                 "$type": "Keyword",
-                "value": "]"
+                "value": ";"
               }
             ]
           }
@@ -2092,29 +2168,23 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "EnumLiteral",
+      "name": "ConnectionBodyMember",
       "definition": {
-        "$type": "Group",
+        "$type": "Alternatives",
         "elements": [
           {
-            "$type": "Keyword",
-            "value": "enum"
-          },
-          {
-            "$type": "Assignment",
-            "feature": "name",
-            "operator": "=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@26"
-              },
-              "arguments": []
-            }
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@26"
+            },
+            "arguments": []
           },
           {
-            "$type": "Keyword",
-            "value": ";"
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@58"
+            },
+            "arguments": []
           }
         ]
       },
@@ -2124,29 +2194,259 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "EnumLiteralName",
-      "dataType": "string",
+      "name": "EndDeclaration",
       "definition": {
-        "$type": "Alternatives",
+        "$type": "Group",
         "elements": [
-          {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@83"
-            },
-            "arguments": []
-          },
-          {
-            "$type": "Keyword",
-            "value": "in"
-          },
           {
             "$type": "Keyword",
-            "value": "out"
+            "value": "end"
           },
           {
-            "$type": "Keyword",
-            "value": "inout"
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@86"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": ":"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "isConjugated",
+                "operator": "?=",
+                "terminal": {
+                  "$type": "Keyword",
+                  "value": "~"
+                },
+                "cardinality": "?"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "type",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@82"
+                  },
+                  "arguments": []
+                }
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "multiplicity",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@27"
+              },
+              "arguments": []
+            },
+            "cardinality": "?"
+          },
+          {
+            "$type": "Keyword",
+            "value": ";"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "Multiplicity",
+      "definition": {
+        "$type": "Alternatives",
+        "elements": [
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "["
+              },
+              {
+                "$type": "Assignment",
+                "feature": "lower",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@95"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Keyword",
+                "value": ".."
+              },
+              {
+                "$type": "Alternatives",
+                "elements": [
+                  {
+                    "$type": "Assignment",
+                    "feature": "upper",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@95"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "unbounded",
+                    "operator": "?=",
+                    "terminal": {
+                      "$type": "Keyword",
+                      "value": "*"
+                    }
+                  }
+                ]
+              },
+              {
+                "$type": "Keyword",
+                "value": "]"
+              }
+            ]
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "["
+              },
+              {
+                "$type": "Assignment",
+                "feature": "unbounded",
+                "operator": "?=",
+                "terminal": {
+                  "$type": "Keyword",
+                  "value": "*"
+                }
+              },
+              {
+                "$type": "Keyword",
+                "value": "]"
+              }
+            ]
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "["
+              },
+              {
+                "$type": "Assignment",
+                "feature": "exact",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@95"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Keyword",
+                "value": "]"
+              }
+            ]
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "EnumLiteral",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Keyword",
+            "value": "enum"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@29"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Keyword",
+            "value": ";"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "EnumLiteralName",
+      "dataType": "string",
+      "definition": {
+        "$type": "Alternatives",
+        "elements": [
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@91"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@92"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "Keyword",
+            "value": "in"
+          },
+          {
+            "$type": "Keyword",
+            "value": "out"
+          },
+          {
+            "$type": "Keyword",
+            "value": "inout"
           },
           {
             "$type": "Keyword",
@@ -2231,6 +2531,606 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "Keyword",
             "value": "public"
+          },
+          {
+            "$type": "Keyword",
+            "value": "state"
+          },
+          {
+            "$type": "Keyword",
+            "value": "verification"
+          },
+          {
+            "$type": "Keyword",
+            "value": "use"
+          },
+          {
+            "$type": "Keyword",
+            "value": "fork"
+          },
+          {
+            "$type": "Keyword",
+            "value": "join"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "UsageMember",
+      "definition": {
+        "$type": "Alternatives",
+        "elements": [
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@31"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@34"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@35"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@36"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@37"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@38"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@39"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@40"
+            },
+            "arguments": []
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "PartUsage",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Keyword",
+            "value": "part"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": ":"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "type",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@82"
+                  },
+                  "arguments": []
+                }
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@68"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
+              },
+              {
+                "$type": "Keyword",
+                "value": ";"
+              }
+            ]
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "UseCaseDeclaration",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Assignment",
+            "feature": "isAbstract",
+            "operator": "?=",
+            "terminal": {
+              "$type": "Keyword",
+              "value": "abstract"
+            },
+            "cardinality": "?"
+          },
+          {
+            "$type": "Keyword",
+            "value": "use"
+          },
+          {
+            "$type": "Keyword",
+            "value": "case"
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Assignment",
+                    "feature": "isDefinition",
+                    "operator": "?=",
+                    "terminal": {
+                      "$type": "Keyword",
+                      "value": "def"
+                    }
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "name",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@91"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "specialization",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@81"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "?"
+                  },
+                  {
+                    "$type": "Group",
+                    "elements": [
+                      {
+                        "$type": "Keyword",
+                        "value": ","
+                      },
+                      {
+                        "$type": "Assignment",
+                        "feature": "additionalSpecializations",
+                        "operator": "+=",
+                        "terminal": {
+                          "$type": "RuleCall",
+                          "rule": {
+                            "$ref": "#/rules@82"
+                          },
+                          "arguments": []
+                        }
+                      }
+                    ],
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Alternatives",
+                    "elements": [
+                      {
+                        "$type": "Group",
+                        "elements": [
+                          {
+                            "$type": "Keyword",
+                            "value": "{"
+                          },
+                          {
+                            "$type": "Assignment",
+                            "feature": "body",
+                            "operator": "+=",
+                            "terminal": {
+                              "$type": "RuleCall",
+                              "rule": {
+                                "$ref": "#/rules@58"
+                              },
+                              "arguments": []
+                            },
+                            "cardinality": "*"
+                          },
+                          {
+                            "$type": "Keyword",
+                            "value": "}"
+                          }
+                        ]
+                      },
+                      {
+                        "$type": "Keyword",
+                        "value": ";"
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Assignment",
+                    "feature": "name",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@91"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Group",
+                    "elements": [
+                      {
+                        "$type": "Keyword",
+                        "value": ":"
+                      },
+                      {
+                        "$type": "Assignment",
+                        "feature": "type",
+                        "operator": "=",
+                        "terminal": {
+                          "$type": "RuleCall",
+                          "rule": {
+                            "$ref": "#/rules@82"
+                          },
+                          "arguments": []
+                        }
+                      }
+                    ],
+                    "cardinality": "?"
+                  },
+                  {
+                    "$type": "Alternatives",
+                    "elements": [
+                      {
+                        "$type": "Group",
+                        "elements": [
+                          {
+                            "$type": "Keyword",
+                            "value": "{"
+                          },
+                          {
+                            "$type": "Assignment",
+                            "feature": "usageBody",
+                            "operator": "+=",
+                            "terminal": {
+                              "$type": "RuleCall",
+                              "rule": {
+                                "$ref": "#/rules@68"
+                              },
+                              "arguments": []
+                            },
+                            "cardinality": "*"
+                          },
+                          {
+                            "$type": "Keyword",
+                            "value": "}"
+                          }
+                        ]
+                      },
+                      {
+                        "$type": "Keyword",
+                        "value": ";"
+                      }
+                    ]
+                  }
+                ]
+              }
+            ]
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "ItemUsage",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Assignment",
+            "feature": "direction",
+            "operator": "=",
+            "terminal": {
+              "$type": "Alternatives",
+              "elements": [
+                {
+                  "$type": "Keyword",
+                  "value": "in"
+                },
+                {
+                  "$type": "Keyword",
+                  "value": "out"
+                },
+                {
+                  "$type": "Keyword",
+                  "value": "inout"
+                }
+              ]
+            },
+            "cardinality": "?"
+          },
+          {
+            "$type": "Keyword",
+            "value": "item"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@85"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": ":"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "type",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@82"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Assignment",
+                "feature": "multiplicity",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@27"
+                  },
+                  "arguments": []
+                },
+                "cardinality": "?"
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "="
+              },
+              {
+                "$type": "Assignment",
+                "feature": "boundRef",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@82"
+                  },
+                  "arguments": []
+                }
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@68"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
+              },
+              {
+                "$type": "Keyword",
+                "value": ";"
+              }
+            ]
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "RequirementUsage",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Keyword",
+            "value": "requirement"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Keyword",
+            "value": ":"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "type",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@82"
+              },
+              "arguments": []
+            }
+          },
+          {
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@68"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
+              },
+              {
+                "$type": "Keyword",
+                "value": ";"
+              }
+            ]
           }
         ]
       },
@@ -2240,44 +3140,76 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "UsageMember",
+      "name": "VerificationUsage",
       "definition": {
-        "$type": "Alternatives",
+        "$type": "Group",
         "elements": [
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@28"
-            },
-            "arguments": []
+            "$type": "Keyword",
+            "value": "verification"
           },
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@29"
-            },
-            "arguments": []
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
+              },
+              "arguments": []
+            }
           },
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@30"
-            },
-            "arguments": []
+            "$type": "Keyword",
+            "value": ":"
           },
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@31"
-            },
-            "arguments": []
+            "$type": "Assignment",
+            "feature": "type",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@82"
+              },
+              "arguments": []
+            }
           },
           {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@32"
-            },
-            "arguments": []
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@68"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
+              },
+              {
+                "$type": "Keyword",
+                "value": ";"
+              }
+            ]
           }
         ]
       },
@@ -2287,13 +3219,13 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "PartUsage",
+      "name": "StateUsage",
       "definition": {
         "$type": "Group",
         "elements": [
           {
             "$type": "Keyword",
-            "value": "part"
+            "value": "state"
           },
           {
             "$type": "Assignment",
@@ -2302,7 +3234,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -2318,7 +3250,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -2340,7 +3272,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@60"
+                        "$ref": "#/rules@68"
                       },
                       "arguments": []
                     },
@@ -2366,13 +3298,13 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
     },
     {
       "$type": "ParserRule",
-      "name": "RequirementUsage",
+      "name": "InterfaceUsage",
       "definition": {
         "$type": "Group",
         "elements": [
           {
             "$type": "Keyword",
-            "value": "requirement"
+            "value": "interface"
           },
           {
             "$type": "Assignment",
@@ -2381,7 +3313,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -2397,7 +3329,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -2419,7 +3351,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@60"
+                        "$ref": "#/rules@68"
                       },
                       "arguments": []
                     },
@@ -2478,7 +3410,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -2497,7 +3429,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -2522,7 +3454,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@40"
+                        "$ref": "#/rules@48"
                       },
                       "arguments": []
                     },
@@ -2596,7 +3528,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -2612,7 +3544,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -2634,7 +3566,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@60"
+                        "$ref": "#/rules@68"
                       },
                       "arguments": []
                     },
@@ -2675,7 +3607,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -2694,7 +3626,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -2719,7 +3651,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@33"
+                        "$ref": "#/rules@41"
                       },
                       "arguments": []
                     },
@@ -2752,14 +3684,14 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@60"
+              "$ref": "#/rules@68"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@34"
+              "$ref": "#/rules@42"
             },
             "arguments": []
           }
@@ -2786,7 +3718,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@35"
+                "$ref": "#/rules@43"
               },
               "arguments": []
             }
@@ -2811,7 +3743,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -2834,7 +3766,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
               {
                 "$type": "RuleCall",
                 "rule": {
-                  "$ref": "#/rules@83"
+                  "$ref": "#/rules@91"
                 },
                 "arguments": []
               }
@@ -2880,6 +3812,19 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "$type": "Keyword",
             "value": "connection"
           },
+          {
+            "$type": "Assignment",
+            "feature": "name",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@91"
+              },
+              "arguments": []
+            },
+            "cardinality": "?"
+          },
           {
             "$type": "Group",
             "elements": [
@@ -2894,7 +3839,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@74"
+                    "$ref": "#/rules@82"
                   },
                   "arguments": []
                 }
@@ -2903,40 +3848,143 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "cardinality": "?"
           },
           {
-            "$type": "Keyword",
-            "value": "connect"
-          },
-          {
-            "$type": "Assignment",
-            "feature": "source",
-            "operator": "=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@37"
-              },
-              "arguments": []
-            }
-          },
-          {
-            "$type": "Keyword",
-            "value": "to"
-          },
-          {
-            "$type": "Assignment",
-            "feature": "target",
-            "operator": "=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@37"
+            "$type": "Alternatives",
+            "elements": [
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "connect"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "source",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@45"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "to"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "target",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@45"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Alternatives",
+                    "elements": [
+                      {
+                        "$type": "Group",
+                        "elements": [
+                          {
+                            "$type": "Keyword",
+                            "value": "{"
+                          },
+                          {
+                            "$type": "Assignment",
+                            "feature": "body",
+                            "operator": "+=",
+                            "terminal": {
+                              "$type": "RuleCall",
+                              "rule": {
+                                "$ref": "#/rules@68"
+                              },
+                              "arguments": []
+                            },
+                            "cardinality": "*"
+                          },
+                          {
+                            "$type": "Keyword",
+                            "value": "}"
+                          }
+                        ]
+                      },
+                      {
+                        "$type": "Keyword",
+                        "value": ";"
+                      }
+                    ]
+                  }
+                ]
               },
-              "arguments": []
-            }
-          },
-          {
-            "$type": "Keyword",
-            "value": ";"
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": "{"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "body",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@68"
+                      },
+                      "arguments": []
+                    },
+                    "cardinality": "*"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "connect"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "source",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@45"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "to"
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "target",
+                    "operator": "=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@45"
+                      },
+                      "arguments": []
+                    }
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": ";"
+                  },
+                  {
+                    "$type": "Keyword",
+                    "value": "}"
+                  }
+                ]
+              }
+            ]
           }
         ]
       },
@@ -2957,7 +4005,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@78"
+                "$ref": "#/rules@86"
               },
               "arguments": []
             }
@@ -2973,7 +4021,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@49"
+                "$ref": "#/rules@57"
               },
               "arguments": []
             }
@@ -2993,14 +4041,14 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@39"
+              "$ref": "#/rules@47"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@50"
+              "$ref": "#/rules@58"
             },
             "arguments": []
           }
@@ -3045,7 +4093,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -3061,7 +4109,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -3085,35 +4133,21 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@30"
-            },
-            "arguments": []
-          },
-          {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@41"
-            },
-            "arguments": []
-          },
-          {
-            "$type": "RuleCall",
-            "rule": {
-              "$ref": "#/rules@42"
+              "$ref": "#/rules@38"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@45"
+              "$ref": "#/rules@49"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@60"
+              "$ref": "#/rules@68"
             },
             "arguments": []
           }
@@ -3154,7 +4188,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@91"
               },
               "arguments": []
             }
@@ -3190,7 +4224,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -3206,7 +4240,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@43"
+                "$ref": "#/rules@51"
               },
               "arguments": []
             }
@@ -3222,7 +4256,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@43"
+                "$ref": "#/rules@51"
               },
               "arguments": []
             }
@@ -3247,7 +4281,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@44"
+            "$ref": "#/rules@52"
           },
           "arguments": []
         }
@@ -3266,7 +4300,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -3280,7 +4314,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
               {
                 "$type": "RuleCall",
                 "rule": {
-                  "$ref": "#/rules@83"
+                  "$ref": "#/rules@91"
                 },
                 "arguments": []
               }
@@ -3310,7 +4344,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@46"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -3329,7 +4363,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@46"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -3357,7 +4391,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@47"
+            "$ref": "#/rules@55"
           },
           "arguments": []
         }
@@ -3384,7 +4418,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           }
@@ -3411,7 +4445,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@49"
+                "$ref": "#/rules@57"
               },
               "arguments": []
             }
@@ -3427,7 +4461,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@49"
+                "$ref": "#/rules@57"
               },
               "arguments": []
             }
@@ -3452,7 +4486,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -3475,7 +4509,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
               {
                 "$type": "RuleCall",
                 "rule": {
-                  "$ref": "#/rules@83"
+                  "$ref": "#/rules@91"
                 },
                 "arguments": []
               }
@@ -3497,56 +4531,63 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@61"
+              "$ref": "#/rules@69"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@70"
+              "$ref": "#/rules@78"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@31"
+              "$ref": "#/rules@39"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@32"
+              "$ref": "#/rules@33"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@71"
+              "$ref": "#/rules@40"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@51"
+              "$ref": "#/rules@79"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@9"
+              "$ref": "#/rules@59"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@72"
+              "$ref": "#/rules@10"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@80"
             },
             "arguments": []
           }
@@ -3596,7 +4637,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@60"
               },
               "arguments": []
             }
@@ -3624,7 +4665,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@53"
+              "$ref": "#/rules@61"
             },
             "arguments": []
           },
@@ -3656,7 +4697,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@61"
                   },
                   "arguments": []
                 }
@@ -3683,7 +4724,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@54"
+              "$ref": "#/rules@62"
             },
             "arguments": []
           },
@@ -3715,7 +4756,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@54"
+                    "$ref": "#/rules@62"
                   },
                   "arguments": []
                 }
@@ -3742,7 +4783,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@55"
+              "$ref": "#/rules@63"
             },
             "arguments": []
           },
@@ -3799,7 +4840,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@55"
+                    "$ref": "#/rules@63"
                   },
                   "arguments": []
                 }
@@ -3826,7 +4867,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@56"
+              "$ref": "#/rules@64"
             },
             "arguments": []
           },
@@ -3867,7 +4908,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@56"
+                    "$ref": "#/rules@64"
                   },
                   "arguments": []
                 }
@@ -3894,7 +4935,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@57"
+              "$ref": "#/rules@65"
             },
             "arguments": []
           },
@@ -3935,7 +4976,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@57"
+                    "$ref": "#/rules@65"
                   },
                   "arguments": []
                 }
@@ -3985,7 +5026,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@57"
+                    "$ref": "#/rules@65"
                   },
                   "arguments": []
                 }
@@ -3995,7 +5036,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@58"
+              "$ref": "#/rules@66"
             },
             "arguments": []
           }
@@ -4018,7 +5059,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@59"
+              "$ref": "#/rules@67"
             },
             "arguments": []
           },
@@ -4045,7 +5086,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@83"
+                    "$ref": "#/rules@91"
                   },
                   "arguments": []
                 }
@@ -4061,7 +5102,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@60"
                   },
                   "arguments": []
                 },
@@ -4107,7 +5148,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@86"
+                    "$ref": "#/rules@95"
                   },
                   "arguments": []
                 }
@@ -4131,7 +5172,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@84"
+                    "$ref": "#/rules@93"
                   },
                   "arguments": []
                 }
@@ -4185,7 +5226,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@83"
+                    "$ref": "#/rules@91"
                   },
                   "arguments": []
                 }
@@ -4204,7 +5245,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@83"
+                        "$ref": "#/rules@91"
                       },
                       "arguments": []
                     }
@@ -4224,7 +5265,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
               {
                 "$type": "RuleCall",
                 "rule": {
-                  "$ref": "#/rules@52"
+                  "$ref": "#/rules@60"
                 },
                 "arguments": []
               },
@@ -4249,42 +5290,77 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@61"
+              "$ref": "#/rules@69"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@70"
+              "$ref": "#/rules@78"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@31"
+              "$ref": "#/rules@39"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@32"
+              "$ref": "#/rules@33"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@9"
+              "$ref": "#/rules@79"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@72"
+              "$ref": "#/rules@40"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@50"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@53"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@44"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@10"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@80"
             },
             "arguments": []
           }
@@ -4330,7 +5406,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@83"
+                "$ref": "#/rules@85"
               },
               "arguments": []
             }
@@ -4352,7 +5428,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@74"
+                        "$ref": "#/rules@82"
                       },
                       "arguments": []
                     }
@@ -4364,15 +5440,46 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@24"
+                        "$ref": "#/rules@27"
                       },
                       "arguments": []
                     },
                     "cardinality": "?"
                   },
                   {
-                    "$type": "Keyword",
-                    "value": ";"
+                    "$type": "Alternatives",
+                    "elements": [
+                      {
+                        "$type": "Group",
+                        "elements": [
+                          {
+                            "$type": "Keyword",
+                            "value": "{"
+                          },
+                          {
+                            "$type": "Assignment",
+                            "feature": "body",
+                            "operator": "+=",
+                            "terminal": {
+                              "$type": "RuleCall",
+                              "rule": {
+                                "$ref": "#/rules@68"
+                              },
+                              "arguments": []
+                            },
+                            "cardinality": "*"
+                          },
+                          {
+                            "$type": "Keyword",
+                            "value": "}"
+                          }
+                        ]
+                      },
+                      {
+                        "$type": "Keyword",
+                        "value": ";"
+                      }
+                    ]
                   }
                 ]
               },
@@ -4390,7 +5497,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@62"
+                        "$ref": "#/rules@70"
                       },
                       "arguments": []
                     }
@@ -4418,42 +5525,42 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@63"
+              "$ref": "#/rules@71"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@64"
+              "$ref": "#/rules@72"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@65"
+              "$ref": "#/rules@73"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@66"
+              "$ref": "#/rules@74"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@67"
+              "$ref": "#/rules@75"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@69"
+              "$ref": "#/rules@77"
             },
             "arguments": []
           }
@@ -4473,7 +5580,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@84"
+            "$ref": "#/rules@93"
           },
           "arguments": []
         }
@@ -4492,7 +5599,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@85"
+            "$ref": "#/rules@94"
           },
           "arguments": []
         }
@@ -4511,7 +5618,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@86"
+            "$ref": "#/rules@95"
           },
           "arguments": []
         }
@@ -4565,7 +5672,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@68"
+                    "$ref": "#/rules@76"
                   },
                   "arguments": []
                 }
@@ -4584,7 +5691,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@68"
+                        "$ref": "#/rules@76"
                       },
                       "arguments": []
                     }
@@ -4612,7 +5719,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@68"
+                    "$ref": "#/rules@76"
                   },
                   "arguments": []
                 }
@@ -4631,7 +5738,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@68"
+                        "$ref": "#/rules@76"
                       },
                       "arguments": []
                     }
@@ -4664,7 +5771,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -4676,7 +5783,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@84"
+                "$ref": "#/rules@93"
               },
               "arguments": []
             }
@@ -4697,7 +5804,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@74"
+            "$ref": "#/rules@82"
           },
           "arguments": []
         }
@@ -4738,7 +5845,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@77"
+                        "$ref": "#/rules@85"
                       },
                       "arguments": []
                     }
@@ -4757,7 +5864,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                         "terminal": {
                           "$type": "RuleCall",
                           "rule": {
-                            "$ref": "#/rules@74"
+                            "$ref": "#/rules@82"
                           },
                           "arguments": []
                         }
@@ -4777,7 +5884,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@77"
+                        "$ref": "#/rules@85"
                       },
                       "arguments": []
                     }
@@ -4796,7 +5903,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                         "terminal": {
                           "$type": "RuleCall",
                           "rule": {
-                            "$ref": "#/rules@74"
+                            "$ref": "#/rules@82"
                           },
                           "arguments": []
                         }
@@ -4808,7 +5915,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                         "terminal": {
                           "$type": "RuleCall",
                           "rule": {
-                            "$ref": "#/rules@24"
+                            "$ref": "#/rules@27"
                           },
                           "arguments": []
                         },
@@ -4845,7 +5952,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                         "terminal": {
                           "$type": "RuleCall",
                           "rule": {
-                            "$ref": "#/rules@74"
+                            "$ref": "#/rules@82"
                           },
                           "arguments": []
                         }
@@ -4874,7 +5981,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@60"
+                        "$ref": "#/rules@68"
                       },
                       "arguments": []
                     },
@@ -4910,43 +6017,101 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           },
           {
             "$type": "Assignment",
-            "feature": "name",
-            "operator": "=",
+            "feature": "isItem",
+            "operator": "?=",
             "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@83"
-              },
-              "arguments": []
-            }
+              "$type": "Keyword",
+              "value": "item"
+            },
+            "cardinality": "?"
           },
           {
-            "$type": "Keyword",
-            "value": ":"
+            "$type": "Assignment",
+            "feature": "redefines",
+            "operator": "?=",
+            "terminal": {
+              "$type": "Keyword",
+              "value": ":>>"
+            },
+            "cardinality": "?"
           },
           {
             "$type": "Assignment",
-            "feature": "type",
+            "feature": "name",
             "operator": "=",
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@86"
               },
               "arguments": []
             }
           },
           {
-            "$type": "Assignment",
-            "feature": "multiplicity",
-            "operator": "=",
-            "terminal": {
-              "$type": "RuleCall",
-              "rule": {
-                "$ref": "#/rules@24"
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": ":"
               },
-              "arguments": []
-            },
+              {
+                "$type": "Assignment",
+                "feature": "isConjugated",
+                "operator": "?=",
+                "terminal": {
+                  "$type": "Keyword",
+                  "value": "~"
+                },
+                "cardinality": "?"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "type",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@82"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Assignment",
+                "feature": "multiplicity",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@27"
+                  },
+                  "arguments": []
+                },
+                "cardinality": "?"
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "="
+              },
+              {
+                "$type": "Assignment",
+                "feature": "value",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@70"
+                  },
+                  "arguments": []
+                }
+              }
+            ],
             "cardinality": "?"
           },
           {
@@ -4969,7 +6134,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
         "terminal": {
           "$type": "RuleCall",
           "rule": {
-            "$ref": "#/rules@82"
+            "$ref": "#/rules@90"
           },
           "arguments": []
         }
@@ -5004,7 +6169,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@74"
+                "$ref": "#/rules@82"
               },
               "arguments": []
             }
@@ -5025,7 +6190,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@75"
+              "$ref": "#/rules@83"
             },
             "arguments": []
           },
@@ -5039,7 +6204,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
               {
                 "$type": "RuleCall",
                 "rule": {
-                  "$ref": "#/rules@76"
+                  "$ref": "#/rules@84"
                 },
                 "arguments": []
               }
@@ -5062,7 +6227,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -5086,7 +6251,14 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@75"
+              "$ref": "#/rules@83"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@92"
             },
             "arguments": []
           },
@@ -5181,6 +6353,26 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "Keyword",
             "value": "public"
+          },
+          {
+            "$type": "Keyword",
+            "value": "state"
+          },
+          {
+            "$type": "Keyword",
+            "value": "verification"
+          },
+          {
+            "$type": "Keyword",
+            "value": "use"
+          },
+          {
+            "$type": "Keyword",
+            "value": "fork"
+          },
+          {
+            "$type": "Keyword",
+            "value": "join"
           }
         ]
       },
@@ -5198,7 +6390,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -5249,6 +6441,14 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "Keyword",
             "value": "part"
+          },
+          {
+            "$type": "Keyword",
+            "value": "state"
+          },
+          {
+            "$type": "Keyword",
+            "value": "verification"
           }
         ]
       },
@@ -5266,7 +6466,7 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@83"
+              "$ref": "#/rules@91"
             },
             "arguments": []
           },
@@ -5341,6 +6541,14 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
           {
             "$type": "Keyword",
             "value": "operator"
+          },
+          {
+            "$type": "Keyword",
+            "value": "state"
+          },
+          {
+            "$type": "Keyword",
+            "value": "verification"
           }
         ]
       },
@@ -5403,6 +6611,17 @@ export const MemoSysMLGrammar = () => loadedMemoSysMLGrammar ?? (loadedMemoSysML
       "fragment": false,
       "hidden": false
     },
+    {
+      "$type": "TerminalRule",
+      "name": "UNRESTRICTED_NAME",
+      "definition": {
+        "$type": "RegexToken",
+        "regex": "/'(?:[^'\\\\\\\\]|\\\\\\\\.)*'/",
+        "parenthesized": false
+      },
+      "fragment": false,
+      "hidden": false
+    },
     {
       "$type": "TerminalRule",
       "name": "STRING",