Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit cdb0c6de authored by Michael Kohlhase's avatar Michael Kohlhase

adding appositions

parent 1868e925
abstract MathLex = Cat ** {
fun
cat MathNP;
fun
positive_A : A ;
prime_A : A ;
integer_N : N ;
call_V2 : V2;
iff_Subj : Subj;
three_PN : PN;
-- for the Math Grammar
appo : N -> MathNP -> N;
n_MathNP : MathNP;
}
......@@ -6,10 +6,16 @@ concrete MathLexEng of MathLex = CatEng **
flags
optimize=values ;
lincat MathNP = Str;
lin
positive_A = regADeg "positive" ;
prime_A = regADeg "prime" ;
positive_A = regA "positive" ;
prime_A = regA "prime" ;
integer_N = regN "integer" ;
call_V2 = dirV2 (regV "call") ;
iff_Subj = mkSubj "iff";
three_PN = mkPN (mkN nonhuman (mkN "three")) ;
-- for the Math Grammar
appo n a = lin N {s = \\x,y => n.s ! x ! y ++ a; g=n.g};
n_MathNP = "$n$";
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment