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.
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 zgadi.