Xi expr
∅ > species_1
Xi degr
species_1 > ∅
Yi expr
∅ > species_2
Yi degr
species_2 > ∅
Xj expr
∅ > species_3
Xj degr
species_3 > ∅
Yj expr
∅ > species_4
Yj degr
species_4 > ∅
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.