added NamesAra

This commit is contained in:
aarneranta
2023-09-08 13:10:49 +02:00
parent f53b872b33
commit 5f9322683c
2 changed files with 18 additions and 1 deletions
+1 -1
View File
@@ -92,7 +92,7 @@ concrete CatAra of Cat = CommonX - [Utt] ** open ResAra, Prelude, ParamX in {
N = ResAra.Noun ;
N2 = ResAra.Noun2 ;
N3 = ResAra.Noun3 ;
PN = {s : Case => Str; g : Gender; h : Species} ;
GN, SN, LN, PN = {s : Case => Str; g : Gender; h : Species} ;
linref