diff --git a/src/arabic/DocumentationAra.gf b/src/arabic/DocumentationAra.gf
new file mode 100644
index 000000000..63eaf169f
--- /dev/null
+++ b/src/arabic/DocumentationAra.gf
@@ -0,0 +1,213 @@
+--# -path=.:../abstract:../common
+
+-- documenting Arabic inflection
+---- so far with English titles and tags, AR 2024-01-31
+
+concrete DocumentationAra of Documentation = CatAra ** open
+ ResAra,
+ Prelude,
+ HTML in {
+
+lincat
+ Inflection = {t : Str; s1,s2 : Str} ;
+ Definition = {s : Str} ;
+ Document = {s : Str} ;
+ Tag = {s : Str} ;
+
+lin
+ InflectionN, InflectionN2, InflectionN3 = \noun -> {
+ t = "n" ;
+ s1 = heading1 ("Noun" ++ case noun.g of {
+ Masc => "(masc)";
+ Fem => "(fem)"
+ }) ;
+ s2 = frameTable (
+ tr (th "" ++ th "nom" ++ th "gen" ++ th "acc") ++
+ tr (th "sg" ++ td (noun.s ! Sg ! Indef ! Nom) ++ td (noun.s ! Sg ! Indef ! Gen) ++
+ td (noun.s ! Sg ! Indef ! Acc)) ++
+ tr (th "dl" ++ td (noun.s ! Dl ! Indef ! Nom) ++ td (noun.s ! Dl ! Indef ! Gen) ++
+ td (noun.s ! Dl ! Indef ! Acc)) ++
+ tr (th "pl" ++ td (noun.s ! Pl ! Indef ! Nom) ++ td (noun.s ! Pl ! Indef ! Gen) ++
+ td (noun.s ! Pl ! Indef ! Acc))
+ )
+ } ;
+
+ InflectionPN, InflectionLN, InflectionGN, InflectionSN = \pn -> { ---- TODO: special for LN, GN, SN
+ t = "pn" ;
+ s1 = heading1 ("Proper Name" ++
+ case pn.g of {
+ Masc => "(masc)";
+ Fem => "(fem)"
+ }) ;
+ s2 = frameTable (
+ tr (th "nom" ++ th "gen" ++ th "acc") ++
+ tr (td (pn.s ! Nom) ++ td (pn.s ! Gen) ++ td (pn.s ! Acc))
+ )
+ } ;
+
+ InflectionA, InflectionA2 = \adj -> {
+ t = "a" ;
+ s1 = heading1 "Adjective" ;
+ s2 = adj.s ! APosit Masc Sg Indef Nom ++ "table TODO"
+ {- ---- TODO
+ frameTable (
+ tr (th "" ++ th "nom" ++ th "gen") ++
+ tr (th "posit" ++ td (adj.s ! AAdj Posit Nom) ++ td (adj.s ! AAdj Posit Gen)) ++
+ tr (th "compar" ++ td (getCompar Nom adj) ++ td (getCompar Gen adj)) ++
+ tr (th "superl" ++ td (getSuperl Nom adj) ++ td (getSuperl Gen adj))
+ ) ++
+ heading1 "Adverb" ++
+ paragraph (adj.s ! AAdv)
+ -}
+ } ;
+
+ InflectionAdv, InflectionAdV, InflectionAdA, InflectionAdN = \adv -> {
+ t = "adv" ;
+ s1= heading1 "Adverb" ;
+ s2= paragraph (adv.s) ;
+ s3= ""
+ } ;
+
+ InflectionPrep = \prep -> {
+ t = "prep" ;
+ s1= heading1 "Preposition" ;
+ s2= paragraph (prep.s) ;
+ s3= ""
+ } ;
+
+ InflectionV v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (v.s ! (VPerf Act (Per3 Masc Sg)) ++
+ pp "subject");
+ s2= inflVerb v
+ } ;
+
+ InflectionV2 v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (v.s ! (VPerf Act (Per3 Masc Sg)) ++
+ pp "subject" ++
+ pp "object") ;
+ s2= inflVerb v
+ } ;
+{-
+ InflectionV3 v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ v.c2 ++ pp "arg1" ++
+ v.c3 ++ pp "arg2") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionV2V v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ v.c2 ++ pp "object" ++
+ v.c3 ++ case v.typ of {
+ VVAux => pp "verb" ;
+ VVInf => "to" ++ pp "verb" ;
+ VVPresPart => pp "verb+ing"
+ }) ;
+ s2= inflVerb v
+ } ;
+
+ InflectionV2S v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ v.c2 ++ pp "object" ++
+ "that" ++ pp "sentence") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionV2Q v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ pp "question") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionV2A v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ v.c2 ++ pp "object" ++
+ pp "adjective") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionVV v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VVF VInf ++ v.p ++
+ case v.typ of {
+ VVAux => pp "verb" ;
+ VVInf => "to" ++ pp "verb" ;
+ VVPresPart => pp "verb+ing"
+ }) ;
+ s2= frameTable (
+ tr (th "infitive" ++ td (v.s ! VVF VInf)) ++
+ tr (th "present" ++ td (v.s ! VVF VPres ++ " " ++ v.s ! VVPresNeg)) ++
+ tr (th "past" ++ td (v.s ! VVF VPast ++ " " ++ v.s ! VVPastNeg)) ++ --# notpresent
+ tr (th "past part." ++ td (v.s ! VVF VPPart)) ++
+ tr (th "present part." ++ td (v.s ! VVF VPresPart))
+ )
+ } ;
+
+ InflectionVS v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ "that" ++ pp "sentence") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionVQ v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ pp "question") ;
+ s2= inflVerb v
+ } ;
+
+ InflectionVA v = {
+ t = "v" ;
+ s1= heading1 "Verb" ++
+ paragraph (pp "subject" ++
+ v.s ! VInf ++ v.p ++
+ pp "adjective") ;
+ s2= inflVerb v
+ } ;
+-}
+
+oper
+ inflVerb : Verb -> Str = \verb ->
+ frameTable (
+ tr (th "perfect" ++ td (verb.s ! (VPerf Act (Per3 Masc Sg)))) ++
+ tr (th "imperfect" ++ td (verb.s ! (VImpf Ind Act (Per3 Masc Sg))))
+ ) ;
+
+ pp : Str -> Str = \s -> "<"+s+">";
+
+lin
+ NoDefinition t = {s=t.s};
+ MkDefinition t d = {s="Definition:"++t.s++d.s++"
"};
+ MkDefinitionEx t d e = {s="Definition:"++t.s++d.s++"
Example:"++e.s++"
"};
+
+lin
+ MkDocument d i e = {s = i.s1 ++ d.s ++ i.s2 ++ paragraph e.s} ;
+ MkTag i = {s = i.t} ;
+
+}
diff --git a/src/arabic/LangAra.gf b/src/arabic/LangAra.gf
index fc08a4a80..7e8333af9 100644
--- a/src/arabic/LangAra.gf
+++ b/src/arabic/LangAra.gf
@@ -3,7 +3,8 @@
concrete LangAra of Lang =
GrammarAra,
LexiconAra,
- ConstructionAra
+ ConstructionAra,
+ DocumentationAra
** {
flags startcat = Phr ; unlexer = text ; lexer = text ; coding = utf8 ;
diff --git a/src/arabic/NamesAra.gf b/src/arabic/NamesAra.gf
index d89286969..a362cc02e 100644
--- a/src/arabic/NamesAra.gf
+++ b/src/arabic/NamesAra.gf
@@ -1,4 +1,4 @@
-concrete NamesAra of Names = CatAra ** open ResAra, Prelude in {
+concrete NamesAra of Names = CatAra ** open ResAra, Prelude, (N=NounAra), (A=AdverbAra), (S=StructuralAra) in {
lin GivenName, MaleSurname, FemaleSurname, PlSurname = \n -> emptyNP ** {
s = n.s ;
@@ -14,4 +14,6 @@ lin UseLN pn = emptyNP ** {
a = {pgn = Per3 pn.g Sg ; isPron = False} ;
} ;
+lin InLN n = A.PrepNP S.in_Prep (N.UsePN n) ; ---- TODO: alternative prepositions
+
}