%------------------------------------------------------------------------------ % File : SPASS---3.9 % Problem : MGT029-1 : TPTP v9.3.0. Released v2.4.0. % Transfm : none % Format : tptp % Command : run_spass %d %s % Computer : n020.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8046.5625MB % OS : Linux 6.8.0-71-generic % CPULimit : 300s % WCLimit : 300s % DateTime : Tue Sep 8 06:19:50 AM UTC 2026 % Result : Unsatisfiable 0.96s 1.22s % Output : Refutation 1.06s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.02 % Problem : MGT029-1 : TPTP v9.3.0. Released v2.4.0. % 0.00/0.04 % Command : run_spass %d %s % 0.09/0.36 % Computer : n020.cluster.edu % 0.09/0.36 % Model : x86_64 x86_64 % 0.09/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.36 % Memory : 8046.5625MB % 0.09/0.36 % OS : Linux 6.8.0-71-generic % 0.09/0.36 % CPULimit : 300 % 0.09/0.36 % WCLimit : 300 % 0.09/0.36 % DateTime : Mon Sep 7 12:17:43 UTC 2026 % 0.09/0.36 % CPUTime : % 0.96/1.22 % 0.96/1.22 SPASS V 3.9 % 0.96/1.22 SPASS beiseite: Proof found. % 0.96/1.22 % SZS status Theorem % 0.96/1.22 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.96/1.22 SPASS derived 3703 clauses, backtracked 1687 clauses, performed 113 splits and kept 2596 clauses. % 0.96/1.22 SPASS allocated 79225 KBytes. % 0.96/1.22 SPASS spent 0:00:00.84 on the problem. % 0.96/1.22 0:00:00.06 for the input. % 0.96/1.22 0:00:00.00 for the FLOTTER CNF translation. % 0.96/1.22 0:00:00.14 for inferences. % 0.96/1.22 0:00:00.01 for the backtracking. % 0.96/1.22 0:00:00.56 for the reduction. % 0.96/1.22 % 0.96/1.22 % 0.96/1.22 Here is a proof with depth 9, length 1176 : % 0.96/1.22 % SZS output start Refutation % 0.96/1.22 1[0:Inp] || greater(u,v)* greater(v,w)* -> greater(u,w)*. % 0.96/1.22 2[0:Inp] || in_environment(u,v)*+ in_environment(u,w)* -> greater(w,v)* equal(v,w) greater(v,w)*. % 0.96/1.22 3[0:Inp] || greater_or_equal(u,v)* -> equal(u,v) greater(u,v). % 0.96/1.22 4[0:Inp] || greater(u,v) -> greater_or_equal(u,v)*. % 0.96/1.22 5[0:Inp] || equal(u,v) -> greater_or_equal(u,v)*. % 0.96/1.22 6[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(growth_rate(efficient_producers,v),zero) greater(growth_rate(first_movers,v),zero) equal(growth_rate(first_movers,v),zero). % 0.96/1.22 7[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(first_movers,v)) greater(growth_rate(first_movers,v),zero) equal(growth_rate(first_movers,v),zero). % 0.96/1.22 8[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(efficient_producers,v)) greater(growth_rate(efficient_producers,v),zero) equal(growth_rate(first_movers,v),zero). % 0.96/1.22 9[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(first_movers,v)) greater(zero,growth_rate(efficient_producers,v)) equal(growth_rate(first_movers,v),zero). % 0.96/1.22 10[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(growth_rate(efficient_producers,v),zero) greater(growth_rate(first_movers,v),zero) equal(growth_rate(efficient_producers,v),zero). % 0.96/1.22 11[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(first_movers,v)) greater(growth_rate(first_movers,v),zero) equal(growth_rate(efficient_producers,v),zero). % 0.96/1.22 12[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(efficient_producers,v)) greater(growth_rate(efficient_producers,v),zero) equal(growth_rate(efficient_producers,v),zero). % 0.96/1.22 13[0:Inp] environment(u) || greater_or_equal(v,equilibrium(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(zero,growth_rate(first_movers,v)) greater(zero,growth_rate(efficient_producers,v)) equal(growth_rate(efficient_producers,v),zero). % 0.96/1.22 14[0:Inp] stable(u) environment(u) || -> in_environment(u,sk1(u))*. % 0.96/1.22 15[0:Inp] stable(u) environment(u) || greater_or_equal(v,sk1(u)) subpopulations(first_movers,efficient_producers,u,v)* -> greater(growth_rate(efficient_producers,v),growth_rate(first_movers,v)). % 0.96/1.22 16[0:Inp] stable(u) environment(u) || -> in_environment(u,sk2(u))*. % 0.96/1.22 17[0:Inp] stable(u) environment(u) || -> greater_or_equal(sk2(u),equilibrium(u))*. % 0.96/1.22 18[0:Inp] || -> environment(sk3)*. % 0.96/1.22 19[0:Inp] || -> stable(sk3)*. % 0.96/1.22 20[0:Inp] || in_environment(sk3,u) -> subpopulations(first_movers,efficient_producers,sk3,sk4(u))*. % 0.96/1.22 21[0:Inp] || in_environment(sk3,u) -> greater_or_equal(sk4(u),u)*. % 0.96/1.22 22[0:Inp] || in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero)*l -> . % 0.96/1.22 24[0:Res:19.0,17.1] environment(sk3) || -> greater_or_equal(sk2(sk3),equilibrium(sk3))*. % 0.96/1.22 25[0:Res:19.0,14.1] environment(sk3) || -> in_environment(sk3,sk1(sk3))*. % 0.96/1.22 26[0:Res:19.0,16.1] environment(sk3) || -> in_environment(sk3,sk2(sk3))*. % 0.96/1.22 27[0:Res:18.0,13.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(first_movers,u)) greater(zero,growth_rate(efficient_producers,u)) equal(growth_rate(efficient_producers,u),zero). % 0.96/1.22 31[0:Res:18.0,9.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(first_movers,u)) greater(zero,growth_rate(efficient_producers,u)) equal(growth_rate(first_movers,u),zero). % 0.96/1.22 35[0:Res:18.0,15.0] stable(sk3) || subpopulations(first_movers,efficient_producers,sk3,u)* greater_or_equal(u,sk1(sk3)) -> greater(growth_rate(efficient_producers,u),growth_rate(first_movers,u)). % 0.96/1.22 39[0:MRR:25.0,18.0] || -> in_environment(sk3,sk1(sk3))*. % 0.96/1.22 40[0:MRR:26.0,18.0] || -> in_environment(sk3,sk2(sk3))*. % 0.96/1.22 41[0:MRR:24.0,18.0] || -> greater_or_equal(sk2(sk3),equilibrium(sk3))*. % 0.96/1.22 42[0:MRR:35.0,19.0] || greater_or_equal(u,sk1(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(growth_rate(efficient_producers,u),growth_rate(first_movers,u)). % 0.96/1.22 51[0:Res:41.0,3.0] || -> equal(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),equilibrium(sk3))*l. % 0.96/1.22 52[0:Res:17.2,3.0] stable(u) environment(u) || -> equal(sk2(u),equilibrium(u)) greater(sk2(u),equilibrium(u))*l. % 0.96/1.22 53[0:Res:21.1,3.0] || in_environment(sk3,u)* -> equal(sk4(u),u) greater(sk4(u),u). % 0.96/1.22 54[1:Spt:51.0] || -> equal(sk2(sk3),equilibrium(sk3))**. % 0.96/1.22 55[1:Rew:54.0,40.0] || -> in_environment(sk3,equilibrium(sk3))*. % 0.96/1.22 60[0:Res:39.0,2.0] || in_environment(sk3,u)* -> greater(u,sk1(sk3)) equal(sk1(sk3),u) greater(sk1(sk3),u). % 0.96/1.22 65[0:Res:39.0,53.0] || -> equal(sk4(sk1(sk3)),sk1(sk3)) greater(sk4(sk1(sk3)),sk1(sk3))*l. % 0.96/1.22 66[1:Res:55.0,53.0] || -> equal(sk4(equilibrium(sk3)),equilibrium(sk3)) greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l. % 0.96/1.22 67[0:Res:16.2,53.0] stable(sk3) environment(sk3) || -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.22 71[0:Res:20.1,42.1] || in_environment(sk3,u) greater_or_equal(sk4(u),sk1(sk3))* -> greater(growth_rate(efficient_producers,sk4(u)),growth_rate(first_movers,sk4(u))). % 0.96/1.22 72[0:Res:4.1,71.1] || greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),growth_rate(first_movers,sk4(u)))*l. % 0.96/1.22 73[0:Res:5.1,71.1] || equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),growth_rate(first_movers,sk4(u)))*l. % 0.96/1.22 74[0:Res:21.1,71.1] || in_environment(sk3,sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3))))*l. % 0.96/1.22 75[0:Obv:74.0] || in_environment(sk3,sk1(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3))))*l. % 0.96/1.22 76[0:MRR:75.0,39.0] || -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3))))*l. % 0.96/1.22 78[0:NCh:1.2,1.0,76.0,22.2] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 79[0:NCh:1.2,1.0,76.0,22.2] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) -> . % 0.96/1.22 80[0:MRR:79.0,39.0] || greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) -> . % 0.96/1.22 81[0:MRR:78.0,39.0] || greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 82[0:NCh:1.2,1.0,73.2,22.2] || equal(sk4(u),sk1(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero)*l -> . % 0.96/1.22 83[0:NCh:1.2,1.0,73.2,22.2] || equal(sk4(u),sk1(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) -> . % 0.96/1.22 84[0:Obv:83.1] || equal(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) -> . % 0.96/1.22 85[0:Obv:82.1] || equal(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero)*l -> . % 0.96/1.22 86[0:Res:20.1,10.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk4(u)),zero) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 87[0:SSi:86.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk4(u)),zero) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 89[1:Res:55.0,60.0] || -> greater(equilibrium(sk3),sk1(sk3)) equal(sk1(sk3),equilibrium(sk3)) greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 93[2:Spt:89.1] || -> equal(sk1(sk3),equilibrium(sk3))**. % 0.96/1.22 95[2:Rew:93.0,81.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 96[2:Rew:93.0,80.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 97[2:Rew:93.0,76.0] || -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3))))*l. % 0.96/1.22 101[2:Rew:93.0,73.0] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),growth_rate(first_movers,sk4(u)))*l. % 0.96/1.22 103[2:Rew:93.0,72.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),growth_rate(first_movers,sk4(u)))*l. % 0.96/1.22 107[2:Rew:93.0,96.1] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) -> . % 0.96/1.22 108[2:Rew:93.0,95.1] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> . % 0.96/1.22 114[0:Res:20.1,6.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk4(u)),zero) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 115[0:SSi:114.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk4(u)),zero) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 125[0:Res:20.1,12.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 126[0:SSi:125.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 138[0:Res:20.1,7.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 139[0:SSi:138.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 146[0:Res:20.1,11.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 147[0:SSi:146.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 152[0:Res:20.1,8.2] environment(sk3) || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 153[0:SSi:152.0,19.0,18.0] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 156[0:Res:20.1,27.1] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u))) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 157[0:Res:20.1,31.1] || in_environment(sk3,u) greater_or_equal(sk4(u),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u))) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 159[0:Res:4.1,87.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),zero)*l greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 160[0:Res:5.1,87.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),zero)*l greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 161[0:Res:21.1,87.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 162[0:Obv:161.0] || in_environment(sk3,equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 163[1:MRR:162.0,55.0] || -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 164[1:Res:163.0,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 166[1:NCh:1.2,1.0,163.0,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) equal(zero,zero) -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 167[2:MRR:164.0,164.2,55.0,108.1] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 168[1:Obv:166.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 174[2:SpL:167.1,22.2] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) -> . % 0.96/1.22 175[2:Obv:174.0] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) -> . % 0.96/1.22 176[2:MRR:175.0,55.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) -> . % 0.96/1.22 178[0:Res:4.1,115.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(efficient_producers,sk4(u)),zero)*l greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 180[0:Res:21.1,115.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 181[0:Obv:180.0] || in_environment(sk3,equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 182[1:MRR:181.0,55.0] || -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 183[3:Spt:182.2] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 184[3:Rew:183.0,97.0] || -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 188[3:Rew:183.0,107.0] || greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.22 190[3:Rew:183.0,188.1] || greater(zero,zero)* equal(zero,zero) -> . % 0.96/1.22 191[3:Obv:190.1] || greater(zero,zero)* -> . % 0.96/1.22 203[0:Res:4.1,126.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero)*l equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 204[0:Res:5.1,126.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero)*l equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 205[0:Res:21.1,126.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 206[0:Obv:205.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 207[0:Res:4.1,139.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 209[0:Res:21.1,139.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 210[0:Obv:209.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 211[0:Res:4.1,147.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 212[0:Res:5.1,147.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 213[0:Res:21.1,147.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 214[0:Obv:213.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 215[3:Rew:183.0,214.2,183.0,214.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 216[3:Obv:215.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 217[3:MRR:216.0,216.1,55.0,191.0] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 218[3:Rew:217.0,184.0] || -> greater(zero,zero)*. % 0.96/1.22 219[3:MRR:218.0,191.0] || -> . % 0.96/1.22 220[3:Spt:219.0,182.2,183.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.22 221[3:Spt:219.0,182.0,182.1] || -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 222[1:MRR:214.0,55.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 223[2:MRR:222.0,167.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 225[1:MRR:210.0,55.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 227[1:MRR:206.0,55.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 228[0:Obv:213.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 231[0:Res:4.1,153.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u))) greater(growth_rate(efficient_producers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 233[0:Res:21.1,153.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 234[0:Obv:233.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 235[3:MRR:234.0,234.3,55.0,220.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 236[4:Spt:223.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 237[4:Rew:236.0,97.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 238[4:Rew:236.0,235.0] || -> greater(zero,zero) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 239[4:MRR:176.0,237.0] || greater(zero,zero)* -> . % 0.96/1.22 243[4:Rew:236.0,238.1] || -> greater(zero,zero)* greater(zero,zero)*. % 0.96/1.22 244[4:Obv:243.0] || -> greater(zero,zero)*. % 0.96/1.22 245[4:MRR:244.0,239.0] || -> . % 0.96/1.22 246[4:Spt:245.0,223.1,236.0] || equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.22 247[4:Spt:245.0,223.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 248[4:MRR:167.1,246.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 259[0:Res:4.1,156.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 260[0:Res:5.1,156.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 261[0:Res:21.1,156.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 262[0:Obv:261.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 263[4:MRR:262.0,262.1,262.3,55.0,248.0,246.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 264[4:OCh:1.1,1.0,263.0,103.2] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 265[4:OCh:1.1,1.0,263.0,101.2] || equal(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 268[4:MRR:265.1,265.2,55.0,248.0] || equal(sk4(equilibrium(sk3)),equilibrium(sk3))** -> . % 0.96/1.22 269[4:MRR:66.0,268.0] || -> greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l. % 0.96/1.22 270[4:MRR:264.1,264.2,55.0,248.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 271[4:MRR:270.0,269.0] || -> . % 0.96/1.22 272[2:Spt:271.0,89.1,93.0] || equal(sk1(sk3),equilibrium(sk3))** -> . % 0.96/1.22 273[2:Spt:271.0,89.0,89.2] || -> greater(equilibrium(sk3),sk1(sk3)) greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 275[1:MRR:234.0,55.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 276[1:MRR:262.0,55.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 277[1:MRR:168.0,55.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 278[1:MRR:277.0,222.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 279[1:Rew:278.1,182.0] || -> greater(zero,zero) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 290[3:Spt:66.0] || -> equal(sk4(equilibrium(sk3)),equilibrium(sk3))**. % 0.96/1.22 292[3:Rew:290.0,225.0] || -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 293[3:Rew:290.0,279.1] || -> greater(zero,zero) greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 294[3:Rew:290.0,278.0] || -> greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 295[3:Rew:290.0,275.2] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 297[3:Rew:290.0,294.1] || -> greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**. % 0.96/1.22 298[3:Rew:290.0,293.2] || -> greater(zero,zero) greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 300[3:Rew:290.0,292.2,290.0,292.1] || -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 301[3:Rew:290.0,295.1,290.0,295.0] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 304[3:SpR:290.0,20.1] || in_environment(sk3,equilibrium(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3))*. % 0.96/1.22 306[3:SpL:290.0,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> . % 0.96/1.22 314[3:MRR:304.0,55.0] || -> subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3))*. % 0.96/1.22 315[3:Rew:290.0,306.1] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 316[3:MRR:315.0,55.0] || greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 325[3:Res:314.0,42.1] || greater_or_equal(equilibrium(sk3),sk1(sk3))* -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). % 0.96/1.22 346[4:Spt:65.0] || -> equal(sk4(sk1(sk3)),sk1(sk3))**. % 0.96/1.22 347[4:Rew:346.0,76.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l. % 0.96/1.22 348[4:Rew:346.0,81.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 349[4:Rew:346.0,80.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 350[4:Rew:346.0,349.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r equal(growth_rate(first_movers,sk1(sk3)),zero) -> . % 0.96/1.22 351[4:Rew:346.0,348.1] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 355[4:SpL:346.0,22.2] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> . % 0.96/1.22 356[4:SpL:346.0,156.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3))))*r equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). % 0.96/1.22 361[4:SpL:346.0,115.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.22 362[4:SpL:346.0,87.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). % 0.96/1.22 365[4:Rew:346.0,355.1] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 366[4:MRR:365.0,39.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 367[4:Rew:346.0,362.4,346.0,362.3,346.0,362.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 368[4:MRR:367.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 369[4:Rew:346.0,361.4,346.0,361.3,346.0,361.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 370[4:MRR:369.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 379[4:Rew:346.0,356.4,346.0,356.3,346.0,356.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3))) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 380[4:MRR:379.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3))) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 409[5:Spt:297.0] || -> greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l. % 0.96/1.22 414[3:Res:4.1,325.0] || greater(equilibrium(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l. % 0.96/1.22 416[6:Spt:301.2] || -> equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 417[6:Rew:416.0,409.0] || -> greater(zero,zero)*. % 0.96/1.22 419[6:Rew:416.0,316.0] || greater(zero,zero) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 421[6:Rew:416.0,414.1] || greater(equilibrium(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l. % 0.96/1.22 422[6:MRR:419.0,417.0] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 425[6:MRR:421.1,422.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 426[6:MRR:273.0,425.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 441[0:NCh:1.2,1.0,72.2,22.2] || greater(sk4(u),sk1(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero)*l -> . % 0.96/1.22 442[0:NCh:1.2,1.0,72.2,22.2] || greater(sk4(u),sk1(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) -> . % 0.96/1.22 444[0:Obv:442.1] || greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) -> . % 0.96/1.22 445[0:Obv:441.1] || greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) greater(growth_rate(first_movers,sk4(u)),zero)*l -> . % 0.96/1.22 448[0:Res:4.1,157.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 449[0:Res:5.1,157.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 450[0:Res:21.1,157.1] || in_environment(sk3,equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 461[7:Spt:368.3] || -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 462[7:Rew:461.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 463[7:Rew:461.0,366.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r greater(zero,zero) -> . % 0.96/1.22 469[7:MRR:463.1,417.0] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 470[7:MRR:469.0,462.0] || -> . % 0.96/1.22 471[7:Spt:470.0,368.3,461.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> . % 0.96/1.22 472[7:Spt:470.0,368.0,368.1,368.2] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 473[7:MRR:380.3,471.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 476[8:Spt:472.1] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l. % 0.96/1.22 477[8:MRR:366.1,476.0] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 478[8:MRR:473.1,477.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 482[0:Res:160.2,22.2] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 487[0:Obv:482.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 488[0:MRR:487.2,212.2] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 492[8:Res:4.1,478.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 494[8:MRR:492.0,426.0] || -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 496[8:OCh:1.1,1.0,494.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 497[8:MRR:496.0,477.0] || -> . % 0.96/1.22 498[8:Spt:497.0,472.1,476.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 499[8:Spt:497.0,472.0,472.2] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 501[8:Res:4.1,499.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 503[8:MRR:501.0,426.0] || -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 505[8:NCh:1.2,1.0,498.0,347.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 507[8:MRR:505.0,503.0] || -> . % 0.96/1.22 508[6:Spt:507.0,301.2,416.0] || equal(growth_rate(first_movers,equilibrium(sk3)),zero)** -> . % 0.96/1.22 509[6:Spt:507.0,301.0,301.1] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l. % 0.96/1.22 515[0:Obv:450.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 518[7:Spt:509.0] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r. % 0.96/1.22 529[0:Res:204.3,22.2] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 535[0:Obv:529.1] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 536[0:MRR:535.2,260.2] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 540[7:OCh:1.1,1.0,414.1,518.0] || greater(equilibrium(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r. % 0.96/1.22 541[3:NCh:1.2,1.0,414.1,316.1] || greater(equilibrium(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 542[3:NCh:1.2,1.0,414.1,316.1] || greater(equilibrium(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r equal(growth_rate(first_movers,equilibrium(sk3)),zero) -> . % 0.96/1.22 543[5:MRR:541.2,409.0] || greater(equilibrium(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r -> . % 0.96/1.22 544[7:MRR:543.1,540.1] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 545[7:MRR:273.0,544.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 574[3:SpR:290.0,536.2] || equal(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 594[4:SpR:346.0,159.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 596[0:Res:159.2,22.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 601[4:Rew:346.0,594.4,346.0,594.3,346.0,594.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 602[7:MRR:601.0,601.1,545.0,39.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 604[0:Obv:596.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 605[0:MRR:604.2,211.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**. % 0.96/1.22 606[0:Rew:605.3,178.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,zero) greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 612[8:Spt:602.2] || -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 613[8:Rew:612.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 614[8:Rew:612.0,366.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r greater(zero,zero) -> . % 0.96/1.22 615[8:Rew:612.0,370.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 618[8:MRR:350.0,613.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 619[8:MRR:351.0,613.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 620[8:MRR:614.0,613.0] || greater(zero,zero)* -> . % 0.96/1.22 622[8:MRR:615.1,615.2,615.3,620.0,619.0,618.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> . % 0.96/1.22 624[8:Res:4.1,622.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 626[8:MRR:624.0,545.0] || -> . % 0.96/1.22 627[8:Spt:626.0,602.2,612.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> . % 0.96/1.22 628[8:Spt:626.0,602.0,602.1] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 629[8:MRR:380.3,627.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 632[9:Spt:628.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l. % 0.96/1.22 633[9:MRR:366.1,632.0] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 634[9:MRR:629.1,633.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 641[9:Res:4.1,634.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 643[9:MRR:641.0,545.0] || -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 645[9:OCh:1.1,1.0,643.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 647[9:MRR:645.0,633.0] || -> . % 0.96/1.22 648[9:Spt:647.0,628.0,632.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 649[9:Spt:647.0,628.1] || -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 652[9:NCh:1.2,1.0,648.0,347.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 654[9:MRR:652.0,649.0] || -> . % 0.96/1.22 655[7:Spt:654.0,509.0,518.0] || greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r -> . % 0.96/1.22 656[7:Spt:654.0,509.1] || -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l. % 0.96/1.22 659[3:Rew:290.0,574.3,290.0,574.0] || equal(equilibrium(sk3),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). % 0.96/1.22 660[3:Obv:659.0] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). % 0.96/1.22 661[3:MRR:660.0,55.0] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). % 0.96/1.22 662[7:MRR:661.0,655.0] || -> equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**. % 0.96/1.22 664[7:Rew:662.0,656.0] || -> greater(zero,zero)*. % 0.96/1.22 665[7:Rew:662.0,655.0] || greater(zero,zero)* -> . % 0.96/1.22 667[7:MRR:665.0,664.0] || -> . % 0.96/1.22 677[4:MRR:601.1,39.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 681[5:Spt:667.0,297.0,409.0] || greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l -> . % 0.96/1.22 682[5:Spt:667.0,297.1] || -> equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**. % 0.96/1.22 684[5:Rew:682.0,316.1] || greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r greater(zero,zero) -> . % 0.96/1.22 685[5:MRR:298.1,681.0] || -> greater(zero,zero) equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 686[5:Rew:682.0,414.1] || greater(equilibrium(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r. % 0.96/1.22 687[5:MRR:300.1,681.0] || -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 690[5:MRR:542.1,686.1] || greater(equilibrium(sk3),sk1(sk3)) equal(growth_rate(first_movers,equilibrium(sk3)),zero)** -> . % 0.96/1.22 694[6:Spt:685.1] || -> equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 695[6:Rew:694.0,681.0] || greater(zero,zero)* -> . % 0.96/1.22 699[6:Rew:694.0,690.1] || greater(equilibrium(sk3),sk1(sk3))*r equal(zero,zero) -> . % 0.96/1.22 704[6:Obv:699.1] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 705[6:MRR:273.0,704.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 706[6:MRR:677.0,705.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 749[7:Spt:706.2] || -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 750[7:Rew:749.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 752[7:Rew:749.0,370.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 755[7:MRR:350.0,750.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 756[7:MRR:351.0,750.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 757[7:MRR:752.1,695.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 758[7:MRR:757.1,757.2,756.0,755.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> . % 0.96/1.22 760[7:Res:4.1,758.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 762[7:MRR:760.0,705.0] || -> . % 0.96/1.22 763[7:Spt:762.0,706.2,749.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> . % 0.96/1.22 764[7:Spt:762.0,706.0,706.1] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 765[7:MRR:380.3,763.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 768[8:Spt:764.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l. % 0.96/1.22 769[8:MRR:366.1,768.0] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 770[8:MRR:765.1,769.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))). % 0.96/1.22 772[8:Res:4.1,770.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 774[8:MRR:772.0,705.0] || -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r. % 0.96/1.22 776[8:OCh:1.1,1.0,774.0,347.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 778[8:MRR:776.0,769.0] || -> . % 0.96/1.22 779[8:Spt:778.0,764.0,768.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 780[8:Spt:778.0,764.1] || -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 783[8:NCh:1.2,1.0,779.0,347.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 785[8:MRR:783.0,780.0] || -> . % 0.96/1.22 786[6:Spt:785.0,685.1,694.0] || equal(growth_rate(first_movers,equilibrium(sk3)),zero)** -> . % 0.96/1.22 787[6:Spt:785.0,685.0] || -> greater(zero,zero)*. % 0.96/1.22 788[6:MRR:687.1,786.0] || -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r. % 0.96/1.22 789[6:MRR:684.0,684.1,788.0,787.0] || -> . % 0.96/1.22 795[4:Spt:789.0,65.0,346.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> . % 0.96/1.22 796[4:Spt:789.0,65.1] || -> greater(sk4(sk1(sk3)),sk1(sk3))*l. % 0.96/1.22 798[3:Rew:661.1,301.1] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r greater(zero,zero) equal(growth_rate(first_movers,equilibrium(sk3)),zero). % 0.96/1.22 801[0:OCh:1.1,1.0,76.0,536.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 804[0:MRR:801.1,39.0] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 805[5:Spt:661.0] || -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r. % 0.96/1.22 806[6:Spt:297.1] || -> equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**. % 0.96/1.22 807[6:Rew:806.0,805.0] || -> greater(zero,zero)*. % 0.96/1.22 808[6:Rew:806.0,414.1] || greater(equilibrium(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r. % 0.96/1.22 810[6:Rew:806.0,316.1] || greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r greater(zero,zero) -> . % 0.96/1.22 812[6:MRR:810.1,807.0] || greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r -> . % 0.96/1.22 815[6:MRR:808.1,812.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 816[6:MRR:273.0,815.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 826[0:Res:203.3,22.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 831[0:Obv:826.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u))) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 832[0:MRR:831.2,259.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(efficient_producers,sk4(u)),zero). % 0.96/1.22 833[0:Rew:832.3,231.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r greater(zero,zero) equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 863[0:SpR:605.3,76.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 865[0:SpL:605.3,22.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 866[0:MRR:863.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 869[0:Obv:865.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 870[6:MRR:869.3,807.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 871[6:MRR:207.2,870.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 873[6:Rew:871.3,870.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 874[6:MRR:873.2,807.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 879[0:OCh:1.1,1.0,832.2,76.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 881[0:MRR:879.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). % 0.96/1.22 885[6:Res:874.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.22 888[6:MRR:885.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.22 890[6:MRR:881.2,888.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 896[6:SpR:890.1,76.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 899[6:MRR:896.1,888.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 901[6:NCh:1.2,1.0,899.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 903[6:MRR:901.0,816.0] || -> . % 0.96/1.22 904[6:Spt:903.0,297.1,806.0] || equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)** -> . % 0.96/1.22 905[6:Spt:903.0,297.0] || -> greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l. % 0.96/1.22 907[6:MRR:541.2,905.0] || greater(equilibrium(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r -> . % 0.96/1.22 919[7:Spt:273.0] || -> greater(equilibrium(sk3),sk1(sk3))*r. % 0.96/1.22 920[7:MRR:414.0,919.0] || -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l. % 0.96/1.22 921[7:MRR:907.0,919.0] || greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r -> . % 0.96/1.22 922[7:OCh:1.1,1.0,920.0,805.0] || -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r. % 0.96/1.22 923[7:MRR:922.0,921.0] || -> . % 0.96/1.22 924[7:Spt:923.0,273.0,919.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 925[7:Spt:923.0,273.1] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 926[3:Res:4.1,325.0] || greater(equilibrium(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l. % 0.96/1.22 928[8:Spt:804.2] || -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 929[8:MRR:80.0,928.0] || equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 930[8:MRR:81.0,928.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 997[0:SpR:605.3,72.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l greater(zero,growth_rate(first_movers,sk4(u))). % 0.96/1.22 1008[0:Obv:997.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l greater(zero,growth_rate(first_movers,sk4(u))). % 0.96/1.22 1039[9:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1043[9:Res:1039.2,930.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1047[9:MRR:1043.1,1043.2,39.0,929.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1049[9:NCh:1.2,1.0,1047.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1051[9:MRR:1049.0,925.0] || -> . % 0.96/1.22 1052[9:Spt:1051.0,606.2] || -> greater(zero,zero)*. % 0.96/1.22 1054[9:MRR:869.3,1052.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1055[9:MRR:207.2,1054.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1056[9:Rew:1055.3,1054.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1057[9:MRR:1056.2,1052.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1065[9:Res:1057.2,930.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3))* -> . % 0.96/1.22 1069[9:MRR:1065.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1071[9:NCh:1.2,1.0,1069.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1073[9:MRR:1071.0,925.0] || -> . % 0.96/1.22 1074[8:Spt:1073.0,804.2,928.0] || greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.22 1075[8:Spt:1073.0,804.0,804.1] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1077[8:MRR:881.2,1074.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1109[8:SpR:1077.1,76.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1112[8:MRR:1109.1,1074.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1114[8:NCh:1.2,1.0,1112.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1116[8:MRR:1114.0,925.0] || -> . % 0.96/1.22 1117[5:Spt:1116.0,661.0,805.0] || greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r -> . % 0.96/1.22 1118[5:Spt:1116.0,661.1] || -> equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**. % 0.96/1.22 1121[5:Rew:1118.0,1117.0] || greater(zero,zero)* -> . % 0.96/1.22 1123[5:MRR:833.3,1121.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1124[5:MRR:606.2,1121.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1125[5:Rew:1118.0,798.0] || -> greater(zero,zero) greater(zero,zero) equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 1126[5:Obv:1125.0] || -> greater(zero,zero) equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 1127[5:MRR:1126.0,1121.0] || -> equal(growth_rate(first_movers,equilibrium(sk3)),zero)**. % 0.96/1.22 1130[5:Rew:1118.0,926.1,1127.0,926.1] || greater(equilibrium(sk3),sk1(sk3))*r -> greater(zero,zero). % 0.96/1.22 1131[5:MRR:1130.1,1121.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1132[5:MRR:273.0,1131.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1152[6:Spt:804.1] || -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1153[6:Rew:1152.0,76.0] || -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1154[6:MRR:80.0,1153.0] || equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 1193[6:SpR:1152.0,1123.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,zero) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1196[6:MRR:1193.1,1193.2,1193.3,39.0,1121.0,1154.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1200[6:NCh:1.2,1.0,1196.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1202[6:MRR:1200.0,1132.0] || -> . % 0.96/1.22 1203[6:Spt:1202.0,804.1,1152.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 1204[6:Spt:1202.0,804.0,804.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1205[6:MRR:881.1,1203.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1233[6:Res:1205.1,80.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 1234[6:OCh:1.1,1.0,1205.1,1124.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** greater(zero,zero). % 0.96/1.22 1242[6:Obv:1234.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** greater(zero,zero). % 0.96/1.22 1243[6:MRR:1242.1,1242.3,39.0,1121.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1244[6:MRR:1243.1,1233.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1245[6:NCh:1.2,1.0,1244.0,796.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1247[6:MRR:1245.0,1132.0] || -> . % 0.96/1.22 1248[3:Spt:1247.0,66.0,290.0] || equal(sk4(equilibrium(sk3)),equilibrium(sk3))** -> . % 0.96/1.22 1249[3:Spt:1247.0,66.1] || -> greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l. % 0.96/1.22 1250[1:MRR:515.0,55.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1253[4:Spt:65.0] || -> equal(sk4(sk1(sk3)),sk1(sk3))**. % 0.96/1.22 1254[4:Rew:1253.0,76.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l. % 0.96/1.22 1255[4:Rew:1253.0,80.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 1256[4:Rew:1253.0,866.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1258[4:Rew:1253.0,81.1] || greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r greater(growth_rate(first_movers,sk1(sk3)),zero) -> . % 0.96/1.22 1259[4:Rew:1253.0,881.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk1(sk3))). % 0.96/1.22 1261[4:Rew:1253.0,1255.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r equal(growth_rate(first_movers,sk1(sk3)),zero) -> . % 0.96/1.22 1262[4:Rew:1253.0,1258.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1265[4:Rew:1253.0,1259.1,1253.0,1259.0] || greater(sk1(sk3),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)** greater(zero,growth_rate(first_movers,sk1(sk3))). % 0.96/1.22 1266[4:Rew:1253.0,1256.2,1253.0,1256.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l greater(zero,growth_rate(first_movers,sk1(sk3))). % 0.96/1.22 1275[4:SpL:1253.0,22.2] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> . % 0.96/1.22 1278[4:SpL:1253.0,153.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.22 1283[4:SpL:1253.0,87.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). % 0.96/1.22 1288[4:Rew:1253.0,1275.1] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1289[4:MRR:1288.0,39.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1295[4:Rew:1253.0,1283.4,1253.0,1283.3,1253.0,1283.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1296[4:MRR:1295.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1305[4:Rew:1253.0,1278.4,1253.0,1278.3,1253.0,1278.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1306[4:MRR:1305.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1330[5:Spt:279.0] || -> greater(zero,zero)*. % 0.96/1.22 1332[5:MRR:869.3,1330.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1338[5:MRR:207.2,1332.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1340[5:Rew:1338.3,1332.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1341[5:MRR:1340.2,1330.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1342[6:Spt:278.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 1343[7:Spt:273.0] || -> greater(equilibrium(sk3),sk1(sk3))*r. % 0.96/1.22 1346[8:Spt:275.2] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1366[1:NCh:1.2,1.0,227.1,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) equal(zero,zero) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1369[1:Obv:1366.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1375[5:SpR:1253.0,1341.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 1377[5:Rew:1253.0,1375.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 1378[5:MRR:1377.1,39.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 1379[5:Res:1378.1,1262.1] || greater(sk1(sk3),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 1382[5:MRR:1265.2,1379.1] || greater(sk1(sk3),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 1384[5:SpR:1382.1,1254.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 1387[5:MRR:1384.1,1379.1] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1449[4:SpR:1253.0,448.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r greater(zero,growth_rate(efficient_producers,sk1(sk3))) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.22 1450[0:OCh:1.1,1.0,448.3,72.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.22 1452[4:Rew:1253.0,1449.4,1253.0,1449.2,1253.0,1449.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3))) greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1457[0:Obv:1450.4] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.22 1477[8:SpL:1346.0,444.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.22 1478[8:Rew:1346.0,1477.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* greater(zero,zero) equal(zero,zero) -> . % 0.96/1.22 1479[8:Obv:1478.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* greater(zero,zero) -> . % 0.96/1.22 1480[8:MRR:1479.1,1479.2,55.0,1330.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1481[8:NCh:1.2,1.0,1480.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1483[8:MRR:1481.0,1343.0] || -> . % 0.96/1.22 1484[8:Spt:1483.0,275.2,1346.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.22 1485[8:Spt:1483.0,275.0,275.1] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 1487[8:MRR:1250.2,1484.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1488[1:MRR:1369.0,55.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1489[8:MRR:1488.0,1487.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1496[9:Spt:1489.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1497[9:OCh:1.1,1.0,1496.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1499[9:MRR:1497.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1558[6:Res:1342.0,445.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1565[9:MRR:1558.1,1558.2,55.0,1499.1] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1579[9:NCh:1.2,1.0,1565.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1581[9:MRR:1579.0,1343.0] || -> . % 0.96/1.22 1582[9:Spt:1581.0,1489.0,1496.0] || greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1583[9:Spt:1581.0,1489.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1584[9:Rew:1583.0,1582.0] || greater(zero,zero)* -> . % 0.96/1.22 1585[9:MRR:1584.0,1330.0] || -> . % 0.96/1.22 1588[7:Spt:1585.0,273.0,1343.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1589[7:Spt:1585.0,273.1] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1590[7:MRR:1589.0,1387.0] || -> . % 0.96/1.22 1591[1:MRR:1488.0,276.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1592[1:Rew:1591.1,275.1] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1593[6:Spt:1590.0,278.0,1342.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> . % 0.96/1.22 1594[6:Spt:1590.0,278.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1597[6:MRR:225.1,1593.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1605[6:SpL:1594.0,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) -> . % 0.96/1.22 1606[6:MRR:1605.0,1605.2,55.0,1330.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1607[6:MRR:1597.0,1606.0] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1609[6:Rew:1607.0,1606.0] || greater(zero,zero)* -> . % 0.96/1.22 1611[6:MRR:1609.0,1330.0] || -> . % 0.96/1.22 1613[5:Spt:1611.0,279.0,1330.0] || greater(zero,zero)* -> . % 0.96/1.22 1614[5:Spt:1611.0,279.1,279.2] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1615[5:MRR:1592.1,1613.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1622[4:Rew:1265.1,1452.3] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r greater(zero,zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1623[4:MRR:1622.1,39.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r greater(zero,zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1624[5:MRR:1623.2,1613.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 1625[5:Rew:1624.2,1266.1] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 1626[5:MRR:1625.1,1613.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 1627[0:Rew:1457.3,1008.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.22 1630[6:Spt:1614.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 1631[6:Res:1630.0,445.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1639[6:MRR:1631.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1641[7:Spt:1591.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1642[7:OCh:1.1,1.0,1641.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1646[7:MRR:1642.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1647[7:MRR:1646.1,1639.1] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1666[7:NCh:1.2,1.0,1647.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1668[7:MRR:273.0,1666.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1670[7:MRR:1626.0,1668.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 1671[7:MRR:1261.0,1670.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 1672[7:MRR:1262.0,1670.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1673[7:MRR:1289.0,1670.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1674[7:MRR:1306.3,1671.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1676[7:MRR:1296.2,1672.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1678[7:MRR:1676.1,1673.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1679[7:Rew:1678.1,1674.2,1678.1,1674.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(zero,zero). % 0.96/1.22 1680[7:Obv:1679.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero). % 0.96/1.22 1681[7:MRR:1680.1,1613.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> . % 0.96/1.22 1682[7:Res:4.1,1681.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1684[7:MRR:1682.0,1668.0] || -> . % 0.96/1.22 1685[7:Spt:1684.0,1591.0,1641.0] || greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1686[7:Spt:1684.0,1591.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1688[7:Rew:1686.0,1615.0] || -> greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1689[7:MRR:1688.0,1613.0] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1690[7:Rew:1689.0,1630.0] || -> greater(zero,zero)*. % 0.96/1.22 1691[7:MRR:1690.0,1613.0] || -> . % 0.96/1.22 1694[6:Spt:1691.0,1614.0,1630.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> . % 0.96/1.22 1695[6:Spt:1691.0,1614.1] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1697[6:Rew:1695.0,278.0] || -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1698[6:MRR:1697.0,1613.0] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1707[6:SpR:1698.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1713[6:Rew:1695.0,1707.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* -> greater(zero,zero). % 0.96/1.22 1714[6:MRR:1713.1,1713.2,55.0,1613.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1722[6:NCh:1.2,1.0,1714.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1724[6:MRR:273.0,1722.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1725[6:MRR:1626.0,1724.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 1727[6:MRR:1261.0,1725.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 1728[6:MRR:1262.0,1725.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1729[6:MRR:1289.0,1725.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 1730[6:MRR:1306.3,1727.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1732[6:MRR:1296.2,1728.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1734[6:MRR:1732.1,1729.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 1735[6:Rew:1734.1,1730.2,1734.1,1730.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(zero,zero). % 0.96/1.22 1736[6:Obv:1735.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero). % 0.96/1.22 1737[6:MRR:1736.1,1613.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> . % 0.96/1.22 1738[6:Res:4.1,1737.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1740[6:MRR:1738.0,1724.0] || -> . % 0.96/1.22 1741[4:Spt:1740.0,65.0,1253.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> . % 0.96/1.22 1742[4:Spt:1740.0,65.1] || -> greater(sk4(sk1(sk3)),sk1(sk3))*l. % 0.96/1.22 1745[5:Spt:279.0] || -> greater(zero,zero)*. % 0.96/1.22 1747[5:MRR:869.3,1745.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1751[5:MRR:207.2,1747.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1752[5:Rew:1751.3,1747.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1753[5:MRR:1752.2,1745.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.22 1758[6:Spt:278.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 1759[6:Res:1758.0,445.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1767[6:MRR:1759.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1769[7:Spt:1591.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1770[7:OCh:1.1,1.0,1769.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1774[7:MRR:1770.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1775[7:MRR:1774.1,1767.1] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1778[0:OCh:1.1,1.0,449.3,76.0] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1779[0:Obv:1778.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1780[0:MRR:1779.1,39.0] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1784[7:NCh:1.2,1.0,1775.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1786[7:MRR:273.0,1784.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1789[0:OCh:1.1,1.0,448.3,76.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1790[0:Obv:1789.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1791[0:MRR:1790.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1792[0:Rew:1791.1,866.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1826[5:Res:1753.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.22 1833[5:MRR:1826.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.22 1835[5:MRR:1791.2,1833.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1836[5:Rew:1835.1,1833.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l greater(zero,zero) -> . % 0.96/1.22 1837[5:MRR:1836.1,1745.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1853[5:NCh:1.2,1.0,1837.0,1742.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1855[7:MRR:1853.0,1786.0] || -> . % 0.96/1.22 1856[7:Spt:1855.0,1591.0,1769.0] || greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1857[7:Spt:1855.0,1591.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1858[7:Rew:1857.0,1856.0] || greater(zero,zero)* -> . % 0.96/1.22 1859[7:MRR:1858.0,1745.0] || -> . % 0.96/1.22 1862[6:Spt:1859.0,278.0,1758.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> . % 0.96/1.22 1863[6:Spt:1859.0,278.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1864[6:MRR:225.1,1862.0] || -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1872[6:SpL:1863.0,22.2] || in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) -> . % 0.96/1.22 1874[6:MRR:1872.0,1872.2,55.0,1745.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1875[6:MRR:1864.0,1874.0] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1878[6:Rew:1875.0,1874.0] || greater(zero,zero)* -> . % 0.96/1.22 1880[6:MRR:1878.0,1745.0] || -> . % 0.96/1.22 1882[5:Spt:1880.0,279.0,1745.0] || greater(zero,zero)* -> . % 0.96/1.22 1883[5:Spt:1880.0,279.1,279.2] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1885[5:MRR:1592.1,1882.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero). % 0.96/1.22 1886[5:MRR:1792.1,1882.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 1889[5:MRR:606.2,1882.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 1893[6:Spt:1883.0] || -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.22 1894[6:Res:1893.0,445.3] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1902[6:MRR:1894.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1904[7:Spt:1591.0] || -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1905[7:OCh:1.1,1.0,1904.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1909[7:MRR:1905.1,55.0] || greater(sk4(equilibrium(sk3)),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 1910[7:MRR:1909.1,1902.1] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 1933[7:NCh:1.2,1.0,1910.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 1935[7:MRR:273.0,1933.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 1953[5:Res:1886.1,80.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 1966[5:Res:1889.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.22 1974[5:MRR:1966.1,1966.2,39.0,1886.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.22 1975[5:MRR:1974.1,1953.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.22 1988[5:NCh:1.2,1.0,1975.0,1742.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 1990[7:MRR:1988.0,1935.0] || -> . % 0.96/1.22 1991[7:Spt:1990.0,1591.0,1904.0] || greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r -> . % 0.96/1.22 1992[7:Spt:1990.0,1591.1] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1994[7:Rew:1992.0,1885.0] || -> greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1995[7:MRR:1994.0,1882.0] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 1996[7:Rew:1995.0,1893.0] || -> greater(zero,zero)*. % 0.96/1.22 1997[7:MRR:1996.0,1882.0] || -> . % 0.96/1.22 1998[5:MRR:273.1,1988.0] || -> greater(equilibrium(sk3),sk1(sk3))*r. % 0.96/1.22 2001[6:Spt:1997.0,1883.0,1893.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> . % 0.96/1.22 2002[6:Spt:1997.0,1883.1] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 2004[6:Rew:2002.0,278.0] || -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 2005[6:MRR:2004.0,1882.0] || -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.22 2016[6:SpR:2005.0,72.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r. % 0.96/1.22 2022[6:Rew:2002.0,2016.2] || greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* -> greater(zero,zero). % 0.96/1.22 2023[6:MRR:2022.1,2022.2,55.0,1882.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> . % 0.96/1.22 2030[6:NCh:1.2,1.0,2023.0,1249.0] || greater(equilibrium(sk3),sk1(sk3))*r -> . % 0.96/1.22 2032[6:MRR:2030.0,1998.0] || -> . % 0.96/1.22 2033[1:Spt:2032.0,51.0,54.0] || equal(sk2(sk3),equilibrium(sk3))** -> . % 0.96/1.22 2034[1:Spt:2032.0,51.1] || -> greater(sk2(sk3),equilibrium(sk3))*l. % 0.96/1.22 2035[0:SSi:67.1,67.0,19.0,18.0,19.0,18.0] || -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.22 2038[0:Res:40.0,60.0] || -> greater(sk2(sk3),sk1(sk3))*l equal(sk2(sk3),sk1(sk3)) greater(sk1(sk3),sk2(sk3)). % 0.96/1.22 2042[0:Res:40.0,2.0] || in_environment(sk3,u)* -> greater(u,sk2(sk3)) equal(sk2(sk3),u) greater(sk2(sk3),u). % 0.96/1.22 2044[2:Spt:65.0] || -> equal(sk4(sk1(sk3)),sk1(sk3))**. % 0.96/1.22 2045[2:Rew:2044.0,81.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.22 2046[2:Rew:2044.0,80.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.22 2047[2:Rew:2044.0,76.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l. % 0.96/1.22 2049[2:Rew:2044.0,1780.0] || equal(sk1(sk3),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.22 2052[2:Rew:2044.0,1792.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2053[2:Rew:2044.0,1791.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk1(sk3))). % 0.96/1.22 2054[2:Rew:2044.0,2046.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r equal(growth_rate(first_movers,sk1(sk3)),zero) -> . % 0.96/1.22 2055[2:Rew:2044.0,2045.1] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.22 2056[2:Rew:2044.0,2049.2,2044.0,2049.1] || equal(sk1(sk3),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk1(sk3)),zero) greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2060[2:Rew:2044.0,2053.1,2044.0,2053.0] || greater(sk1(sk3),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk1(sk3)),zero) greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2061[2:Rew:2044.0,2052.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2073[2:SpL:2044.0,22.2] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> . % 0.96/1.22 2076[2:SpL:2044.0,153.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.22 2086[2:Rew:2044.0,2073.1] || in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 2087[2:MRR:2086.0,39.0] || greater(zero,growth_rate(first_movers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.22 2107[2:Rew:2044.0,2076.4,2044.0,2076.3,2044.0,2076.2] || in_environment(sk3,sk1(sk3)) greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 2108[2:MRR:2107.0,39.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.22 2133[3:Spt:2056.1] || -> equal(growth_rate(first_movers,sk1(sk3)),zero)**. % 0.96/1.22 2135[3:Rew:2133.0,2054.0] || greater(zero,zero) equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 2139[3:Rew:2133.0,2061.2] || greater(sk1(sk3),equilibrium(sk3))*l -> greater(zero,zero) greater(zero,zero). % 0.96/1.22 2145[3:Rew:2133.0,2135.1] || greater(zero,zero)* equal(zero,zero) -> . % 0.96/1.22 2146[3:Obv:2145.1] || greater(zero,zero)* -> . % 0.96/1.22 2151[3:MRR:606.2,2146.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2152[3:MRR:1627.3,2146.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.22 2157[3:Obv:2139.1] || greater(sk1(sk3),equilibrium(sk3))*l -> greater(zero,zero). % 0.96/1.22 2158[3:MRR:2157.1,2146.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 2179[4:Spt:2038.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.22 2180[4:Rew:2179.0,2034.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 2189[4:MRR:2180.0,2158.0] || -> . % 0.96/1.22 2191[4:Spt:2189.0,2038.1,2179.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.22 2192[4:Spt:2189.0,2038.0,2038.2] || -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)). % 0.96/1.22 2211[2:SpR:2044.0,488.3] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 2279[3:Res:2151.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2290[3:Obv:2279.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2291[3:MRR:2290.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.22 2292[3:MRR:2291.3,2152.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.22 2311[3:Res:40.0,2292.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.22 2321[3:NCh:1.2,1.0,2311.1,2035.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 0.96/1.22 2400[2:SpR:2044.0,605.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 2401[0:SpL:605.3,22.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2406[0:Obv:2401.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2410[3:NCh:1.2,1.0,2321.0,2035.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.22 2413[3:Obv:2410.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.22 2414[3:MRR:2413.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.22 2443[3:SpL:2414.1,2311.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.22 2450[3:Obv:2443.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.22 2451[3:Rew:2414.1,2450.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2452[3:MRR:2451.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2453[4:MRR:2192.0,2452.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.22 2454[4:OCh:1.1,1.0,2453.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2458[4:SSi:2454.1,2454.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2459[4:MRR:2458.0,2458.1,2033.0,2158.0] || -> . % 0.96/1.22 2460[3:Spt:2459.0,2056.1,2133.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> . % 0.96/1.22 2461[3:Spt:2459.0,2056.0,2056.2] || equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2462[3:MRR:2060.1,2460.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2465[2:Rew:2044.0,2211.2,2044.0,2211.0] || equal(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 2466[2:MRR:2465.1,39.0] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 2468[3:MRR:2108.3,2460.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 2471[2:Rew:2044.0,2400.2,2044.0,2400.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 2472[2:MRR:2471.1,39.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 2488[4:Spt:2466.2] || -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**. % 0.96/1.22 2489[4:Rew:2488.0,2047.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.22 2491[4:Rew:2488.0,2468.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.22 2494[4:Rew:2488.0,2087.1] || greater(zero,growth_rate(first_movers,sk1(sk3)))*r greater(zero,zero) -> . % 0.96/1.22 2496[4:MRR:2494.0,2489.0] || greater(zero,zero)* -> . % 0.96/1.22 2499[4:MRR:833.3,2496.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(efficient_producers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2500[4:MRR:606.2,2496.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2501[4:MRR:1627.3,2496.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.22 2503[4:Rew:2488.0,2491.2] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero) greater(zero,zero). % 0.96/1.22 2504[4:Obv:2503.1] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> greater(zero,zero). % 0.96/1.22 2505[4:MRR:2504.1,2496.0] || greater_or_equal(sk1(sk3),equilibrium(sk3))* -> . % 0.96/1.22 2525[4:Res:4.1,2505.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 2546[4:Res:2500.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2557[4:Obv:2546.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.22 2558[4:MRR:2557.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.22 2559[4:MRR:2558.3,2501.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.22 2625[5:Spt:2038.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.22 2629[5:Rew:2625.0,2034.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.22 2639[5:MRR:2629.0,2525.0] || -> . % 0.96/1.22 2644[5:Spt:2639.0,2038.1,2625.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.22 2645[5:Spt:2639.0,2038.0,2038.2] || -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)). % 0.96/1.22 2655[6:Spt:2035.0] || -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.22 2662[6:SpR:2655.0,605.3] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.22 2664[6:SpR:2655.0,2499.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3))) equal(growth_rate(first_movers,sk4(sk2(sk3))),zero)**. % 0.96/1.22 2666[6:SpR:2655.0,832.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3))) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)**. % 0.96/1.22 2668[6:SpR:2655.0,72.2] || greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.22 2673[6:SpL:2655.0,445.3] || greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk4(sk2(sk3))))*r greater(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.22 2696[6:Rew:2655.0,2668.0] || greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.22 2697[6:MRR:2696.1,40.0] || greater(sk2(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.22 2699[6:Rew:2655.0,2666.3,2655.0,2666.0] || greater(sk2(sk3),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.22 2700[6:MRR:2699.1,40.0] || greater(sk2(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.22 2701[6:MRR:2700.0,2034.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.22 2702[6:Rew:2655.0,2664.3,2655.0,2664.0] || greater(sk2(sk3),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.22 2703[6:MRR:2702.1,40.0] || greater(sk2(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.22 2704[6:MRR:2703.0,2034.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.22 2705[6:Rew:2655.0,2662.2,2655.0,2662.0] || greater(sk2(sk3),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.22 2706[6:MRR:2705.1,40.0] || greater(sk2(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.22 2707[6:MRR:2706.0,2034.0] || -> greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.22 2722[6:Rew:2655.0,2673.2,2655.0,2673.0] || greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.22 2723[6:MRR:2722.1,40.0] || greater(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.22 2743[7:Spt:2701.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r. % 0.96/1.22 2748[8:Spt:2707.1] || -> equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.22 2749[8:Rew:2748.0,2743.0] || -> greater(zero,zero)*. % 0.96/1.22 2753[8:MRR:2749.0,2496.0] || -> . % 0.96/1.22 2756[8:Spt:2753.0,2707.1,2748.0] || equal(growth_rate(efficient_producers,sk2(sk3)),zero)** -> . % 0.96/1.22 2757[8:Spt:2753.0,2707.0] || -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l. % 0.96/1.22 2758[8:MRR:2723.2,2757.0] || greater(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r -> . % 0.96/1.22 2809[7:OCh:1.1,1.0,2697.1,2743.0] || greater(sk2(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.22 2812[8:MRR:2809.1,2758.1] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2813[8:MRR:2645.0,2812.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.22 2814[8:OCh:1.1,1.0,2813.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2818[8:SSi:2814.1,2814.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2819[8:MRR:2818.0,2818.1,2033.0,2525.0] || -> . % 0.96/1.22 2820[7:Spt:2819.0,2701.0,2743.0] || greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r -> . % 0.96/1.22 2821[7:Spt:2819.0,2701.1] || -> equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.22 2825[7:Rew:2821.0,2704.0] || -> greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.22 2826[7:MRR:2825.0,2496.0] || -> equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.22 2829[7:Rew:2821.0,2697.1,2826.0,2697.1] || greater(sk2(sk3),sk1(sk3))*l -> greater(zero,zero). % 0.96/1.22 2830[7:MRR:2829.1,2496.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2831[7:MRR:2645.0,2830.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.22 2866[7:OCh:1.1,1.0,2831.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2870[7:SSi:2866.1,2866.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2871[7:MRR:2870.0,2870.1,2033.0,2525.0] || -> . % 0.96/1.22 2872[6:Spt:2871.0,2035.0,2655.0] || equal(sk4(sk2(sk3)),sk2(sk3))** -> . % 0.96/1.22 2873[6:Spt:2871.0,2035.1] || -> greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.22 2930[4:Res:40.0,2559.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.22 2935[6:NCh:1.2,1.0,2930.1,2873.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.22 2937[6:NCh:1.2,1.0,2935.0,2873.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2939[6:MRR:2937.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.22 2940[6:MRR:2645.0,2939.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.22 2941[6:OCh:1.1,1.0,2940.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2945[6:SSi:2941.1,2941.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.22 2946[6:MRR:2945.0,2945.1,2033.0,2525.0] || -> . % 0.96/1.22 2947[4:Spt:2946.0,2466.2,2488.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> . % 0.96/1.22 2948[4:Spt:2946.0,2466.0,2466.1] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 2949[4:MRR:2472.2,2947.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l. % 0.96/1.22 3008[4:Res:2949.1,2055.1] || greater(sk1(sk3),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk1(sk3)))*r -> . % 0.96/1.22 3011[4:MRR:3008.1,2462.1] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.22 3428[0:Res:40.0,53.0] || -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.22 3491[0:Res:39.0,2042.0] || -> greater(sk1(sk3),sk2(sk3)) equal(sk2(sk3),sk1(sk3)) greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.22 3693[5:Spt:3428.0] || -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.22 3700[5:SpR:3693.0,832.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3))) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)**. % 0.96/1.22 3702[5:SpR:3693.0,72.2] || greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.22 3703[5:SpR:3693.0,73.2] || equal(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.22 3705[5:SpL:3693.0,444.2] || greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) equal(growth_rate(first_movers,sk4(sk2(sk3))),zero)** -> . % 0.96/1.22 3706[5:SpL:3693.0,84.2] || equal(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) equal(growth_rate(first_movers,sk4(sk2(sk3))),zero)** -> . % 0.96/1.22 3707[5:SpL:3693.0,445.3] || greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk4(sk2(sk3))))*r greater(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.22 3708[5:SpL:3693.0,85.3] || equal(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk4(sk2(sk3))))*r greater(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.22 3709[5:SpL:3693.0,22.2] || in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk4(sk2(sk3))))*r greater(growth_rate(efficient_producers,sk2(sk3)),zero) -> . % 0.96/1.22 3712[5:SpL:3693.0,153.1] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l equal(growth_rate(first_movers,sk4(sk2(sk3))),zero). % 0.96/1.23 3713[5:SpL:3693.0,147.1] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))) greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)**. % 0.96/1.23 3717[5:SpL:3693.0,87.1] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). % 0.96/1.23 3721[5:Rew:3693.0,3703.0] || equal(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3722[5:MRR:3721.1,40.0] || equal(sk2(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3725[5:Rew:3693.0,3709.1] || in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3726[5:MRR:3725.0,40.0] || greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3729[5:Rew:3693.0,3702.0] || greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3730[5:MRR:3729.1,40.0] || greater(sk2(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3731[5:Rew:3693.0,3706.3,3693.0,3706.0] || equal(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.23 3732[5:MRR:3731.1,40.0] || equal(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.23 3733[5:Rew:3693.0,3700.3,3693.0,3700.0] || greater(sk2(sk3),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3734[5:MRR:3733.0,3733.1,2034.0,40.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3735[5:Rew:3693.0,3708.2,3693.0,3708.0] || equal(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3736[5:MRR:3735.1,40.0] || equal(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3737[5:Rew:3693.0,3705.3,3693.0,3705.0] || greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.23 3738[5:MRR:3737.1,40.0] || greater(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r equal(growth_rate(first_movers,sk2(sk3)),zero) -> . % 0.96/1.23 3739[5:Rew:3693.0,3717.4,3693.0,3717.3,3693.0,3717.2] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3))* -> greater(growth_rate(efficient_producers,sk2(sk3)),zero) greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3740[5:MRR:3739.0,3739.1,40.0,41.0] || -> greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3746[5:Rew:3693.0,3713.4,3693.0,3713.3,3693.0,3713.2] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3747[5:MRR:3746.0,3746.1,40.0,41.0] || -> greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 3748[5:Rew:3693.0,3712.4,3693.0,3712.3,3693.0,3712.2] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk2(sk3))) greater(growth_rate(efficient_producers,sk2(sk3)),zero) equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.23 3749[5:Rew:3734.1,3748.3] || in_environment(sk3,sk2(sk3)) greater_or_equal(sk2(sk3),equilibrium(sk3))* -> greater(zero,growth_rate(efficient_producers,sk2(sk3))) greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.23 3750[5:MRR:3749.0,3749.1,40.0,41.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.23 3754[5:Rew:3693.0,3707.2,3693.0,3707.0] || greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3755[5:MRR:3754.1,40.0] || greater(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3778[6:Spt:3734.0] || -> greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r. % 0.96/1.23 3787[6:OCh:1.1,1.0,3722.1,3778.0] || equal(sk2(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 3788[6:MRR:3732.1,3787.1] || equal(sk2(sk3),sk1(sk3)) equal(growth_rate(first_movers,sk2(sk3)),zero)** -> . % 0.96/1.23 3789[6:MRR:3736.1,3787.1] || equal(sk2(sk3),sk1(sk3)) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3790[7:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 3794[7:SpR:3693.0,3790.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(first_movers,sk4(sk2(sk3))),zero)**. % 0.96/1.23 3802[7:Rew:3693.0,3794.3,3693.0,3794.0] || greater(sk2(sk3),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.23 3803[7:MRR:3802.0,3802.1,2034.0,40.0] || -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l equal(growth_rate(first_movers,sk2(sk3)),zero). % 0.96/1.23 3804[7:Rew:3803.1,3747.0] || -> greater(zero,zero) greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 3824[8:Spt:3803.1] || -> equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.23 3826[8:Rew:3824.0,3788.1] || equal(sk2(sk3),sk1(sk3))** equal(zero,zero) -> . % 0.96/1.23 3832[8:Rew:3824.0,3738.1] || greater(sk2(sk3),sk1(sk3)) greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero)** -> . % 0.96/1.23 3833[8:Rew:3824.0,3726.0] || greater(zero,zero) greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3834[8:Rew:3824.0,3804.1] || -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 3836[8:Obv:3826.1] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 3837[8:MRR:3491.1,3836.0] || -> greater(sk1(sk3),sk2(sk3)) greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 3838[8:Obv:3834.0] || -> greater(zero,zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 3839[8:Rew:3824.0,3832.2] || greater(sk2(sk3),sk1(sk3))*l greater(zero,zero) equal(zero,zero) -> . % 0.96/1.23 3840[8:Obv:3839.2] || greater(sk2(sk3),sk1(sk3))*l greater(zero,zero) -> . % 0.96/1.23 3842[9:Spt:3838.0] || -> greater(zero,zero)*. % 0.96/1.23 3846[9:MRR:3840.1,3842.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 3847[9:MRR:3837.1,3846.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 3851[9:OCh:1.1,1.0,3847.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3855[9:SSi:3851.1,3851.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3856[9:MRR:3855.0,3855.1,2033.0,3011.0] || -> . % 0.96/1.23 3857[9:Spt:3856.0,3838.0,3842.0] || greater(zero,zero)* -> . % 0.96/1.23 3858[9:Spt:3856.0,3838.1] || -> equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 3859[9:Rew:3858.0,3778.0] || -> greater(zero,zero)*. % 0.96/1.23 3864[9:Rew:3858.0,3833.1] || greater(zero,zero)* greater(zero,zero)* -> . % 0.96/1.23 3865[9:Obv:3864.0] || greater(zero,zero)* -> . % 0.96/1.23 3866[9:MRR:3865.0,3859.0] || -> . % 0.96/1.23 3869[8:Spt:3866.0,3803.1,3824.0] || equal(growth_rate(first_movers,sk2(sk3)),zero)** -> . % 0.96/1.23 3870[8:Spt:3866.0,3803.0] || -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l. % 0.96/1.23 3871[8:MRR:3789.1,3870.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 3872[8:MRR:3491.1,3871.0] || -> greater(sk1(sk3),sk2(sk3)) greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 3873[8:MRR:3755.2,3870.0] || greater(sk2(sk3),sk1(sk3)) greater(zero,growth_rate(first_movers,sk2(sk3)))*r -> . % 0.96/1.23 3874[9:Spt:3872.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 3875[9:OCh:1.1,1.0,3874.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3879[9:SSi:3875.1,3875.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3880[9:MRR:3879.0,3879.1,2033.0,3011.0] || -> . % 0.96/1.23 3881[9:Spt:3880.0,3872.0,3874.0] || greater(sk1(sk3),sk2(sk3))*r -> . % 0.96/1.23 3882[9:Spt:3880.0,3872.1] || -> greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 3883[9:MRR:3730.0,3882.0] || -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3884[9:MRR:3873.0,3882.0] || greater(zero,growth_rate(first_movers,sk2(sk3)))*r -> . % 0.96/1.23 3885[9:OCh:1.1,1.0,3883.0,3778.0] || -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 3886[9:MRR:3885.0,3884.0] || -> . % 0.96/1.23 3887[7:Spt:3886.0,606.2] || -> greater(zero,zero)*. % 0.96/1.23 3893[8:Spt:3491.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.23 3906[8:Rew:3893.0,3787.0] || equal(sk1(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 3913[8:Rew:3893.0,3740.1] || -> greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero). % 0.96/1.23 3923[8:Obv:3906.0] || -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 3924[8:Rew:3893.0,3923.0] || -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r. % 0.96/1.23 3925[8:MRR:2055.0,3924.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> . % 0.96/1.23 3926[8:MRR:2087.0,3924.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> . % 0.96/1.23 3938[8:Rew:3893.0,3913.2,3893.0,3913.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk1(sk3)),zero). % 0.96/1.23 3939[8:MRR:3938.2,2947.0] || -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero). % 0.96/1.23 3940[8:MRR:3939.0,3939.1,3926.0,3925.0] || -> . % 0.96/1.23 3942[8:Spt:3940.0,3491.1,3893.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 3943[8:Spt:3940.0,3491.0,3491.2] || -> greater(sk1(sk3),sk2(sk3)) greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 3944[9:Spt:3943.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 3945[9:OCh:1.1,1.0,3944.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3947[9:SSi:3945.1,3945.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 3948[9:MRR:3947.1,3011.0] || -> equal(sk2(sk3),equilibrium(sk3))**. % 0.96/1.23 3949[9:MRR:3948.0,2033.0] || -> . % 0.96/1.23 3950[9:Spt:3949.0,3943.0,3944.0] || greater(sk1(sk3),sk2(sk3))*r -> . % 0.96/1.23 3951[9:Spt:3949.0,3943.1] || -> greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 3952[9:MRR:3730.0,3951.0] || -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l. % 0.96/1.23 3954[9:MRR:3755.0,3951.0] || greater(zero,growth_rate(first_movers,sk2(sk3))) greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 3957[0:Res:40.0,60.0] || -> greater(sk2(sk3),sk1(sk3))*l equal(sk2(sk3),sk1(sk3)) greater(sk1(sk3),sk2(sk3)). % 0.96/1.23 3958[0:Res:40.0,53.0] || -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.23 4021[9:OCh:1.1,1.0,3952.0,3778.0] || -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 4022[9:MRR:3726.0,4021.0] || greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> . % 0.96/1.23 4024[9:MRR:3954.0,4021.0] || greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> . % 0.96/1.23 4026[9:MRR:3740.0,4022.0] || -> greater(growth_rate(first_movers,sk2(sk3)),zero) equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 4027[9:MRR:4026.0,4024.0] || -> equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 4030[9:Rew:4027.0,4022.0] || greater(zero,zero)* -> . % 0.96/1.23 4031[9:MRR:4030.0,3887.0] || -> . % 0.96/1.23 4033[6:Spt:4031.0,3734.0,3778.0] || greater(zero,growth_rate(efficient_producers,sk2(sk3)))*r -> . % 0.96/1.23 4034[6:Spt:4031.0,3734.1] || -> equal(growth_rate(efficient_producers,sk2(sk3)),zero)**. % 0.96/1.23 4035[6:Rew:4034.0,4033.0] || greater(zero,zero)* -> . % 0.96/1.23 4037[6:Rew:4034.0,3722.1] || equal(sk2(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r. % 0.96/1.23 4041[6:MRR:3732.1,4037.1] || equal(sk2(sk3),sk1(sk3)) equal(growth_rate(first_movers,sk2(sk3)),zero)** -> . % 0.96/1.23 4042[6:Rew:4034.0,3750.0] || -> greater(zero,zero) greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.23 4043[6:Obv:4042.0] || -> greater(zero,zero) equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.23 4044[6:MRR:4043.0,4035.0] || -> equal(growth_rate(first_movers,sk2(sk3)),zero)**. % 0.96/1.23 4047[6:Rew:4044.0,4041.1] || equal(sk2(sk3),sk1(sk3))** equal(zero,zero) -> . % 0.96/1.23 4048[6:Obv:4047.1] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 4050[6:MRR:3491.1,4048.0] || -> greater(sk1(sk3),sk2(sk3)) greater(sk2(sk3),sk1(sk3))*l. % 0.96/1.23 4051[6:Rew:4034.0,3730.1,4044.0,3730.1] || greater(sk2(sk3),sk1(sk3))*l -> greater(zero,zero). % 0.96/1.23 4052[6:MRR:4051.1,4035.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 4053[6:MRR:4050.1,4052.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 4067[6:OCh:1.1,1.0,4053.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4071[6:SSi:4067.1,4067.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4072[6:MRR:4071.0,4071.1,2033.0,3011.0] || -> . % 0.96/1.23 4073[5:Spt:4072.0,3428.0,3693.0] || equal(sk4(sk2(sk3)),sk2(sk3))** -> . % 0.96/1.23 4074[5:Spt:4072.0,3428.1] || -> greater(sk4(sk2(sk3)),sk2(sk3))*l. % 0.96/1.23 4094[6:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4098[6:Res:4094.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4114[6:Obv:4098.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4115[6:MRR:4114.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 4116[6:MRR:1457.4,4115.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 0.96/1.23 4118[6:MRR:1627.4,4115.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> greater(zero,zero). % 0.96/1.23 4119[6:Rew:4116.3,4115.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 0.96/1.23 4120[6:MRR:4119.3,4118.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 4146[7:Spt:3957.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.23 4150[7:Rew:4146.0,2034.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.23 4166[7:MRR:4150.0,3011.0] || -> . % 0.96/1.23 4172[7:Spt:4166.0,3957.1,4146.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 4173[7:Spt:4166.0,3957.0,3957.2] || -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)). % 0.96/1.23 4190[6:Res:40.0,4120.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 4195[6:NCh:1.2,1.0,4190.1,4074.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 4197[6:NCh:1.2,1.0,4195.0,4074.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 4199[6:MRR:4197.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 4200[7:MRR:4173.0,4199.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 4216[7:OCh:1.1,1.0,4200.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4220[7:SSi:4216.1,4216.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4221[7:MRR:4220.0,4220.1,2033.0,3011.0] || -> . % 0.96/1.23 4222[6:Spt:4221.0,606.2] || -> greater(zero,zero)*. % 0.96/1.23 4224[6:MRR:2406.3,4222.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4225[6:MRR:207.2,4224.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4226[6:Rew:4225.3,4224.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4227[6:MRR:4226.2,4222.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4228[7:Spt:3957.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.23 4237[7:Rew:4228.0,2034.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.23 4246[7:MRR:4237.0,3011.0] || -> . % 0.96/1.23 4253[7:Spt:4246.0,3957.1,4228.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 4254[7:Spt:4246.0,3957.0,3957.2] || -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)). % 0.96/1.23 4285[6:Res:4227.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 4299[6:Obv:4285.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 4300[6:MRR:1457.4,4299.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 0.96/1.23 4302[6:Rew:4300.3,4299.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 0.96/1.23 4303[6:MRR:4302.3,4222.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 4316[0:OCh:1.1,1.0,448.3,72.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.23 4320[0:Obv:4316.4] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.23 4325[6:Res:40.0,4303.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 4330[6:NCh:1.2,1.0,4325.1,4074.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 4342[6:NCh:1.2,1.0,4330.0,4074.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 4344[6:MRR:4342.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 4345[7:MRR:4254.0,4344.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 4346[7:OCh:1.1,1.0,4345.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4350[7:SSi:4346.1,4346.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 4351[7:MRR:4350.0,4350.1,2033.0,3011.0] || -> . % 0.96/1.23 4352[2:Spt:4351.0,65.0,2044.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> . % 0.96/1.23 4353[2:Spt:4351.0,65.1] || -> greater(sk4(sk1(sk3)),sk1(sk3))*l. % 0.96/1.23 4366[3:Spt:3957.1] || -> equal(sk2(sk3),sk1(sk3))**. % 0.96/1.23 4370[3:Rew:4366.0,2034.0] || -> greater(sk1(sk3),equilibrium(sk3))*l. % 0.96/1.23 4448[4:Spt:210.3] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4452[4:Rew:4448.0,228.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4456[4:Rew:4448.0,4452.2] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4457[4:Obv:4456.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4467[5:Spt:4457.1] || -> greater(zero,zero)*. % 0.96/1.23 4468[5:MRR:2406.3,4467.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4470[5:MRR:207.2,4468.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4471[5:Rew:4470.3,4468.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4472[5:MRR:4471.2,4467.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4493[5:Res:4472.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 4500[5:MRR:4493.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 4502[5:MRR:1791.2,4500.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.23 4503[5:Rew:4502.1,4500.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l greater(zero,zero) -> . % 0.96/1.23 4504[5:MRR:4503.1,4467.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 4520[5:NCh:1.2,1.0,4504.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 4522[5:MRR:4520.0,4370.0] || -> . % 0.96/1.23 4523[5:Spt:4522.0,4457.1,4467.0] || greater(zero,zero)* -> . % 0.96/1.23 4524[5:Spt:4522.0,4457.0,4457.2] || in_environment(sk3,equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4526[5:MRR:1792.1,4523.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.23 4529[5:MRR:606.2,4523.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4553[5:Res:4526.1,80.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.23 4601[5:Res:4529.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.23 4609[5:MRR:4601.1,4601.2,4601.3,39.0,4526.1,4553.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 4622[5:NCh:1.2,1.0,4609.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 4624[5:MRR:4622.0,4370.0] || -> . % 0.96/1.23 4625[4:Spt:4624.0,210.3,4448.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.23 4626[4:Spt:4624.0,210.0,210.1,210.2] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.23 4683[5:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4688[5:Res:4683.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero). % 0.96/1.23 4696[5:MRR:4688.1,4688.3,39.0,80.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 4697[5:MRR:1791.2,4696.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.23 4699[5:MRR:1792.2,4696.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> greater(zero,zero). % 0.96/1.23 4700[5:Rew:4697.1,4696.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l greater(zero,zero) -> . % 0.96/1.23 4701[5:MRR:4700.1,4699.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 4721[5:NCh:1.2,1.0,4701.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 4723[5:MRR:4721.0,4370.0] || -> . % 0.96/1.23 4724[5:Spt:4723.0,606.2] || -> greater(zero,zero)*. % 0.96/1.23 4726[5:MRR:2406.3,4724.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4727[5:MRR:207.2,4726.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4728[5:Rew:4727.3,4726.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4729[5:MRR:4728.2,4724.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4749[5:Res:4729.2,81.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 4757[5:MRR:4749.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 4758[5:MRR:1791.2,4757.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.23 4760[5:Rew:4758.1,4757.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l greater(zero,zero) -> . % 0.96/1.23 4761[5:MRR:4760.1,4724.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 4777[5:NCh:1.2,1.0,4761.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 4779[5:MRR:4777.0,4370.0] || -> . % 0.96/1.23 4780[3:Spt:4779.0,3957.1,4366.0] || equal(sk2(sk3),sk1(sk3))** -> . % 0.96/1.23 4781[3:Spt:4779.0,3957.0,3957.2] || -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)). % 0.96/1.23 4790[4:Spt:804.2] || -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r. % 0.96/1.23 4791[4:MRR:80.0,4790.0] || equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> . % 0.96/1.23 4792[4:MRR:81.0,4790.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> . % 0.96/1.23 4913[5:Spt:210.3] || -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4918[5:Rew:4913.0,228.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4921[5:Rew:4913.0,4918.2] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4922[5:Obv:4921.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 4932[6:Spt:4922.1] || -> greater(zero,zero)*. % 0.96/1.23 4933[6:MRR:2406.3,4932.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4935[6:MRR:207.2,4933.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 4936[6:Rew:4935.3,4933.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4937[6:MRR:4936.2,4932.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 4963[6:Res:4937.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 4965[6:Res:4937.2,4792.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3))* -> . % 0.96/1.23 4973[6:MRR:4965.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 4981[6:Obv:4963.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 4983[6:MRR:4320.4,4981.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 0.96/1.23 4984[6:Rew:4983.3,4981.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 0.96/1.23 4985[6:MRR:4984.3,4932.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 4989[6:NCh:1.2,1.0,4973.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 5002[6:Res:40.0,4985.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 5005[6:NCh:1.2,1.0,5002.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 0.96/1.23 5007[6:NCh:1.2,1.0,5005.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5010[6:Obv:5007.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5011[6:MRR:5010.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5038[6:SpL:5011.1,5002.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5045[6:Obv:5038.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5046[6:Rew:5011.1,5045.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5047[6:MRR:5046.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5048[6:MRR:4781.0,5047.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 5049[6:OCh:1.1,1.0,5048.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5053[6:SSi:5049.1,5049.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5054[6:MRR:5053.0,5053.1,2033.0,4989.0] || -> . % 0.96/1.23 5055[6:Spt:5054.0,4922.1,4932.0] || greater(zero,zero)* -> . % 0.96/1.23 5056[6:Spt:5054.0,4922.0,4922.2] || in_environment(sk3,equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**. % 0.96/1.23 5060[6:MRR:606.2,5055.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5061[6:MRR:1627.3,5055.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r. % 0.96/1.23 5127[0:SpL:605.3,22.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5131[0:Obv:5127.1] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5151[6:Res:5060.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5153[6:Res:5060.2,4792.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.23 5162[6:MRR:5153.1,5153.2,39.0,4791.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 5168[6:Obv:5151.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5169[6:MRR:5168.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 5170[6:MRR:5169.3,5061.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 5175[6:NCh:1.2,1.0,5162.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 5182[6:Res:40.0,5170.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 5191[6:NCh:1.2,1.0,5182.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 0.96/1.23 5193[6:NCh:1.2,1.0,5191.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5196[6:Obv:5193.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5197[6:MRR:5196.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5226[6:SpL:5197.1,5182.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5233[6:Obv:5226.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5234[6:Rew:5197.1,5233.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5235[6:MRR:5234.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5236[6:MRR:4781.0,5235.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 5237[6:OCh:1.1,1.0,5236.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5241[6:SSi:5237.1,5237.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5242[6:MRR:5241.0,5241.1,2033.0,5175.0] || -> . % 0.96/1.23 5243[5:Spt:5242.0,210.3,4913.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> . % 0.96/1.23 5244[5:Spt:5242.0,210.0,210.1,210.2] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l. % 0.96/1.23 5421[6:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5424[6:Res:5421.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5426[6:Res:5421.2,4792.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 0.96/1.23 5435[6:MRR:5426.1,5426.2,39.0,4791.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 5445[6:Obv:5424.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5446[6:MRR:5445.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 5447[6:MRR:4320.4,5446.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 0.96/1.23 5449[6:MRR:1627.4,5446.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> greater(zero,zero). % 0.96/1.23 5450[6:Rew:5447.3,5446.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 0.96/1.23 5451[6:MRR:5450.3,5449.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 5455[6:NCh:1.2,1.0,5435.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 5486[6:Res:40.0,5451.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 5507[6:NCh:1.2,1.0,5486.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 0.96/1.23 5509[6:NCh:1.2,1.0,5507.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5512[6:Obv:5509.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5513[6:MRR:5512.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5541[6:SpL:5513.1,5486.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5548[6:Obv:5541.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5549[6:Rew:5513.1,5548.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5550[6:MRR:5549.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5551[6:MRR:4781.0,5550.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 5552[6:OCh:1.1,1.0,5551.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5556[6:SSi:5552.1,5552.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5557[6:MRR:5556.0,5556.1,2033.0,5455.0] || -> . % 0.96/1.23 5558[6:Spt:5557.0,606.2] || -> greater(zero,zero)*. % 0.96/1.23 5560[6:MRR:5131.3,5558.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5561[6:MRR:207.2,5560.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 0.96/1.23 5562[6:Rew:5561.3,5560.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 5563[6:MRR:5562.2,5558.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 0.96/1.23 5582[6:Res:5563.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 5584[6:Res:5563.2,4792.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3))* -> . % 0.96/1.23 5593[6:MRR:5584.1,39.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 0.96/1.23 5601[6:Obv:5582.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 0.96/1.23 5602[6:MRR:4320.4,5601.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 0.96/1.23 5604[6:Rew:5602.3,5601.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 0.96/1.23 5605[6:MRR:5604.3,5558.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 0.96/1.23 5609[6:NCh:1.2,1.0,5593.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 0.96/1.23 5622[6:Res:40.0,5605.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 0.96/1.23 5625[6:NCh:1.2,1.0,5622.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 0.96/1.23 5627[6:NCh:1.2,1.0,5625.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5630[6:Obv:5627.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5631[6:MRR:5630.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 0.96/1.23 5658[6:SpL:5631.1,5622.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5665[6:Obv:5658.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 0.96/1.23 5666[6:Rew:5631.1,5665.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5667[6:MRR:5666.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 0.96/1.23 5668[6:MRR:4781.0,5667.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 0.96/1.23 5669[6:OCh:1.1,1.0,5668.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5673[6:SSi:5669.1,5669.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 0.96/1.23 5674[6:MRR:5673.0,5673.1,2033.0,5609.0] || -> . % 0.96/1.23 5675[4:Spt:5674.0,804.2,4790.0] || greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r -> . % 0.96/1.23 5676[4:Spt:5674.0,804.0,804.1] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**. % 1.06/1.39 5681[4:MRR:1791.2,5675.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**. % 1.06/1.39 5682[4:Rew:5681.1,1792.2] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> greater(zero,zero) greater(zero,zero). % 1.06/1.39 5683[4:Obv:5682.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> greater(zero,zero). % 1.06/1.39 5750[4:SpL:5681.1,5675.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l greater(zero,zero) -> . % 1.06/1.39 5751[4:MRR:5750.1,5683.1] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> . % 1.06/1.39 5752[4:NCh:1.2,1.0,5751.0,4353.0] || greater(sk1(sk3),equilibrium(sk3))*l -> . % 1.06/1.39 5825[0:OCh:1.1,1.0,448.3,72.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 1.06/1.39 5830[0:Obv:5825.4] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero) greater(zero,growth_rate(first_movers,sk4(u)))*r. % 1.06/1.39 5912[5:Spt:606.0,606.1,606.3,606.4] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 1.06/1.39 5915[5:Res:5912.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 1.06/1.39 5930[5:Obv:5915.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> equal(growth_rate(first_movers,sk4(u)),zero). % 1.06/1.39 5931[5:MRR:5930.4,444.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 1.06/1.39 5932[5:MRR:5830.4,5931.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 1.06/1.39 5934[5:MRR:1627.4,5931.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> greater(zero,zero). % 1.06/1.39 5935[5:Rew:5932.3,5931.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 1.06/1.39 5936[5:MRR:5935.3,5934.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 1.06/1.39 5993[5:Res:40.0,5936.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 1.06/1.39 6009[5:NCh:1.2,1.0,5993.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 1.06/1.39 6011[5:NCh:1.2,1.0,6009.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6014[5:Obv:6011.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6015[5:MRR:6014.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6043[5:SpL:6015.1,5993.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 1.06/1.39 6050[5:Obv:6043.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 1.06/1.39 6051[5:Rew:6015.1,6050.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 1.06/1.39 6052[5:MRR:6051.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 1.06/1.39 6053[5:MRR:4781.0,6052.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 1.06/1.39 6054[5:OCh:1.1,1.0,6053.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 1.06/1.39 6058[5:SSi:6054.1,6054.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 1.06/1.39 6059[5:MRR:6058.0,6058.1,2033.0,5752.0] || -> . % 1.06/1.39 6060[5:Spt:6059.0,606.2] || -> greater(zero,zero)*. % 1.06/1.39 6062[5:MRR:5131.3,6060.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> greater(growth_rate(first_movers,sk4(u)),zero). % 1.06/1.39 6063[5:MRR:207.2,6062.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l equal(growth_rate(first_movers,sk4(u)),zero). % 1.06/1.39 6064[5:Rew:6063.3,6062.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(zero,zero) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 1.06/1.39 6065[5:MRR:6064.2,6060.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l. % 1.06/1.39 6085[5:Res:6065.2,445.3] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 1.06/1.39 6098[5:Obv:6085.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(zero,growth_rate(first_movers,sk4(u)))*r -> . % 1.06/1.39 6099[5:MRR:5830.4,6098.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(first_movers,sk4(u)),zero)**. % 1.06/1.39 6101[5:Rew:6099.3,6098.3] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* greater(zero,zero) -> . % 1.06/1.39 6102[5:MRR:6101.3,6060.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> . % 1.06/1.39 6117[5:Res:40.0,6102.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> . % 1.06/1.39 6120[5:NCh:1.2,1.0,6117.1,3958.1] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3)). % 1.06/1.39 6122[5:NCh:1.2,1.0,6120.0,3958.1] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))** equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6125[5:Obv:6122.2] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6126[5:MRR:6125.0,2034.0] || greater(sk2(sk3),sk1(sk3)) -> equal(sk4(sk2(sk3)),sk2(sk3))**. % 1.06/1.39 6153[5:SpL:6126.1,6117.1] || greater(sk2(sk3),sk1(sk3)) greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 1.06/1.39 6160[5:Obv:6153.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> . % 1.06/1.39 6161[5:Rew:6126.1,6160.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> . % 1.06/1.39 6162[5:MRR:6161.0,2034.0] || greater(sk2(sk3),sk1(sk3))*l -> . % 1.06/1.39 6163[5:MRR:4781.0,6162.0] || -> greater(sk1(sk3),sk2(sk3))*r. % 1.06/1.39 6164[5:OCh:1.1,1.0,6163.0,52.3] stable(sk3) environment(sk3) || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 1.06/1.39 6168[5:SSi:6164.1,6164.0,19.0,18.0,19.0,18.0] || -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)). % 1.06/1.39 6169[5:MRR:6168.0,6168.1,2033.0,5752.0] || -> . % 1.06/1.39 % SZS output end Refutation % 1.06/1.39 Formulae used in the proof : mp_greater_transitivity_19 mp_times_in_environment_20 mp_greater_or_equal_21 mp_greater_or_equal_22 mp_greater_or_equal_23 l6_24 l6_25 l6_26 l6_27 l6_28 l6_29 l6_30 l6_31 l1_32 l1_33 a4_34 a4_35 prove_l11_36 prove_l11_37 prove_l11_38 prove_l11_39 prove_l11_40 % 1.06/1.39 %------------------------------------------------------------------------------