remove duplicated definitions

2026-04-21 20:27:57 +02:00
parent 3943089d3d
commit 9458f96f0b
12 changed files with 1 additions and 476 deletions
@@ -125,10 +125,4 @@ oper
         comp  = \\a => vps.comp ! a ++ (let agr = complAgr a in vps.s.s ! VPart agr.g agr.n) ++ agent ;
        } ;

-lin ExistsNP np =
-      mkClause [] True False np.a
-      (insertComplement (\\_ => (np.s ! Nom).ton)
-         (predV (mkV "existir"))) ;
-
-
 } ;