crujva lujvo

x1=j1=c1 is a rule permitting/allowing x2=j2=c2 (event/state) within system/community x3=j3 under conditions x4=c3

The use of c1 there is perhaps a bit iffy; the point here is that it's non-agentive.