From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 14 Aug 2025 02:49:20 +0200
Subject: Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.
---
 test/golden/abbr/parsing.golden | 41 ++++++++++++++++++++++-------------------
 1 file changed, 22 insertions(+), 19 deletions(-)

(limited to 'test/golden/abbr/parsing.golden')

diff --git a/test/golden/abbr/parsing.golden b/test/golden/abbr/parsing.golden
index 77a4c47..21e4c60 100644
--- a/test/golden/abbr/parsing.golden
+++ b/test/golden/abbr/parsing.golden
@@ -122,25 +122,28 @@
     )
     ( Marker "dummy_abbr_test_noun" )
     ( Lemma []
-        ( StmtNoun
-            ( TermExpr
-                ( ExprVar
-                    ( NamedVar "x" )
-                ) :| []
-            ) NounPhrase ( [] )
-            ( Noun
-                ( SgPl
-                    { sg =
-                        [ Just
-                            ( Word "function" )
-                        ]
-                    , pl =
-                        [ Just
-                            ( Word "functions" )
-                        ]
-                    }
-                ) []
-            ) ( Nothing ) ( [] ) ( Nothing )
+        ( SymbolicQuantified Universally
+            ( NamedVar "x" :| [] ) Unbounded Nothing
+            ( StmtNoun
+                ( TermExpr
+                    ( ExprVar
+                        ( NamedVar "x" )
+                    ) :| []
+                ) NounPhrase ( [] )
+                ( Noun
+                    ( SgPl
+                        { sg =
+                            [ Just
+                                ( Word "function" )
+                            ]
+                        , pl =
+                            [ Just
+                                ( Word "functions" )
+                            ]
+                        }
+                    ) []
+                ) ( Nothing ) ( [] ) ( Nothing )
+            )
         )
     )
 , BlockAbbr
-- 
cgit v1.2.3