This commit is contained in:
Roman Suzi
2020-08-16 09:34:36 +03:00
parent 4abec966a9
commit 1d726ed956
7 changed files with 38 additions and 5 deletions

View File

@@ -21,6 +21,9 @@ lin
have_not_V3 = P.mkV3 net_V obj_neg_Prep u_Prep;
be_V3 = P.mkV3 be_ell_V nom_Prep dat_Prep;
-- : A -> A -> A ;
CompoundA a1 a2 = mkCompoundA a1 "-" a2 ;
oper
est_V : V = lin V {
inf="есть";