zgadi experimental gismu

x1 (abstraction) should/(of right) ought to be true/happening under conditions/in the case of x2 being true/happening, as believed by/by standard/under consideration of x3. If the world were proper/correct/just/ruled perfectly and strictly according to x3 and if x2 were true, then x1 would be true as well.

If the world were proper/correct/just according to x3 and if x2 were true, then x1 would be true as well. Moral judgment goes in x3. x3 can also be assumed by expectation under hypothesized laws of physics, by the true situation of the world, etc. Synonymous with cadga.


In definition:

gai'i (exp!)
zgadi/cadga modal; 1st place: with just/expected result ...; should/ought to result in ...

In notes:

cadga
x1 (abstraction) should/(of right) ought to be true/happening under conditions/in the case of x2 being true/happening, as believed by/by standard/under consideration of x3. If the world were proper/correct/just/ruled perfectly and strictly according to x3 and if x2 were true, then x1 would be true as well.
eilga
x1 (du'u/nu) should (moral obligation) be true/happen by standard x2
einvi
x1 (agent) thinks x2 (du'u/nu) should (moral obligation) be true/happen about subject/issue x3 on grounds x4