Find!
r1=f5 enacts r2=f1 (law/legislation/treaties/act) for community f3 under condition r3=f4.
x1 is usually a national parliament.