From 75871004b60bcc5bd40c403f68d6feb9d773b5f7 Mon Sep 17 00:00:00 2001
From: Arianna Masciolini <uzkamascio@gmail.com>
Date: Sun, 13 Apr 2025 21:49:19 +0200
Subject: [PATCH] final initial state for lecture 5

---
 lectures/lecture-05/Agreement.gf | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/lectures/lecture-05/Agreement.gf b/lectures/lecture-05/Agreement.gf
index 3538986..d966d41 100644
--- a/lectures/lecture-05/Agreement.gf
+++ b/lectures/lecture-05/Agreement.gf
@@ -1,20 +1,18 @@
 abstract Agreement = {
     cat
-        S ;
+        NP ;
         CN ;
-        V ;
         N ;
         A ;
         Det ;
+        
     fun
-        PredVPS : CN -> V -> S ;    -- the black cat runs
-        DetCN : Det -> N -> CN ;    -- the black cat
+        DetCN : Det -> CN -> NP ;   -- the black cat
         AdjCN : A -> N -> CN ;      -- black cat
         UseN : N -> CN ;            -- cat
 
         cat_N : N ;
         black_A : A ;
-        run_V : V ;
         the_Sg : Det ;
         the_Pl : Det ;
 }
\ No newline at end of file