more verbs; moved negation after adv because adv can have not_AdA

This commit is contained in:
Roman Suzi
2020-08-21 23:43:09 +03:00
parent ecb032770e
commit 5a3f5e430a
11 changed files with 133 additions and 20 deletions
+3
View File
@@ -102,4 +102,7 @@ oper
refl : Reflexivity ;
tran : Transitivity
} ;
ComplementCase : Type = {s : Str ; c : Case ; neggen : Bool ; hasPrep : Bool} ;
VerbForms2 : Type = VerbForms ** {c : ComplementCase} ;
VerbForms3 : Type = VerbForms ** {c : ComplementCase ; c2 : ComplementCase} ;
}