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.
x1=k1 is a/the negative right of / owned by x2=k2 to exclude / restrain x3=r1 from x4=r3 by standard / under law / custom x5=k3; x2 has the right to (tu'a) x4 in the sense of non-interventionism rather than active obligation on another.
x1=k1 is the positive right of / owned by x2=k2 to obligate x3=s1 to obligation / action x4=s2 by standard / under law / custom x5=k3; x2 has the right to (tu'a) x4 in the sense of active obligation.