2 files changed, 3 insertions, 3 deletions

diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index b08a9c36..ac451e7a 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -57,10 +57,10 @@ statement {
   //  RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." }
   //} |
   AtomDeclaration {
-    ckw<"atom"> sep<",", AtomNodeName> "."
+    kw<"declare">? ckw<"atom"> sep<",", AtomNodeName> "."
   } |
   NodeDeclaration {
-    (ckw<"node"> | ckw<"multi">) sep<",", NodeName> "."
+    (kw<"declare"> | kw<"declare">? ckw<"multi">) sep<",", NodeName> "."
   } |
   ScopeDeclaration {
     kw<"scope"> sep<",", ScopeElement> "."
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts
index 3847fdd8..2483c2e3 100644
--- a/subprojects/frontend/src/language/problemLanguageSupport.ts
+++ b/subprojects/frontend/src/language/problemLanguageSupport.ts
@@ -28,7 +28,7 @@ const parserWithMetadata = parser.configure({
       LineComment: t.lineComment,
       BlockComment: t.blockComment,
       'module problem class enum pred fn scope': t.definitionKeyword,
-      'node atom multi': t.definitionKeyword,
+      'declare atom multi': t.definitionKeyword,
       'abstract extends refers contains container opposite': t.modifier,
       'default error contained containment': t.modifier,
       'true false unknown error': t.keyword,