added QuantityNP and mkMU

2024-10-22 20:41:16 +02:00
parent 89dc2a13f0
commit d44298a4ad
2 changed files with 7 additions and 0 deletions
@@ -118,4 +118,10 @@ concrete NounIna of Noun = CatIna ** open ResIna, Prelude in {
      isPronoun = np.isPronoun ---- ?? AR
      } ;

+    QuantityNP n m = {
+      s = \\c => preOrPost m.isPre m.s (n.s ! NCard) ;
+      a = agrP3 n.n ;
+      isPronoun = False
+    } ;
+
 }