Tropativity is a conception of personal meaning.
If it is absent, such an idea can not be expressed at all, only presense or absense of a quality is expressed
If it exists, such an idea can be expressed either with a sentence "Subject X has an opinion that object Y corresponds to characteristics Q" or descriptionally.
Semantical tropative is a construction: "Subject X has an opinion that object Y corresponds to characteristics Q".
Semantical tropative is checked for languages with tropativity (class 1-4) only.
If it is absent, such an idea can only be expressed descriptionally, e. g. "Y is supposedly Q" (4th class).
If it exists, such an idea can be expressed either with a tropative clause (syntactical tropative) or with a polypredicative construction.
Syntactical tropative is a predicate T(X, Y, Q) with the meaning: "X [considers] Y (to be) Q"
Syntactical tropative is checked for languages with semantical one (class 1-3) only.
If it is absent, tropative can only be expressed with a polypredicative construction, in which main clause introduses a subject, subordinate clause introduses an object and a characteristics (3rd class).
If it exists, tropative is expressed with a predicate even if it is not grammaticalized.
Grammatical tropative is an affix used to make a word form "to consider to be Q" from the word Q or "to be Q".
Grammatical tropative is checked for languages with syntactical one (class 1-2) only.
If it does not exist, tropative can only be expressed lexically (2nd class).
Strong or universal grammatical tropative can be attached to any noun or adjective/stative verb stem, e.g. in Arabic, Inuktitut or Chukchi.
Weak or limited grammatical tropative can be attached just to some of stems, like in Turkish, Tundra Nenets or Nanai.
Special tropative has only tropative meaning, like in Inuktitut or Turkish.
Tropative can have a wider meaning, e.g. of a triadic predicate copula, like in Chukchi or Koryak, or a verb-forming affix, like in Nanai.
Constructions with a meaning "There is an opinion, optionally popular, that object Y corresponds to characteristics Q", not requiring X, are called reverse in conrast to direct ones.
Constructions negating presense of X's opinion or her opinion about Y not corresponding to Q, are called negative in contrast to positive ones.
nom - nominative. Used in languages with accusative case system for the main argument of an intransitive verb and a subject of a transitive verb.
acc - accusative. Used in the same type of languages for a direct object of a transitive verb.
abs - absolutive. Used in languages with ergative case system for the main argument of an intransitive verb and a direct object of a transitive verb.
erg - ergative. Used in the same type of languages for a subject of a transitive verb.
unm - unmarked form, this means that the language does not have a case system.
dat - dative. Used for direct objects in Georgian present tenses.
instr - instrumental.
ess - essive.
transl - translative.
ben - benefactive.
obl - oblique. Used for indirect objects or adjuncts in some languages.
equ - equative. Used for the meaning "like N" in some languages.
T stands for (usually direct positive) tropative predicate.
Passivization is a function changing a voice of a predicate from active to passive (direct object becomes subject, subject is eliminated or becomes adjunct).
Intransitivization is a function (usually an affix) making transitive verb intransitive with a meaning of a passive, reflexive or reciprocal construction.
T' stands for (usually positive) reverse tropative predicate.
As a rule, T' = pass(T) or intrans(T), but if it is not, T' is used in formulas.
Negation is a function for making a predicate 'not P' from a predicate P.
-T stands for (usually direct) negative tropative predicate.
As a rule, -T = neg(T), but if it is not, -T is used in formulas.