Parse the raising construction "X er sagður/talinn hafa gert Y"

The past participles sagður, talinn, álitinn and látinn followed by an
infinitive ("Maðurinn er sagður hafa stolið bílnum", "Hún er talin
vera í haldi") only had an analysis for "sögð vera + predicate", so
the common news pattern "er sagður hafa + supine" failed to parse
("sagður vera í haldi" happened to parse with 'vera' as a noun).

Add three SögnErLoBotn alternatives after SögnLhÞtVera: 'hafa' + a
supine verb phrase, a plain infinitive verb phrase, and vera/hafa
verið + a past participle, each with an optional adverb ("var ekki
talinn hafa misnotað aðstöðu sína").

Measured on the unparsed-sentence corpus: 241 of 369 sentences with
such phrases now parse. On 1000 previously parsed news sentences,
6 trees change (3 ties, 3 improved: "voru talin skekkja ímynd",
"var látinn vinna", "látin vita"), 0 lost.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: vthorsteinsson

src/reynir/Greynir.grammar

@@ -2031,6 +2031,12 @@ SögnErLoBotn/tala/kyn →
     | SögnErLoMM
     # (Hún er/var/hefur verið) talin/álitin/sögð vera lykillinn [að því að málið leystist]
     | SögnLhÞtVera_nf/tala/kyn HjSögnVera NlSagnfylling_nf
+    # (Maðurinn er/var) sagður/talinn [ekki] hafa stolið bílnum / hafa verið vopnaður
+    | SögnLhÞtVera_nf/tala/kyn FsAtv? 'hafa:so'_nh HreinSögn_sagnb/tala/kyn
+    # (Maðurinn er) sagður/talinn [ekki] vera í haldi lögreglu / búa í Reykjavík
+    | SögnLhÞtVera_nf/tala/kyn FsAtv? HreinSögn_nh/tala/kyn
+    # (Maðurinn er) sagður/talinn [ekki] vera/hafa verið vopnaður
+    | SögnLhÞtVera_nf/tala/kyn FsAtv? HjSögnEkkiVera so_lhþt_sb_nf/tala/kyn
 
 SögnErLoMM →
     FsAtv? so_0_mm_sagnb

test/test_parse.py

@@ -249,9 +249,8 @@ def test_parse(r: Greynir, verbose: bool = False) -> None:
         "borða",
     ]
     assert results[12].tree.verbs == ["horfa", "borða"]
-    assert (results[32].tree.verbs == ["finna", "segja", "gefa", "hafa", "deyja"]) or (
-        results[32].tree.verbs == ["finna", "gefa", "hafa", "deyja"]
-    )
+    # 'er sögð gefa í skyn' is a raising construction: vera + sögð + gefa
+    assert results[32].tree.verbs == ["finna", "vera", "segja", "gefa", "hafa", "deyja"]
     # Test that the parser finds the correct word lemmas
     assert results[0].tree.lemmas == [
         "hér",
@@ -2763,6 +2762,24 @@ def test_thess_i_stad(r) -> None:
         ), sentence
 
 
+def test_sagdur_hafa(r) -> None:
+    """Raising construction: X er sagður/talinn (ekki) hafa gert Y / vera Z"""
+    for sentence, verbs in (
+        ("Maðurinn er sagður hafa stolið bílnum.", ["vera", "segja", "hafa", "stela"]),
+        ("Konan er sögð hafa stolið bílnum.", ["vera", "segja", "hafa", "stela"]),
+        ("Mennirnir eru sagðir hafa stolið bílnum.", ["vera", "segja", "hafa", "stela"]),
+        ("Maðurinn er talinn hafa stolið bílnum.", ["vera", "telja", "hafa", "stela"]),
+        ("Því var hann ekki talinn hafa misnotað aðstöðu sína.", ["vera", "telja", "hafa", "misnota"]),
+        ("Hann er sagður vera í haldi lögreglu.", ["vera", "segja", "vera"]),
+        ("Hún er sögð hafa verið í haldi lögreglu.", ["vera", "segja", "hafa", "vera"]),
+        ("Hann er sagður búa í Reykjavík.", ["vera", "segja", "búa"]),
+    ):
+        s = r.parse_single(sentence)
+        assert s and s.tree, sentence
+        assert s.tree.verbs == verbs, (sentence, s.tree.verbs)
+        assert "lhþt" in s.tree.flat, sentence
+
+
 if __name__ == "__main__":
     # When invoked as a main module, do a verbose test
     from reynir import Greynir
@@ -2831,4 +2848,5 @@ def test_thess_i_stad(r) -> None:
     test_article_with_nominalized_adjective(g)
     test_quoted_question_attribution(g)
     test_thess_i_stad(g)
+    test_sagdur_hafa(g)
     g.__class__.cleanup()