Mad1_CMad2 + OMad2 = Mad1_CMad2_OMad2
Mad1_CMad2_OMad2 + Cdc20 > Mad1_CMad2 + Cdc20_CMad2
Cdc20_CMad2 > Cdc20 + OMad2
Trigger: gt(time, 2000)
Delay:
Assignments:
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.