%------------------------------------------------------------------------------
% File     : SPASS---3.9
% Problem  : MGT035-1 : TPTP v8.1.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   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 600s
% DateTime : Sun Jul 17 22:26:19 EDT 2022

% Result   : Unsatisfiable 0.91s 1.15s
% Output   : Refutation 1.06s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : MGT035-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.13  % Command  : run_spass %d %s
% 0.13/0.34  % Computer : n020.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 600
% 0.13/0.34  % DateTime : Thu Jun  9 11:16:51 EDT 2022
% 0.13/0.34  % CPUTime  : 
% 0.91/1.15  
% 0.91/1.15  SPASS V 3.9 
% 0.91/1.15  SPASS beiseite: Proof found.
% 0.91/1.15  % SZS status Theorem
% 0.91/1.15  Problem: /export/starexec/sandbox/benchmark/theBenchmark.p 
% 0.91/1.15  SPASS derived 5601 clauses, backtracked 1492 clauses, performed 110 splits and kept 2852 clauses.
% 0.91/1.15  SPASS allocated 81422 KBytes.
% 0.91/1.15  SPASS spent	0:00:00.80 on the problem.
% 0.91/1.15  		0:00:00.04 for the input.
% 0.91/1.15  		0:00:00.00 for the FLOTTER CNF translation.
% 0.91/1.15  		0:00:00.14 for inferences.
% 0.91/1.15  		0:00:00.01 for the backtracking.
% 0.91/1.15  		0:00:00.55 for the reduction.
% 0.91/1.15  
% 0.91/1.15  
% 0.91/1.15  Here is a proof with depth 17, length 1055 :
% 0.91/1.15  % SZS output start Refutation
% 0.91/1.15  1[0:Inp] || greater(u,v)* greater(v,w)* -> greater(u,w)*.
% 0.91/1.15  2[0:Inp] || in_environment(u,v)*+ in_environment(u,w)* -> greater(w,v)* equal(v,w) greater(v,w)*.
% 0.91/1.15  3[0:Inp] || greater_or_equal(u,v)* -> equal(u,v) greater(u,v).
% 0.91/1.15  4[0:Inp] || greater(u,v) -> greater_or_equal(u,v)*.
% 0.91/1.15  5[0:Inp] || equal(u,v) -> greater_or_equal(u,v)*.
% 0.91/1.15  6[0:Inp] environment(u) || greater(zero,growth_rate(v,w))+ greater_or_equal(growth_rate(x,w),zero)* subpopulations(v,x,u,w)* -> outcompetes(x,v,w).
% 0.91/1.15  9[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.91/1.15  10[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.91/1.15  11[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.91/1.15  12[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.91/1.15  13[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.91/1.15  14[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.91/1.15  15[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.91/1.15  16[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.91/1.15  17[0:Inp] stable(u) environment(u) ||  -> in_environment(u,sk1(u))*.
% 0.91/1.15  18[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.91/1.15  19[0:Inp] stable(u) environment(u) ||  -> in_environment(u,sk2(u))*.
% 0.91/1.15  20[0:Inp] stable(u) environment(u) ||  -> greater_or_equal(sk2(u),equilibrium(u))*.
% 0.91/1.15  21[0:Inp] ||  -> environment(sk3)*.
% 0.91/1.15  22[0:Inp] ||  -> stable(sk3)*.
% 0.91/1.15  23[0:Inp] || in_environment(sk3,u) -> subpopulations(first_movers,efficient_producers,sk3,sk4(u))*.
% 0.91/1.15  24[0:Inp] || in_environment(sk3,u) -> greater_or_equal(sk4(u),u)*.
% 0.91/1.15  25[0:Inp] || in_environment(sk3,u) outcompetes(efficient_producers,first_movers,sk4(u))* -> .
% 0.91/1.15  27[0:Res:22.0,20.1] environment(sk3) ||  -> greater_or_equal(sk2(sk3),equilibrium(sk3))*.
% 0.91/1.15  28[0:Res:22.0,17.1] environment(sk3) ||  -> in_environment(sk3,sk1(sk3))*.
% 0.91/1.15  29[0:Res:22.0,19.1] environment(sk3) ||  -> in_environment(sk3,sk2(sk3))*.
% 0.91/1.15  30[0:Res:21.0,16.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.91/1.15  31[0:Res:21.0,15.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(efficient_producers,u)) greater(growth_rate(efficient_producers,u),zero) equal(growth_rate(efficient_producers,u),zero).
% 0.91/1.15  32[0:Res:21.0,14.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(first_movers,u)) greater(growth_rate(first_movers,u),zero) equal(growth_rate(efficient_producers,u),zero).
% 0.91/1.15  34[0:Res:21.0,12.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.91/1.15  35[0:Res:21.0,11.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(efficient_producers,u)) greater(growth_rate(efficient_producers,u),zero) equal(growth_rate(first_movers,u),zero).
% 0.91/1.15  36[0:Res:21.0,10.0] || greater_or_equal(u,equilibrium(sk3)) subpopulations(first_movers,efficient_producers,sk3,u)* -> greater(zero,growth_rate(first_movers,u)) greater(growth_rate(first_movers,u),zero) equal(growth_rate(first_movers,u),zero).
% 0.91/1.15  38[0:Res:21.0,6.0] || greater(zero,growth_rate(u,v))+ greater_or_equal(growth_rate(w,v),zero)* subpopulations(u,w,sk3,v)* -> outcompetes(w,u,v).
% 0.91/1.15  39[0:Res:21.0,18.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.91/1.15  45[0:MRR:28.0,21.0] ||  -> in_environment(sk3,sk1(sk3))*.
% 0.91/1.15  46[0:MRR:29.0,21.0] ||  -> in_environment(sk3,sk2(sk3))*.
% 0.91/1.15  47[0:MRR:27.0,21.0] ||  -> greater_or_equal(sk2(sk3),equilibrium(sk3))*.
% 0.91/1.15  48[0:MRR:39.0,22.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.91/1.15  57[0:Res:47.0,3.0] ||  -> equal(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),equilibrium(sk3))*l.
% 0.91/1.15  58[0:Res:20.2,3.0] stable(u) environment(u) ||  -> equal(sk2(u),equilibrium(u)) greater(sk2(u),equilibrium(u))*l.
% 0.91/1.15  59[0:Res:24.1,3.0] || in_environment(sk3,u)* -> equal(sk4(u),u) greater(sk4(u),u).
% 0.91/1.15  61[1:Spt:57.0] ||  -> equal(sk2(sk3),equilibrium(sk3))**.
% 0.91/1.15  62[1:Rew:61.0,46.0] ||  -> in_environment(sk3,equilibrium(sk3))*.
% 0.91/1.15  70[0:Res:45.0,59.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3)) greater(sk4(sk1(sk3)),sk1(sk3))*l.
% 0.91/1.15  71[1:Res:62.0,59.0] ||  -> equal(sk4(equilibrium(sk3)),equilibrium(sk3)) greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l.
% 0.91/1.15  72[0:Res:19.2,59.0] stable(sk3) environment(sk3) ||  -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l.
% 0.91/1.15  76[0:Res:45.0,2.0] || in_environment(sk3,u)* -> greater(u,sk1(sk3)) equal(sk1(sk3),u) greater(sk1(sk3),u).
% 0.91/1.15  77[1:Res:62.0,2.0] || in_environment(sk3,u)* -> greater(u,equilibrium(sk3)) equal(equilibrium(sk3),u) greater(equilibrium(sk3),u).
% 0.91/1.15  81[0:Res:23.1,48.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.91/1.15  82[0:Res:4.1,81.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.91/1.15  83[0:Res:5.1,81.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.91/1.15  84[0:Res:24.1,81.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.91/1.15  85[0:Obv:84.0] || in_environment(sk3,sk1(sk3)) -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3))))*l.
% 0.91/1.15  86[0:MRR:85.0,45.0] ||  -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3))))*l.
% 0.91/1.15  88[1:Res:45.0,77.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l equal(sk1(sk3),equilibrium(sk3)) greater(equilibrium(sk3),sk1(sk3)).
% 0.91/1.15  92[2:Spt:88.1] ||  -> equal(sk1(sk3),equilibrium(sk3))**.
% 0.91/1.15  94[2:Rew:92.0,86.0] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3))))*l.
% 0.91/1.15  98[2:Rew:92.0,83.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.91/1.15  100[2:Rew:92.0,82.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.91/1.15  110[0:Res:23.1,13.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.91/1.15  111[0:SSi:110.0,22.0,21.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.91/1.15  122[0:Res:23.1,9.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.91/1.15  123[0:SSi:122.0,22.0,21.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.91/1.15  126[0:Res:23.1,31.1] || 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.91/1.15  127[0:Res:23.1,36.1] || 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.91/1.15  129[0:Res:23.1,32.1] || 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.91/1.15  130[0:Res:23.1,35.1] || 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.91/1.15  131[0:Res:23.1,30.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.91/1.15  132[0:Res:23.1,34.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.91/1.15  134[0:Res:4.1,111.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.91/1.15  135[0:Res:5.1,111.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.91/1.15  136[0:Res:24.1,111.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.91/1.15  137[0:Obv:136.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.91/1.15  138[1:MRR:137.0,62.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.91/1.15  139[0:Res:4.1,123.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.91/1.15  141[0:Res:24.1,123.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.91/1.15  142[0:Obv:141.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.91/1.15  143[1:MRR:142.0,62.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.91/1.15  144[3:Spt:143.2] ||  -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  145[3:Rew:144.0,94.0] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  149[3:SpL:144.0,38.0] || greater(zero,zero) greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  152[3:Res:4.1,149.1] || greater(growth_rate(u,sk4(equilibrium(sk3))),zero) greater(zero,zero) subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3)))* -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  160[3:Res:23.1,152.2] || in_environment(sk3,equilibrium(sk3)) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) greater(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  161[3:MRR:160.0,160.1,62.0,145.0] || greater(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  163[3:Res:161.1,25.1] || greater(zero,zero) in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  164[3:MRR:163.1,62.0] || greater(zero,zero)* -> .
% 0.91/1.15  165[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.91/1.15  166[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.91/1.15  167[0:Res:24.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.91/1.15  168[0:Obv:167.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.91/1.15  171[0:Res:24.1,127.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.91/1.15  172[0:Obv:171.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.91/1.15  174[0:Res:4.1,129.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.91/1.15  176[0:Res:24.1,129.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.91/1.15  177[0:Obv:176.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.91/1.15  178[3:Rew:144.0,177.2,144.0,177.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  179[3:Obv:178.1] || in_environment(sk3,equilibrium(sk3)) -> greater(zero,zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  180[3:MRR:179.0,179.1,62.0,164.0] ||  -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  181[3:Rew:180.0,145.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  182[3:MRR:181.0,164.0] ||  -> .
% 0.91/1.15  183[3:Spt:182.0,143.2,144.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> .
% 0.91/1.15  184[3:Spt:182.0,143.0,143.1] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  185[1:MRR:177.0,62.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.91/1.15  186[1:MRR:172.0,62.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.91/1.15  188[1:MRR:168.0,62.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.91/1.15  190[4:Spt:184.0] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  191[0:Res:4.1,130.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.91/1.15  193[0:Res:24.1,130.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.91/1.15  194[0:Obv:193.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.91/1.15  195[0:Res:4.1,131.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.91/1.15  196[0:Res:5.1,131.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.91/1.15  197[0:Res:24.1,131.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.91/1.15  198[0:Obv:197.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.91/1.15  199[1:MRR:198.0,62.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.91/1.15  200[5:Spt:199.2] ||  -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  201[5:Rew:200.0,190.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  202[5:Rew:200.0,94.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  211[5:Res:202.0,38.0] || greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  218[0:Res:4.1,132.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.91/1.15  219[0:Res:5.1,132.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.91/1.15  220[0:Res:24.1,132.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.91/1.15  221[0:Obv:220.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.91/1.15  225[5:SpL:200.0,211.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk4(equilibrium(sk3)))* -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  228[5:Res:23.1,225.1] || in_environment(sk3,equilibrium(sk3)) greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  229[5:MRR:228.0,62.0] || greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  231[5:Res:229.1,25.1] || greater_or_equal(zero,zero) in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  232[5:MRR:231.1,62.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  233[5:Res:4.1,232.0] || greater(zero,zero)* -> .
% 0.91/1.15  236[5:MRR:233.0,201.0] ||  -> .
% 0.91/1.15  237[5:Spt:236.0,199.2,200.0] || equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)** -> .
% 0.91/1.15  238[5:Spt:236.0,199.0,199.1] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  256[5:OCh:1.1,1.0,94.0,238.1] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  257[5:Obv:256.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  259[5:Res:257.0,38.0] || greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  266[5:Res:4.1,259.0] || greater(growth_rate(u,sk4(equilibrium(sk3))),zero) subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3)))* -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  272[5:Res:23.1,266.1] || in_environment(sk3,equilibrium(sk3)) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  273[5:MRR:272.0,272.1,62.0,190.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  274[5:Res:273.0,25.1] || in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  275[5:MRR:274.0,62.0] ||  -> .
% 0.91/1.15  276[4:Spt:275.0,184.0,190.0] || greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l -> .
% 0.91/1.15  277[4:Spt:275.0,184.1] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  285[4:NCh:1.2,1.0,276.0,100.2] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  287[4:NCh:1.2,1.0,276.0,98.2] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  298[4:MRR:287.0,287.2,277.0,62.0] || equal(sk4(equilibrium(sk3)),equilibrium(sk3))** -> .
% 0.91/1.15  299[4:MRR:71.0,298.0] ||  -> greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l.
% 0.91/1.15  300[4:MRR:285.0,285.2,277.0,62.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  301[4:MRR:300.0,299.0] ||  -> .
% 0.91/1.15  305[2:Spt:301.0,88.1,92.0] || equal(sk1(sk3),equilibrium(sk3))** -> .
% 0.91/1.15  306[2:Spt:301.0,88.0,88.2] ||  -> greater(sk1(sk3),equilibrium(sk3))*l greater(equilibrium(sk3),sk1(sk3)).
% 0.91/1.15  308[1:MRR:221.0,62.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.91/1.15  309[1:MRR:194.0,62.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.91/1.15  315[3:Spt:71.0] ||  -> equal(sk4(equilibrium(sk3)),equilibrium(sk3))**.
% 0.91/1.15  316[3:Rew:315.0,309.1] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  317[3:Rew:315.0,188.1] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  319[3:Rew:315.0,143.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  321[3:Rew:315.0,185.2] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))) greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(efficient_producers,equilibrium(sk3)),zero).
% 0.91/1.15  322[3:Rew:315.0,308.1] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  323[3:Rew:315.0,186.1] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  324[3:Rew:315.0,316.2,315.0,316.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.91/1.15  325[3:Rew:315.0,317.2,315.0,317.0] ||  -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l equal(growth_rate(efficient_producers,equilibrium(sk3)),zero).
% 0.91/1.15  327[3:Rew:315.0,319.2,315.0,319.1] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(first_movers,equilibrium(sk3)),zero).
% 0.91/1.15  329[3:Rew:315.0,321.1,315.0,321.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(first_movers,equilibrium(sk3)),zero) equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**.
% 0.91/1.15  330[3:Rew:315.0,322.2,315.0,322.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r equal(growth_rate(first_movers,equilibrium(sk3)),zero).
% 0.91/1.15  331[3:Rew:315.0,323.2,315.0,323.0] ||  -> 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.91/1.15  333[3:SpR:315.0,23.1] || in_environment(sk3,equilibrium(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3))*.
% 0.91/1.15  338[3:SpL:315.0,25.1] || in_environment(sk3,equilibrium(sk3)) outcompetes(efficient_producers,first_movers,equilibrium(sk3))* -> .
% 0.91/1.15  347[3:MRR:333.0,62.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3))*.
% 0.91/1.15  348[3:MRR:338.0,62.0] || outcompetes(efficient_producers,first_movers,equilibrium(sk3))* -> .
% 0.91/1.15  363[3:Res:347.0,48.1] || greater_or_equal(equilibrium(sk3),sk1(sk3))* -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))).
% 0.91/1.15  385[3:Res:4.1,363.0] || greater(equilibrium(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l.
% 0.91/1.15  399[4:Spt:324.2] ||  -> equal(growth_rate(first_movers,equilibrium(sk3)),zero)**.
% 0.91/1.15  400[4:Rew:399.0,385.1] || greater(equilibrium(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  402[4:Rew:399.0,329.1] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(zero,zero) equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**.
% 0.91/1.15  405[4:Rew:399.0,402.0] ||  -> greater(zero,zero) greater(zero,zero) equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**.
% 0.91/1.15  406[4:Obv:405.0] ||  -> greater(zero,zero) equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**.
% 0.91/1.15  409[4:SpL:399.0,38.0] || greater(zero,zero) greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  412[5:Spt:406.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  413[5:MRR:409.0,412.0] || greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  418[5:Res:4.1,413.0] || greater(growth_rate(u,equilibrium(sk3)),zero) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  420[6:Spt:325.1] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  429[5:Res:347.0,418.1] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> outcompetes(efficient_producers,first_movers,equilibrium(sk3))*.
% 0.91/1.15  430[6:MRR:429.0,429.1,420.0,348.0] ||  -> .
% 0.91/1.15  431[6:Spt:430.0,325.1,420.0] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  432[6:Spt:430.0,325.0,325.2] ||  -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r equal(growth_rate(efficient_producers,equilibrium(sk3)),zero).
% 0.91/1.15  435[6:MRR:400.1,431.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  436[6:MRR:306.1,435.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  492[0:OCh:1.1,1.0,196.3,86.0] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))).
% 0.91/1.15  493[0:OCh:1.1,1.0,196.3,82.2] || equal(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))) equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  494[0:OCh:1.1,1.0,196.3,83.2] || equal(sk4(u),equilibrium(sk3)) in_environment(sk3,u) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  505[0:Obv:492.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.91/1.15  506[0:MRR:505.1,45.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.91/1.15  507[0:Obv:494.4] || equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  510[0:Obv:493.4] || equal(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  518[7:Spt:506.1] ||  -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  519[7:Rew:518.0,86.0] ||  -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  536[7:Res:519.0,38.0] || greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  581[7:SpL:518.0,536.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3)))* -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  584[7:Res:23.1,581.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  585[7:MRR:584.0,45.0] || greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  595[7:Res:585.1,25.1] || greater_or_equal(zero,zero) in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  596[7:MRR:595.1,45.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  597[7:Res:4.1,596.0] || greater(zero,zero)* -> .
% 0.91/1.15  600[7:MRR:597.0,412.0] ||  -> .
% 0.91/1.15  601[7:Spt:600.0,506.1,518.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  602[7:Spt:600.0,506.0,506.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  616[0:OCh:1.1,1.0,86.0,219.3] || 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.91/1.15  619[0:Obv:616.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.91/1.15  637[0:SpR:174.4,86.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))).
% 0.91/1.15  646[0:Obv:637.2] || 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.91/1.15  696[0:SpR:507.3,83.2] || equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  708[0:Obv:696.5] || equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  724[0:Res:708.3,38.0] || equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) greater_or_equal(growth_rate(v,sk4(u)),zero)* subpopulations(first_movers,v,sk3,sk4(u)) -> outcompetes(v,first_movers,sk4(u)).
% 0.91/1.15  746[0:OCh:1.1,1.0,195.3,82.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))) equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  747[0:OCh:1.1,1.0,195.3,83.2] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u))) equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  748[0:OCh:1.1,1.0,195.3,86.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))).
% 0.91/1.15  761[0:Obv:748.2] || 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.91/1.15  762[7:MRR:761.1,761.2,45.0,601.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  763[0:Obv:747.4] || greater(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  766[0:Obv:746.4] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(zero,growth_rate(first_movers,sk4(u))).
% 0.91/1.15  828[7:Res:762.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  851[0:OCh:1.1,1.0,218.3,86.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.91/1.15  864[0:Obv:851.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.91/1.15  888[0:Res:5.1,724.3] || equal(growth_rate(u,sk4(v)),zero) equal(sk4(v),equilibrium(sk3)) equal(sk4(v),sk1(sk3)) in_environment(sk3,v) subpopulations(first_movers,u,sk3,sk4(v))* -> outcompetes(u,first_movers,sk4(v)).
% 0.91/1.15  894[0:Res:23.1,888.4] || in_environment(sk3,u) equal(growth_rate(efficient_producers,sk4(u)),zero) equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  895[0:Obv:894.0] || equal(growth_rate(efficient_producers,sk4(u)),zero) equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  896[0:MRR:895.4,25.1] || equal(growth_rate(efficient_producers,sk4(u)),zero)** equal(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> .
% 0.91/1.15  919[0:SpR:510.3,82.2] || equal(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  935[0:Obv:919.5] || equal(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  949[3:SpR:315.0,935.3] || equal(sk4(equilibrium(sk3)),equilibrium(sk3)) greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  964[7:NCh:1.2,1.0,828.1,70.1] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))) equal(sk4(sk1(sk3)),sk1(sk3)).
% 0.91/1.15  966[7:MRR:964.1,436.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))) equal(sk4(sk1(sk3)),sk1(sk3)).
% 0.91/1.15  967[7:Rew:966.4,828.1] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  968[7:MRR:967.1,436.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  971[7:Res:4.1,968.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  990[0:SpR:763.3,83.2] || greater(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  1004[0:Obv:990.5] || greater(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  1020[7:Res:23.1,971.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1021[7:SSi:1020.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1022[7:MRR:1021.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1023[7:Res:1022.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  1024[7:MRR:1023.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  1032[7:Res:134.2,1024.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  1039[7:NCh:1.2,1.0,1024.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  1061[7:MRR:1032.1,1032.3,45.0,601.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  1062[7:MRR:1061.1,1039.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  1082[0:SpR:766.3,82.2] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  1098[0:Obv:1082.5] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(zero,growth_rate(first_movers,sk4(u)))*r.
% 0.91/1.15  1112[7:NCh:1.2,1.0,1062.0,70.1] || greater(sk1(sk3),equilibrium(sk3)) -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  1114[7:MRR:1112.0,436.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  1123[7:Rew:1114.0,1062.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  1125[7:MRR:1123.0,436.0] ||  -> .
% 0.91/1.15  1129[5:Spt:1125.0,406.0,412.0] || greater(zero,zero)* -> .
% 0.91/1.15  1130[5:Spt:1125.0,406.1] ||  -> equal(growth_rate(efficient_producers,equilibrium(sk3)),zero)**.
% 0.91/1.15  1133[5:Rew:1130.0,400.1] || greater(equilibrium(sk3),sk1(sk3))*r -> greater(zero,zero).
% 0.91/1.15  1134[5:MRR:1133.1,1129.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  1135[5:MRR:306.1,1134.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  1138[0:MRR:619.1,45.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.91/1.15  1141[0:MRR:864.1,45.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.91/1.15  1142[0:MRR:761.1,45.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.91/1.15  1143[0:Rew:1141.1,646.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  1144[0:MRR:1143.1,45.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,zero) greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  1145[5:MRR:1144.1,1129.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  1157[6:Spt:70.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  1158[6:Rew:1157.0,1145.1] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1162[6:Rew:1157.0,1158.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1163[6:MRR:1162.0,1135.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1165[6:SpR:1157.0,23.1] || in_environment(sk3,sk1(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  1175[6:SpR:1157.0,134.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.91/1.15  1187[6:SpL:1157.0,25.1] || in_environment(sk3,sk1(sk3)) outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  1201[6:MRR:1165.0,45.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  1202[6:MRR:1187.0,45.0] || outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  1233[6:Rew:1157.0,1175.4,1157.0,1175.3,1157.0,1175.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.91/1.15  1234[6:MRR:1233.0,1233.1,1135.0,45.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.91/1.15  1266[6:Res:1163.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  1273[6:Res:4.1,1266.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  1274[6:Res:5.1,1266.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  1275[6:Res:1201.0,1274.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  1276[6:MRR:1275.1,1202.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  1277[6:MRR:1234.2,1276.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  1282[6:Res:1201.0,1273.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  1283[6:MRR:1282.1,1202.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  1284[6:MRR:1277.0,1283.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  1286[6:OCh:1.1,1.0,1284.0,1163.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  1287[6:MRR:1286.0,1129.0] ||  -> .
% 0.91/1.15  1288[6:Spt:1287.0,70.0,1157.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> .
% 0.91/1.15  1289[6:Spt:1287.0,70.1] ||  -> greater(sk4(sk1(sk3)),sk1(sk3))*l.
% 0.91/1.15  1313[5:Res:1145.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  1355[0:Res:1004.3,38.0] || greater(sk4(u),equilibrium(sk3)) equal(sk4(u),sk1(sk3)) in_environment(sk3,u) greater_or_equal(growth_rate(v,sk4(u)),zero)* subpopulations(first_movers,v,sk3,sk4(u)) -> outcompetes(v,first_movers,sk4(u)).
% 0.91/1.15  1458[0:Res:1098.3,6.1] environment(u) || greater(sk4(v),equilibrium(sk3))+ greater(sk4(v),sk1(sk3)) in_environment(sk3,v) greater_or_equal(growth_rate(w,sk4(v)),zero)* subpopulations(first_movers,w,u,sk4(v))* -> outcompetes(w,first_movers,sk4(v)).
% 0.91/1.15  1459[0:Res:1098.3,38.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater_or_equal(growth_rate(v,sk4(u)),zero)* subpopulations(first_movers,v,sk3,sk4(u)) -> outcompetes(v,first_movers,sk4(u)).
% 0.91/1.15  1479[6:NCh:1.2,1.0,1313.1,1289.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  1481[6:MRR:1479.1,1135.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  1484[6:Res:4.1,1481.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  1485[6:Res:5.1,1481.1] environment(u) || equal(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  1486[6:Res:23.1,1485.2] environment(sk3) || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1487[6:SSi:1486.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1488[6:MRR:1487.0,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1489[6:Res:1488.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  1490[6:MRR:1489.1,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  1503[6:Res:23.1,1484.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1504[6:SSi:1503.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1505[6:MRR:1504.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  1506[6:Res:1505.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  1507[6:MRR:1506.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  1515[6:Res:134.2,1507.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  1522[6:NCh:1.2,1.0,1507.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  1544[6:MRR:1515.1,1515.3,45.0,1490.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  1545[6:MRR:1544.1,1522.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  1555[6:NCh:1.2,1.0,1545.0,1289.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  1557[6:MRR:1555.0,1135.0] ||  -> .
% 0.91/1.15  1558[4:Spt:1557.0,324.2,399.0] || equal(growth_rate(first_movers,equilibrium(sk3)),zero)** -> .
% 0.91/1.15  1559[4:Spt:1557.0,324.0,324.1] ||  -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  1560[4:MRR:331.2,1558.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  1561[4:MRR:330.2,1558.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3))) greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r.
% 0.91/1.15  1562[4:MRR:327.2,1558.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l greater(growth_rate(first_movers,equilibrium(sk3)),zero).
% 0.91/1.15  1568[3:Rew:315.0,949.1,315.0,949.0] || equal(equilibrium(sk3),equilibrium(sk3)) greater(equilibrium(sk3),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  1569[3:Obv:1568.0] || greater(equilibrium(sk3),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  1570[3:MRR:1569.1,62.0] || greater(equilibrium(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  1611[5:Spt:1559.0] ||  -> greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r.
% 0.91/1.15  1620[6:Spt:70.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  1621[6:Rew:1620.0,86.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l.
% 0.91/1.15  1632[6:SpR:1620.0,23.1] || in_environment(sk3,sk1(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  1636[6:SpR:1620.0,1004.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1644[6:SpR:1620.0,134.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.91/1.15  1656[6:SpL:1620.0,25.1] || in_environment(sk3,sk1(sk3)) outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  1677[6:MRR:1632.0,45.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  1678[6:MRR:1656.0,45.0] || outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  1685[6:Rew:1620.0,1636.1,1620.0,1636.0] || greater(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1686[6:Obv:1685.1] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1687[6:MRR:1686.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1720[6:Rew:1620.0,1644.4,1620.0,1644.3,1620.0,1644.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.91/1.15  1721[6:MRR:1720.1,45.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.91/1.15  1760[7:Spt:1560.1] ||  -> greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  1765[8:Spt:306.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  1766[8:MRR:1687.0,1765.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  1767[8:MRR:1721.0,1765.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.91/1.15  1771[9:Spt:1767.2] ||  -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**.
% 0.91/1.15  1781[8:Res:1766.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  1795[9:SpL:1771.0,1781.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))* -> outcompetes(efficient_producers,first_movers,sk1(sk3)).
% 0.91/1.15  1797[8:Res:4.1,1781.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  1799[9:MRR:1795.1,1795.2,1677.0,1678.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  1805[9:Res:5.1,1799.0] || equal(zero,zero)* -> .
% 0.91/1.15  1806[9:Obv:1805.0] ||  -> .
% 0.91/1.15  1808[9:Spt:1806.0,1767.2,1771.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  1809[9:Spt:1806.0,1767.0,1767.1] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  1822[3:Res:1570.1,38.0] || greater(equilibrium(sk3),sk1(sk3)) greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  1845[8:Res:1677.0,1797.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  1846[8:MRR:1845.1,1678.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  1847[9:MRR:1809.0,1846.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  1861[8:NCh:1.2,1.0,1846.0,1621.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  1863[9:MRR:1861.0,1847.0] ||  -> .
% 0.91/1.15  1864[8:Spt:1863.0,306.0,1765.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  1865[8:Spt:1863.0,306.1] ||  -> greater(equilibrium(sk3),sk1(sk3))*r.
% 0.91/1.15  1867[8:MRR:385.0,1865.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l.
% 0.91/1.15  1868[8:MRR:1822.0,1865.0] || greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  1891[8:Res:4.1,1868.0] || greater(growth_rate(u,equilibrium(sk3)),zero) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  1922[8:Res:347.0,1891.1] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> outcompetes(efficient_producers,first_movers,equilibrium(sk3))*.
% 0.91/1.15  1923[8:MRR:1922.1,348.0] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  1924[8:NCh:1.2,1.0,1923.0,1867.0] || greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  1926[8:MRR:1924.0,1760.0] ||  -> .
% 0.91/1.15  1927[7:Spt:1926.0,1560.1,1760.0] || greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  1928[7:Spt:1926.0,1560.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  1930[7:MRR:1562.1,1927.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  1935[7:Res:1928.0,38.0] || greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  1943[7:Res:4.1,1935.0] || greater(growth_rate(u,equilibrium(sk3)),zero) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  1987[7:Res:347.0,1943.1] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> outcompetes(efficient_producers,first_movers,equilibrium(sk3))*.
% 0.91/1.15  1988[7:MRR:1987.0,1987.1,1930.0,348.0] ||  -> .
% 0.91/1.15  1989[6:Spt:1988.0,70.0,1620.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> .
% 0.91/1.15  1990[6:Spt:1988.0,70.1] ||  -> greater(sk4(sk1(sk3)),sk1(sk3))*l.
% 0.91/1.15  2011[7:Spt:1562.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  2012[7:OCh:1.1,1.0,2011.0,1611.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  2013[8:Spt:306.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  2025[9:Spt:506.1] ||  -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  2026[9:Rew:2025.0,86.0] ||  -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2058[9:Res:2026.0,38.0] || greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2074[9:SpL:2025.0,2058.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3)))* -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2082[9:Res:23.1,2074.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2083[9:MRR:2082.0,45.0] || greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2084[9:Res:2083.1,25.1] || greater_or_equal(zero,zero) in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  2085[9:MRR:2084.1,45.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  2086[9:Res:4.1,2085.0] || greater(zero,zero)* -> .
% 0.91/1.15  2089[9:MRR:2086.0,2012.0] ||  -> .
% 0.91/1.15  2090[9:Spt:2089.0,506.1,2025.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  2091[9:Spt:2089.0,506.0,506.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2092[9:MRR:1142.1,2090.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2121[9:Res:2092.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2144[3:Res:4.1,1822.1] || greater(growth_rate(u,equilibrium(sk3)),zero) greater(equilibrium(sk3),sk1(sk3)) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  2159[9:NCh:1.2,1.0,2121.1,1990.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2161[9:MRR:2159.1,2013.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2164[9:Res:4.1,2161.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2167[9:Res:23.1,2164.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2168[9:SSi:2167.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2169[9:MRR:2168.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2170[9:Res:2169.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  2171[9:MRR:2170.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  2181[9:Res:134.2,2171.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  2188[9:NCh:1.2,1.0,2171.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  2212[9:MRR:2181.1,2181.3,45.0,2090.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  2213[9:MRR:2212.1,2188.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  2218[9:NCh:1.2,1.0,2213.0,1990.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  2220[9:MRR:2218.0,2013.0] ||  -> .
% 0.91/1.15  2221[8:Spt:2220.0,306.0,2013.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  2222[8:Spt:2220.0,306.1] ||  -> greater(equilibrium(sk3),sk1(sk3))*r.
% 0.91/1.15  2229[8:MRR:2144.1,2222.0] || greater(growth_rate(u,equilibrium(sk3)),zero) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  2348[8:Res:347.0,2229.1] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> outcompetes(efficient_producers,first_movers,equilibrium(sk3))*.
% 0.91/1.15  2349[8:MRR:2348.0,2348.1,2011.0,348.0] ||  -> .
% 0.91/1.15  2350[7:Spt:2349.0,1562.0,2011.0] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  2351[7:Spt:2349.0,1562.1] ||  -> greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  2354[8:Spt:306.1] ||  -> greater(equilibrium(sk3),sk1(sk3))*r.
% 0.91/1.15  2357[8:MRR:385.0,2354.0] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3)))*l.
% 0.91/1.15  2414[8:NCh:1.2,1.0,2357.0,2350.0] || greater(growth_rate(first_movers,equilibrium(sk3)),zero)*l -> .
% 0.91/1.15  2416[8:MRR:2414.0,2351.0] ||  -> .
% 0.91/1.15  2417[8:Spt:2416.0,306.1,2354.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  2418[8:Spt:2416.0,306.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  2437[9:Spt:506.1] ||  -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  2438[9:Rew:2437.0,86.0] ||  -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2476[9:Res:2438.0,38.0] || greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2507[9:SpL:2437.0,2476.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3)))* -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2511[9:Res:23.1,2507.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2512[9:MRR:2511.0,45.0] || greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2513[9:Res:2512.1,25.1] || greater_or_equal(zero,zero) in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  2514[9:MRR:2513.1,45.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  2516[9:Res:5.1,2514.0] || equal(zero,zero)* -> .
% 0.91/1.15  2517[9:Obv:2516.0] ||  -> .
% 0.91/1.15  2519[9:Spt:2517.0,506.1,2437.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  2520[9:Spt:2517.0,506.0,506.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2521[9:MRR:1142.1,2519.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  2550[9:Res:2521.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2638[9:NCh:1.2,1.0,2550.1,1990.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2640[9:MRR:2638.1,2418.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2643[9:Res:4.1,2640.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  2646[9:Res:23.1,2643.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2647[9:SSi:2646.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2648[9:MRR:2647.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  2649[9:Res:2648.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  2650[9:MRR:2649.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  2660[9:Res:134.2,2650.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  2667[9:NCh:1.2,1.0,2650.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  2689[9:MRR:2660.1,2660.3,45.0,2519.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  2690[9:MRR:2689.1,2667.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  2695[9:NCh:1.2,1.0,2690.0,1990.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  2697[9:MRR:2695.0,2418.0] ||  -> .
% 0.91/1.15  2698[5:Spt:2697.0,1559.0,1611.0] || greater(zero,growth_rate(efficient_producers,equilibrium(sk3)))*r -> .
% 0.91/1.15  2699[5:Spt:2697.0,1559.1] ||  -> greater(growth_rate(efficient_producers,equilibrium(sk3)),zero)*l.
% 0.91/1.15  2700[5:MRR:1561.1,2698.0] ||  -> greater(zero,growth_rate(first_movers,equilibrium(sk3)))*r.
% 0.91/1.15  2704[5:Res:2700.0,38.0] || greater_or_equal(growth_rate(u,equilibrium(sk3)),zero)* subpopulations(first_movers,u,sk3,equilibrium(sk3)) -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  2868[5:Res:4.1,2704.0] || greater(growth_rate(u,equilibrium(sk3)),zero) subpopulations(first_movers,u,sk3,equilibrium(sk3))* -> outcompetes(u,first_movers,equilibrium(sk3)).
% 0.91/1.15  2897[5:Res:347.0,2868.1] || greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) -> outcompetes(efficient_producers,first_movers,equilibrium(sk3))*.
% 0.91/1.15  2898[5:MRR:2897.0,2897.1,2699.0,348.0] ||  -> .
% 0.91/1.15  2899[3:Spt:2898.0,71.0,315.0] || equal(sk4(equilibrium(sk3)),equilibrium(sk3))** -> .
% 0.91/1.15  2900[3:Spt:2898.0,71.1] ||  -> greater(sk4(equilibrium(sk3)),equilibrium(sk3))*l.
% 0.91/1.15  2925[4:Spt:70.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  2926[4:Rew:2925.0,86.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l.
% 0.91/1.15  2940[4:SpR:2925.0,23.1] || in_environment(sk3,sk1(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  2944[4:SpR:2925.0,1004.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  2947[4:SpR:2925.0,191.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero).
% 0.91/1.15  2951[4:SpR:2925.0,139.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)*l equal(growth_rate(first_movers,sk4(sk1(sk3))),zero).
% 0.91/1.15  2952[4:SpR:2925.0,134.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.91/1.15  2964[4:SpL:2925.0,25.1] || in_environment(sk3,sk1(sk3)) outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  2994[4:MRR:2940.0,45.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  2995[4:MRR:2964.0,45.0] || outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  3002[4:Rew:2925.0,2944.1,2925.0,2944.0] || greater(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3003[4:Obv:3002.1] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3004[4:MRR:3003.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3037[4:Rew:2925.0,2952.4,2925.0,2952.3,2925.0,2952.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.91/1.15  3038[4:MRR:3037.1,45.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.91/1.15  3039[4:Rew:2925.0,2951.4,2925.0,2951.3,2925.0,2951.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(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3040[4:MRR:3039.1,45.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(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3043[4:Rew:2925.0,2947.4,2925.0,2947.2,2925.0,2947.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3044[4:MRR:3043.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3063[5:Spt:138.0] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  3064[5:SpR:174.4,3063.0] || greater(sk4(equilibrium(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 greater(zero,zero).
% 0.91/1.15  3066[5:OCh:1.1,1.0,3063.0,218.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) greater(zero,zero).
% 0.91/1.15  3071[5:MRR:3066.0,3066.1,2900.0,62.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) greater(zero,zero).
% 0.91/1.15  3072[5:Rew:3071.1,3064.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) greater(zero,zero).
% 0.91/1.15  3073[5:Obv:3072.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero).
% 0.91/1.15  3074[5:MRR:3073.0,3073.1,2900.0,62.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero).
% 0.91/1.15  3097[6:Spt:306.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  3098[6:MRR:3004.0,3097.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3099[6:MRR:3038.0,3097.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.91/1.15  3140[6:Res:3098.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3157[6:Res:4.1,3140.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3158[6:Res:5.1,3140.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3170[6:Res:2994.0,3158.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  3171[6:MRR:3170.1,2995.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  3172[6:MRR:3099.2,3171.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3228[6:Res:2994.0,3157.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  3229[6:MRR:3228.1,2995.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  3230[6:MRR:3172.0,3229.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  3244[6:NCh:1.2,1.0,3229.0,2926.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  3246[6:MRR:3244.0,3230.0] ||  -> .
% 0.91/1.15  3247[6:Spt:3246.0,306.0,3097.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  3248[6:Spt:3246.0,306.1] ||  -> greater(equilibrium(sk3),sk1(sk3))*r.
% 0.91/1.15  3255[7:Spt:3074.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  3257[7:Res:3255.0,38.0] || greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  3302[7:Res:4.1,3257.0] || greater(growth_rate(u,sk4(equilibrium(sk3))),zero) subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3)))* -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  3321[7:Res:23.1,3302.1] || in_environment(sk3,equilibrium(sk3)) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  3322[7:MRR:3321.0,3321.1,62.0,3063.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  3323[7:Res:3322.0,25.1] || in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  3324[7:MRR:3323.0,62.0] ||  -> .
% 0.91/1.15  3325[7:Spt:3324.0,3074.0,3255.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> .
% 0.91/1.15  3326[7:Spt:3324.0,3074.1] ||  -> greater(zero,zero)*.
% 0.91/1.15  3336[7:Res:1098.3,3325.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  3352[7:MRR:3336.0,3336.2,2900.0,62.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  3354[7:NCh:1.2,1.0,3352.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  3356[7:MRR:3354.0,3248.0] ||  -> .
% 0.91/1.15  3357[5:Spt:3356.0,138.0,3063.0] || greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l -> .
% 0.91/1.15  3358[5:Spt:3356.0,138.1,138.2] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  3362[6:Spt:3358.0] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  3371[5:Res:191.3,3357.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  3379[5:NCh:1.2,1.0,3357.0,82.2] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  3380[5:NCh:1.2,1.0,3357.0,82.2] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  3401[5:MRR:3380.2,62.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** greater(sk4(equilibrium(sk3)),sk1(sk3)) -> .
% 0.91/1.15  3402[6:MRR:3379.0,3379.2,3362.0,62.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  3407[5:MRR:3371.0,3371.1,2900.0,62.0] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  3445[6:NCh:1.2,1.0,3402.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  3447[6:MRR:306.1,3445.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  3448[6:MRR:3004.0,3447.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3452[6:MRR:3038.0,3447.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.91/1.15  3492[6:Res:3448.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3503[6:Res:4.1,3492.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3504[6:Res:5.1,3492.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3505[6:Res:2994.0,3504.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  3506[6:MRR:3505.1,2995.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  3508[6:MRR:3452.2,3506.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3520[6:Res:2994.0,3503.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  3521[6:MRR:3520.1,2995.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  3523[6:MRR:3508.0,3521.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  3534[6:NCh:1.2,1.0,3521.0,2926.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  3536[6:MRR:3534.0,3523.0] ||  -> .
% 0.91/1.15  3537[6:Spt:3536.0,3358.0,3362.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> .
% 0.91/1.15  3538[6:Spt:3536.0,3358.1] ||  -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  3539[6:Rew:3538.0,3357.0] || greater(zero,zero)* -> .
% 0.91/1.15  3540[6:Rew:3538.0,3407.0] ||  -> greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  3541[6:MRR:3540.0,3539.0] ||  -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  3545[6:Rew:3541.0,3401.0] || equal(zero,zero) greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  3546[6:Obv:3545.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  3591[6:NCh:1.2,1.0,3546.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  3593[6:MRR:306.1,3591.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  3594[6:MRR:3004.0,3593.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  3595[6:MRR:3044.0,3593.0] ||  -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3597[6:MRR:3040.0,3593.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3600[6:Res:3594.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3607[7:Spt:3595.2] ||  -> equal(growth_rate(first_movers,sk1(sk3)),zero)**.
% 0.91/1.15  3609[7:Rew:3607.0,3594.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  3611[7:MRR:3609.0,3539.0] ||  -> .
% 0.91/1.15  3612[7:Spt:3611.0,3595.2,3607.0] || equal(growth_rate(first_movers,sk1(sk3)),zero)** -> .
% 0.91/1.15  3613[7:Spt:3611.0,3595.0,3595.1] ||  -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  3614[7:MRR:3597.2,3612.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  3623[6:Res:4.1,3600.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  3641[6:Res:2994.0,3623.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  3642[6:MRR:3641.1,2995.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  3644[7:MRR:3614.0,3642.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  3654[7:OCh:1.1,1.0,3644.0,3594.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  3655[7:MRR:3654.0,3539.0] ||  -> .
% 0.91/1.15  3656[4:Spt:3655.0,70.0,2925.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> .
% 0.91/1.15  3657[4:Spt:3655.0,70.1] ||  -> greater(sk4(sk1(sk3)),sk1(sk3))*l.
% 0.91/1.15  3664[5:Spt:138.0] ||  -> greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  3665[5:SpR:174.4,3664.0] || greater(sk4(equilibrium(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 greater(zero,zero).
% 0.91/1.15  3667[5:OCh:1.1,1.0,3664.0,218.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) greater(zero,zero).
% 0.91/1.15  3672[5:MRR:3667.0,3667.1,2900.0,62.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) greater(zero,zero).
% 0.91/1.15  3673[5:Rew:3672.1,3665.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero) greater(zero,zero).
% 0.91/1.15  3674[5:Obv:3673.3] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero).
% 0.91/1.15  3675[5:MRR:3674.0,3674.1,2900.0,62.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r greater(zero,zero).
% 0.91/1.15  3690[6:Spt:306.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  3693[7:Spt:3675.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  3695[7:Res:3693.0,38.0] || greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  3706[7:Res:4.1,3695.0] || greater(growth_rate(u,sk4(equilibrium(sk3))),zero) subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3)))* -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  3799[7:Res:23.1,3706.1] || in_environment(sk3,equilibrium(sk3)) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  3800[7:MRR:3799.0,3799.1,62.0,3664.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  3805[0:Res:5.1,1355.3] || equal(growth_rate(u,sk4(v)),zero) greater(sk4(v),equilibrium(sk3)) equal(sk4(v),sk1(sk3)) in_environment(sk3,v) subpopulations(first_movers,u,sk3,sk4(v))* -> outcompetes(u,first_movers,sk4(v)).
% 0.91/1.15  3808[7:Res:3800.0,25.1] || in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  3809[7:MRR:3808.0,62.0] ||  -> .
% 0.91/1.15  3810[7:Spt:3809.0,3675.0,3693.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> .
% 0.91/1.15  3811[7:Spt:3809.0,3675.1] ||  -> greater(zero,zero)*.
% 0.91/1.15  3812[7:MRR:186.0,3810.0] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  3852[8:Spt:3812.1] ||  -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  3853[8:Rew:3852.0,3810.0] || greater(zero,zero)* -> .
% 0.91/1.15  3854[8:MRR:3853.0,3811.0] ||  -> .
% 0.91/1.15  3855[8:Spt:3854.0,3812.1,3852.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** -> .
% 0.91/1.15  3856[8:Spt:3854.0,3812.0] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  3908[9:Spt:1138.1] ||  -> equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  3909[9:Rew:3908.0,86.0] ||  -> greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  3921[9:SpL:3908.0,38.0] || greater(zero,zero) greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  3932[9:MRR:3921.0,3811.0] || greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  3947[9:Res:4.1,3932.0] || greater(growth_rate(u,sk4(sk1(sk3))),zero) subpopulations(first_movers,u,sk3,sk4(sk1(sk3)))* -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  3975[9:Res:23.1,3947.1] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  3976[9:MRR:3975.0,3975.1,45.0,3909.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  3977[9:Res:3976.0,25.1] || in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  3978[9:MRR:3977.0,45.0] ||  -> .
% 0.91/1.15  3979[9:Spt:3978.0,1138.1,3908.0] || equal(growth_rate(first_movers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  3980[9:Spt:3978.0,1138.0,1138.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  3981[9:MRR:1141.1,3979.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  4006[9:Res:3981.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4101[9:NCh:1.2,1.0,4006.1,3657.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4103[9:MRR:4101.1,3690.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4106[9:Res:4.1,4103.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4107[9:Res:5.1,4103.1] environment(u) || equal(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4108[9:Res:23.1,4107.2] environment(sk3) || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4109[9:SSi:4108.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4110[9:MRR:4109.0,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4111[9:Res:4110.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  4112[9:MRR:4111.1,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  4118[9:Res:23.1,4106.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4119[9:SSi:4118.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4120[9:MRR:4119.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4121[9:Res:4120.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  4122[9:MRR:4121.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4130[9:Res:134.2,4122.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  4137[9:NCh:1.2,1.0,4122.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4159[9:MRR:4130.1,4130.3,45.0,4112.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  4160[9:MRR:4159.1,4137.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  4171[9:NCh:1.2,1.0,4160.0,3657.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  4173[9:MRR:4171.0,3690.0] ||  -> .
% 0.91/1.15  4174[6:Spt:4173.0,306.0,3690.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  4175[6:Spt:4173.0,306.1] ||  -> greater(equilibrium(sk3),sk1(sk3))*r.
% 0.91/1.15  4179[7:Spt:3675.0] ||  -> greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  4181[7:Res:4179.0,38.0] || greater_or_equal(growth_rate(u,sk4(equilibrium(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3))) -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  4192[7:Res:4.1,4181.0] || greater(growth_rate(u,sk4(equilibrium(sk3))),zero) subpopulations(first_movers,u,sk3,sk4(equilibrium(sk3)))* -> outcompetes(u,first_movers,sk4(equilibrium(sk3))).
% 0.91/1.15  4254[7:Res:23.1,4192.1] || in_environment(sk3,equilibrium(sk3)) greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  4255[7:MRR:4254.0,4254.1,62.0,3664.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(equilibrium(sk3)))*.
% 0.91/1.15  4256[7:Res:4255.0,25.1] || in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  4257[7:MRR:4256.0,62.0] ||  -> .
% 0.91/1.15  4258[7:Spt:4257.0,3675.0,4179.0] || greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3))))*r -> .
% 0.91/1.15  4259[7:Spt:4257.0,3675.1] ||  -> greater(zero,zero)*.
% 0.91/1.15  4266[7:Res:1098.3,4258.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3))* -> .
% 0.91/1.15  4282[7:MRR:4266.0,4266.2,2900.0,62.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  4298[7:NCh:1.2,1.0,4282.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  4300[7:MRR:4298.0,4175.0] ||  -> .
% 0.91/1.15  4301[5:Spt:4300.0,138.0,3664.0] || greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)*l -> .
% 0.91/1.15  4302[5:Spt:4300.0,138.1,138.2] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4304[5:MRR:188.1,4301.0] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  4306[6:Spt:4302.0] ||  -> greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l.
% 0.91/1.15  4315[5:Res:191.3,4301.0] || greater(sk4(equilibrium(sk3)),equilibrium(sk3)) in_environment(sk3,equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  4323[5:NCh:1.2,1.0,4301.0,82.2] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  4324[5:NCh:1.2,1.0,4301.0,82.2] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** greater(sk4(equilibrium(sk3)),sk1(sk3)) in_environment(sk3,equilibrium(sk3)) -> .
% 0.91/1.15  4345[5:MRR:4324.2,62.0] || equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)** greater(sk4(equilibrium(sk3)),sk1(sk3)) -> .
% 0.91/1.15  4346[6:MRR:4323.0,4323.2,4306.0,62.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  4351[5:MRR:4315.0,4315.1,2900.0,62.0] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero).
% 0.91/1.15  4356[7:Spt:4304.1] ||  -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4357[7:Rew:4356.0,4301.0] || greater(zero,zero)* -> .
% 0.91/1.15  4358[7:Rew:4356.0,4351.0] ||  -> greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4361[7:MRR:4358.0,4357.0] ||  -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4362[7:Rew:4361.0,4306.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  4363[7:MRR:4362.0,4357.0] ||  -> .
% 0.91/1.15  4364[7:Spt:4363.0,4304.1,4356.0] || equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)** -> .
% 0.91/1.15  4365[7:Spt:4363.0,4304.0] ||  -> greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3))))*r.
% 0.91/1.15  4391[6:NCh:1.2,1.0,4346.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  4393[6:MRR:306.1,4391.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  4446[8:Spt:506.1] ||  -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  4447[8:Rew:4446.0,86.0] ||  -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  4489[8:Res:4447.0,38.0] || greater_or_equal(growth_rate(u,sk4(sk1(sk3))),zero)* subpopulations(first_movers,u,sk3,sk4(sk1(sk3))) -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4524[8:SpL:4446.0,4489.0] || greater_or_equal(zero,zero) subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3)))* -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4534[8:Res:23.1,4524.1] || in_environment(sk3,sk1(sk3)) greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4535[8:MRR:4534.0,45.0] || greater_or_equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4536[8:Res:4535.1,25.1] || greater_or_equal(zero,zero) in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  4537[8:MRR:4536.1,45.0] || greater_or_equal(zero,zero)* -> .
% 0.91/1.15  4539[8:Res:5.1,4537.0] || equal(zero,zero)* -> .
% 0.91/1.15  4540[8:Obv:4539.0] ||  -> .
% 0.91/1.15  4542[8:Spt:4540.0,506.1,4446.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  4543[8:Spt:4540.0,506.0,506.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  4544[8:MRR:1142.1,4542.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  4573[8:Res:4544.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4610[8:NCh:1.2,1.0,4573.1,3657.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4612[8:MRR:4610.1,4393.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4666[8:Res:4.1,4612.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4670[8:Res:23.1,4666.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4671[8:SSi:4670.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4672[8:MRR:4671.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4673[8:Res:4672.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  4674[8:MRR:4673.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4682[8:Res:134.2,4674.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  4689[8:NCh:1.2,1.0,4674.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4711[8:MRR:4682.1,4682.3,45.0,4542.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  4712[8:MRR:4711.1,4689.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  4723[8:NCh:1.2,1.0,4712.0,3657.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  4725[8:MRR:4723.0,4393.0] ||  -> .
% 0.91/1.15  4726[6:Spt:4725.0,4302.0,4306.0] || greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)*l -> .
% 0.91/1.15  4727[6:Spt:4725.0,4302.1] ||  -> equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4728[6:Rew:4727.0,4301.0] || greater(zero,zero)* -> .
% 0.91/1.15  4729[6:Rew:4727.0,4351.0] ||  -> greater(zero,zero) equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4730[6:MRR:4729.0,4728.0] ||  -> equal(growth_rate(first_movers,sk4(equilibrium(sk3))),zero)**.
% 0.91/1.15  4734[6:Rew:4730.0,4345.0] || equal(zero,zero) greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  4735[6:Obv:4734.0] || greater(sk4(equilibrium(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  4739[6:MRR:1144.1,4728.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  4790[6:NCh:1.2,1.0,4735.0,2900.0] || greater(equilibrium(sk3),sk1(sk3))*r -> .
% 0.91/1.15  4792[6:MRR:306.1,4790.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  4808[6:Res:4739.1,6.1] environment(u) || greater(sk4(sk1(sk3)),equilibrium(sk3))+ greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4895[6:NCh:1.2,1.0,4808.1,3657.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4897[6:MRR:4895.1,4792.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4900[6:Res:4.1,4897.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4901[6:Res:5.1,4897.1] environment(u) || equal(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  4902[6:Res:23.1,4901.2] environment(sk3) || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4903[6:SSi:4902.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4904[6:MRR:4903.0,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4905[6:Res:4904.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  4906[6:MRR:4905.1,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  4917[6:Res:23.1,4900.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4918[6:SSi:4917.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4919[6:MRR:4918.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  4920[6:Res:4919.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  4921[6:MRR:4920.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4930[6:Res:134.2,4921.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  4937[6:NCh:1.2,1.0,4921.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  4959[6:MRR:4930.1,4930.3,45.0,4906.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  4960[6:MRR:4959.1,4937.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  4965[6:NCh:1.2,1.0,4960.0,3657.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  4967[6:MRR:4965.0,4792.0] ||  -> .
% 0.91/1.15  4968[1:Spt:4967.0,57.0,61.0] || equal(sk2(sk3),equilibrium(sk3))** -> .
% 0.91/1.15  4969[1:Spt:4967.0,57.1] ||  -> greater(sk2(sk3),equilibrium(sk3))*l.
% 0.91/1.15  4970[0:SSi:72.1,72.0,22.0,21.0,22.0,21.0] ||  -> equal(sk4(sk2(sk3)),sk2(sk3)) greater(sk4(sk2(sk3)),sk2(sk3))*l.
% 0.91/1.15  4976[0:Res:46.0,76.0] ||  -> greater(sk2(sk3),sk1(sk3))*l equal(sk2(sk3),sk1(sk3)) greater(sk1(sk3),sk2(sk3)).
% 0.91/1.15  4982[2:Spt:70.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  4983[2:Rew:4982.0,86.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3)))*l.
% 0.91/1.15  4997[2:SpR:4982.0,23.1] || in_environment(sk3,sk1(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  5001[2:SpR:4982.0,1004.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5004[2:SpR:4982.0,191.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(first_movers,sk4(sk1(sk3))),zero).
% 0.91/1.15  5005[2:SpR:4982.0,165.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero).
% 0.91/1.15  5007[2:SpR:4982.0,166.3] || equal(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3))))*r greater(growth_rate(efficient_producers,sk1(sk3)),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero).
% 0.91/1.15  5009[2:SpR:4982.0,134.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.91/1.15  5011[2:SpR:4982.0,135.2] || equal(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.91/1.15  5021[2:SpL:4982.0,25.1] || in_environment(sk3,sk1(sk3)) outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  5029[2:SpL:4982.0,111.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.91/1.15  5030[2:SpL:4982.0,896.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** equal(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  5032[2:SpL:4982.0,1355.3] || greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) greater_or_equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk4(sk1(sk3)))* -> outcompetes(u,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  5060[2:MRR:4997.0,45.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk1(sk3))*.
% 0.91/1.15  5061[2:MRR:5021.0,45.0] || outcompetes(efficient_producers,first_movers,sk1(sk3))* -> .
% 0.91/1.15  5062[2:Rew:4982.0,5030.2,4982.0,5030.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** equal(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  5063[2:Obv:5062.2] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** equal(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  5064[2:MRR:5063.2,45.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** equal(sk1(sk3),equilibrium(sk3)) -> .
% 0.91/1.15  5070[2:Rew:4982.0,5001.1,4982.0,5001.0] || greater(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5071[2:Obv:5070.1] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5072[2:MRR:5071.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5080[2:Rew:4982.0,5029.4,4982.0,5029.3,4982.0,5029.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.91/1.15  5081[2:MRR:5080.0,45.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.91/1.15  5099[2:Rew:4982.0,5011.4,4982.0,5011.3,4982.0,5011.0] || equal(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.91/1.15  5100[2:MRR:5099.1,45.0] || equal(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.91/1.15  5101[2:MRR:5100.3,5064.0] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5103[2:Rew:4982.0,5007.4,4982.0,5007.2,4982.0,5007.0] || equal(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5104[2:MRR:5103.1,45.0] || equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5105[2:MRR:5104.3,5064.0] || equal(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  5112[2:Rew:4982.0,5032.5,4982.0,5032.4,4982.0,5032.1,4982.0,5032.0] || greater(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5113[2:Obv:5112.1] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5114[2:MRR:5113.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5118[2:Rew:4982.0,5009.4,4982.0,5009.3,4982.0,5009.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.91/1.15  5119[2:MRR:5118.1,45.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.91/1.15  5122[2:Rew:4982.0,5005.4,4982.0,5005.2,4982.0,5005.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5123[2:MRR:5122.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5124[2:Rew:4982.0,5004.4,4982.0,5004.2,4982.0,5004.0] || greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5125[2:MRR:5124.1,45.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(zero,growth_rate(efficient_producers,sk1(sk3))) greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5207[3:Spt:4976.1] ||  -> equal(sk2(sk3),sk1(sk3))**.
% 0.91/1.15  5208[3:Rew:5207.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  5211[3:Rew:5207.0,47.0] ||  -> greater_or_equal(sk1(sk3),equilibrium(sk3))*.
% 0.91/1.15  5219[3:MRR:5081.0,5211.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.91/1.15  5228[3:MRR:5114.0,5208.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5269[3:Res:4.1,5228.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5270[3:Res:5.1,5228.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5271[3:Res:5060.0,5270.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5272[3:MRR:5271.1,5061.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  5273[3:MRR:5219.2,5272.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5304[3:Res:5060.0,5269.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5305[3:MRR:5304.1,5061.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5306[3:MRR:5273.0,5305.0] ||  -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  5320[3:NCh:1.2,1.0,5305.0,4983.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5322[3:MRR:5320.0,5306.0] ||  -> .
% 0.91/1.15  5323[3:Spt:5322.0,4976.1,5207.0] || equal(sk2(sk3),sk1(sk3))** -> .
% 0.91/1.15  5324[3:Spt:5322.0,4976.0,4976.2] ||  -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)).
% 0.91/1.15  5331[4:Spt:4970.0] ||  -> equal(sk4(sk2(sk3)),sk2(sk3))**.
% 0.91/1.15  5333[4:SpR:5331.0,23.1] || in_environment(sk3,sk2(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk2(sk3))*.
% 0.91/1.15  5336[4:SpR:5331.0,1098.3] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r.
% 0.91/1.15  5354[4:SpR:5331.0,82.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.91/1.15  5357[4:SpL:5331.0,25.1] || in_environment(sk3,sk2(sk3)) outcompetes(efficient_producers,first_movers,sk2(sk3))* -> .
% 0.91/1.15  5365[4:SpL:5331.0,111.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.91/1.15  5396[4:MRR:5333.0,46.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk2(sk3))*.
% 0.91/1.15  5397[4:MRR:5357.0,46.0] || outcompetes(efficient_producers,first_movers,sk2(sk3))* -> .
% 0.91/1.15  5403[4:Rew:5331.0,5354.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.91/1.15  5404[4:MRR:5403.1,46.0] || greater(sk2(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l.
% 0.91/1.15  5409[4:Rew:5331.0,5336.1,5331.0,5336.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r.
% 0.91/1.15  5410[4:MRR:5409.0,5409.2,4969.0,46.0] || greater(sk2(sk3),sk1(sk3)) -> greater(zero,growth_rate(first_movers,sk2(sk3)))*r.
% 0.91/1.15  5411[4:Rew:5331.0,5365.4,5331.0,5365.3,5331.0,5365.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.91/1.15  5412[4:MRR:5411.0,5411.1,46.0,47.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.91/1.15  5533[4:Res:5410.1,38.0] || greater(sk2(sk3),sk1(sk3)) greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5564[5:Spt:5105.1] ||  -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r.
% 0.91/1.15  5567[5:OCh:1.1,1.0,5564.0,4983.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5575[5:Res:5567.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5584[5:Res:4.1,5575.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5585[5:Res:5.1,5575.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5586[6:Spt:5101.1] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  5588[5:Res:5060.0,5585.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5589[5:MRR:5588.1,5061.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  5656[5:Res:5060.0,5584.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5657[6:MRR:5656.0,5656.1,5586.0,5061.0] ||  -> .
% 0.91/1.15  5658[6:Spt:5657.0,5101.1,5586.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5659[6:Spt:5657.0,5101.0,5101.2] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  5664[5:MRR:5119.3,5589.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5665[6:MRR:5664.1,5658.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  5667[6:NCh:1.2,1.0,5658.0,4983.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5671[6:MRR:5665.1,5667.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  5676[7:Spt:5324.0] ||  -> greater(sk2(sk3),sk1(sk3))*l.
% 0.91/1.15  5678[7:MRR:5404.0,5676.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l.
% 0.91/1.15  5679[7:MRR:5533.0,5676.0] || greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5689[7:Res:4.1,5679.0] || greater(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5690[7:Res:5.1,5679.0] || equal(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5691[7:Res:5396.0,5690.1] || equal(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  5692[7:MRR:5691.1,5397.0] || equal(growth_rate(efficient_producers,sk2(sk3)),zero)** -> .
% 0.91/1.15  5693[7:MRR:5412.2,5692.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l greater(growth_rate(first_movers,sk2(sk3)),zero).
% 0.91/1.15  5699[7:Res:5396.0,5689.1] || greater(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  5700[7:MRR:5699.1,5397.0] || greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  5701[7:MRR:5693.0,5700.0] ||  -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l.
% 0.91/1.15  5715[7:NCh:1.2,1.0,5700.0,5678.0] || greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  5717[7:MRR:5715.0,5701.0] ||  -> .
% 0.91/1.15  5718[7:Spt:5717.0,5324.0,5676.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  5719[7:Spt:5717.0,5324.1] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  5720[7:OCh:1.1,1.0,5719.0,58.3] stable(sk3) environment(sk3) ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  5724[7:SSi:5720.1,5720.0,22.0,21.0,22.0,21.0] ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  5725[7:MRR:5724.0,5724.1,4968.0,5671.0] ||  -> .
% 0.91/1.15  5726[5:Spt:5725.0,5105.1,5564.0] || greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r -> .
% 0.91/1.15  5727[5:Spt:5725.0,5105.0,5105.2] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  5733[5:MRR:5125.1,5726.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5734[5:MRR:5123.1,5726.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5745[6:Spt:5324.0] ||  -> greater(sk2(sk3),sk1(sk3))*l.
% 0.91/1.15  5747[6:MRR:5404.0,5745.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l.
% 0.91/1.15  5748[6:MRR:5533.0,5745.0] || greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5758[6:Res:4.1,5748.0] || greater(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5759[6:Res:5.1,5748.0] || equal(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  5768[6:Res:5396.0,5759.1] || equal(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  5769[6:MRR:5768.1,5397.0] || equal(growth_rate(efficient_producers,sk2(sk3)),zero)** -> .
% 0.91/1.15  5770[6:MRR:5412.2,5769.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l greater(growth_rate(first_movers,sk2(sk3)),zero).
% 0.91/1.15  5791[6:Res:5396.0,5758.1] || greater(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  5792[6:MRR:5791.1,5397.0] || greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  5793[6:MRR:5770.0,5792.0] ||  -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l.
% 0.91/1.15  5810[6:NCh:1.2,1.0,5792.0,5747.0] || greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  5812[6:MRR:5810.0,5793.0] ||  -> .
% 0.91/1.15  5813[6:Spt:5812.0,5324.0,5745.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  5814[6:Spt:5812.0,5324.1] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  5816[6:OCh:1.1,1.0,5814.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  5818[6:MRR:5072.0,5816.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5819[6:MRR:5734.0,5816.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  5820[6:MRR:5733.0,5816.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5821[6:MRR:5114.0,5816.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5839[7:Spt:5819.1] ||  -> equal(growth_rate(efficient_producers,sk1(sk3)),zero)**.
% 0.91/1.15  5840[7:Rew:5839.0,5726.0] || greater(zero,zero)* -> .
% 0.91/1.15  5842[7:Rew:5839.0,5820.0] ||  -> greater(zero,zero) equal(growth_rate(first_movers,sk1(sk3)),zero)**.
% 0.91/1.15  5843[7:MRR:5842.0,5840.0] ||  -> equal(growth_rate(first_movers,sk1(sk3)),zero)**.
% 0.91/1.15  5844[7:Rew:5843.0,5818.0] ||  -> greater(zero,zero)*.
% 0.91/1.15  5845[7:MRR:5844.0,5840.0] ||  -> .
% 0.91/1.15  5846[7:Spt:5845.0,5819.1,5839.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  5847[7:Spt:5845.0,5819.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  5856[6:Res:4.1,5821.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5864[6:Res:5060.0,5856.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5865[7:MRR:5864.0,5864.1,5847.0,5061.0] ||  -> .
% 0.91/1.15  5866[4:Spt:5865.0,4970.0,5331.0] || equal(sk4(sk2(sk3)),sk2(sk3))** -> .
% 0.91/1.15  5867[4:Spt:5865.0,4970.1] ||  -> greater(sk4(sk2(sk3)),sk2(sk3))*l.
% 0.91/1.15  5910[5:Spt:5105.1] ||  -> greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r.
% 0.91/1.15  5913[5:OCh:1.1,1.0,5910.0,4983.0] ||  -> greater(zero,growth_rate(first_movers,sk1(sk3)))*r.
% 0.91/1.15  5921[5:Res:5913.0,38.0] || greater_or_equal(growth_rate(u,sk1(sk3)),zero)* subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5941[5:Res:4.1,5921.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5942[5:Res:5.1,5921.0] || equal(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  5943[5:Res:5060.0,5942.1] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5944[5:MRR:5943.1,5061.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** -> .
% 0.91/1.15  5946[5:MRR:5119.3,5944.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l greater(growth_rate(first_movers,sk1(sk3)),zero).
% 0.91/1.15  5947[6:Spt:5101.1] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  5975[5:Res:5060.0,5941.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  5976[6:MRR:5975.0,5975.1,5947.0,5061.0] ||  -> .
% 0.91/1.15  5977[6:Spt:5976.0,5101.1,5947.0] || greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5978[6:Spt:5976.0,5101.0,5101.2] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  5980[6:MRR:5946.1,5977.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk1(sk3)),zero)*l.
% 0.91/1.15  5982[6:NCh:1.2,1.0,5977.0,4983.0] || greater(growth_rate(first_movers,sk1(sk3)),zero)*l -> .
% 0.91/1.15  5986[6:MRR:5980.1,5982.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  6008[0:Res:4.1,1459.3] || greater(growth_rate(u,sk4(v)),zero) greater(sk4(v),equilibrium(sk3)) greater(sk4(v),sk1(sk3)) in_environment(sk3,v) subpopulations(first_movers,u,sk3,sk4(v))* -> outcompetes(u,first_movers,sk4(v)).
% 0.91/1.15  6009[0:Res:5.1,1459.3] || equal(growth_rate(u,sk4(v)),zero) greater(sk4(v),equilibrium(sk3)) greater(sk4(v),sk1(sk3)) in_environment(sk3,v) subpopulations(first_movers,u,sk3,sk4(v))* -> outcompetes(u,first_movers,sk4(v)).
% 0.91/1.15  6026[4:NCh:1.2,1.0,1458.1,5867.0] environment(u) || greater(sk2(sk3),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6028[4:MRR:6026.1,6026.3,4969.0,46.0] environment(u) || greater(sk4(sk2(sk3)),sk1(sk3))+ greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6077[4:NCh:1.2,1.0,6028.1,5867.0] environment(u) || greater(sk2(sk3),sk1(sk3))+ greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6083[4:Res:5324.0,6077.1] environment(u) || greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> greater(sk1(sk3),sk2(sk3)) outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6094[7:Spt:6083.0,6083.1,6083.2,6083.4] environment(u) || greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6097[7:Res:4.1,6094.1] environment(u) || greater(growth_rate(v,sk4(sk2(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6098[7:Res:5.1,6094.1] environment(u) || equal(growth_rate(v,sk4(sk2(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6106[7:Res:23.1,6098.2] environment(sk3) || in_environment(sk3,sk2(sk3)) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6107[7:SSi:6106.0,22.0,21.0] || in_environment(sk3,sk2(sk3)) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6108[7:MRR:6107.0,46.0] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6109[7:Res:6108.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)** in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6110[7:MRR:6109.1,46.0] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)** -> .
% 0.91/1.15  6117[7:Res:23.1,6097.2] environment(sk3) || in_environment(sk3,sk2(sk3)) greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6118[7:SSi:6117.0,22.0,21.0] || in_environment(sk3,sk2(sk3)) greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6119[7:MRR:6118.0,46.0] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6126[7:Res:6119.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6127[7:MRR:6126.1,46.0] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l -> .
% 0.91/1.15  6135[7:Res:134.2,6127.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)**.
% 0.91/1.15  6138[7:NCh:1.2,1.0,6127.0,82.2] || greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6159[7:MRR:6138.2,46.0] || greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l greater(sk4(sk2(sk3)),sk1(sk3)) -> .
% 0.91/1.15  6166[7:MRR:6135.1,6135.3,46.0,6110.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l.
% 0.91/1.15  6243[7:Res:6166.1,6159.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  6257[2:SpL:4982.0,3805.4] || equal(growth_rate(u,sk4(sk1(sk3))),zero) greater(sk4(sk1(sk3)),equilibrium(sk3)) equal(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) subpopulations(first_movers,u,sk3,sk1(sk3)) -> outcompetes(u,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  6261[2:Rew:4982.0,6257.5,4982.0,6257.2,4982.0,6257.1,4982.0,6257.0] || equal(growth_rate(u,sk1(sk3)),zero) greater(sk1(sk3),equilibrium(sk3)) equal(sk1(sk3),sk1(sk3)) in_environment(sk3,sk1(sk3)) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  6262[2:Obv:6261.2] || equal(growth_rate(u,sk1(sk3)),zero) greater(sk1(sk3),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  6265[7:NCh:1.2,1.0,6243.1,5867.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> .
% 0.91/1.15  6267[7:NCh:1.2,1.0,6265.0,5867.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  6269[7:MRR:6267.0,4969.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  6270[7:MRR:5324.0,6269.0] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  6271[7:OCh:1.1,1.0,6270.0,58.3] stable(sk3) environment(sk3) ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  6275[7:SSi:6271.1,6271.0,22.0,21.0,22.0,21.0] ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  6276[7:MRR:6275.0,6275.1,4968.0,5986.0] ||  -> .
% 0.91/1.15  6277[7:Spt:6276.0,6083.3] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  6278[7:OCh:1.1,1.0,6277.0,58.3] stable(sk3) environment(sk3) ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  6282[7:SSi:6278.1,6278.0,22.0,21.0,22.0,21.0] ||  -> equal(sk2(sk3),equilibrium(sk3))** greater(sk1(sk3),equilibrium(sk3)).
% 0.91/1.15  6283[7:MRR:6282.0,6282.1,4968.0,5986.0] ||  -> .
% 0.91/1.15  6284[5:Spt:6283.0,5105.1,5910.0] || greater(zero,growth_rate(efficient_producers,sk1(sk3)))*r -> .
% 0.91/1.15  6285[5:Spt:6283.0,5105.0,5105.2] || equal(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  6293[2:MRR:6262.2,45.0] || equal(growth_rate(u,sk1(sk3)),zero) greater(sk1(sk3),equilibrium(sk3)) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  6296[5:MRR:5123.1,6284.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l equal(growth_rate(efficient_producers,sk1(sk3)),zero).
% 0.91/1.15  6306[6:Spt:5324.0] ||  -> greater(sk2(sk3),sk1(sk3))*l.
% 0.91/1.15  6307[6:MRR:6077.1,6306.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk2(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6367[6:Res:4.1,6307.1] environment(u) || greater(growth_rate(v,sk4(sk2(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6368[6:Res:5.1,6307.1] environment(u) || equal(growth_rate(v,sk4(sk2(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk2(sk3)))* -> outcompetes(v,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6379[6:Res:23.1,6368.2] environment(sk3) || in_environment(sk3,sk2(sk3)) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6380[6:SSi:6379.0,22.0,21.0] || in_environment(sk3,sk2(sk3)) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6381[6:MRR:6380.0,46.0] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6382[6:Res:6381.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)** in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6383[6:MRR:6382.1,46.0] || equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)** -> .
% 0.91/1.15  6486[2:Res:5060.0,6293.2] || equal(growth_rate(efficient_producers,sk1(sk3)),zero) greater(sk1(sk3),equilibrium(sk3)) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  6488[2:Res:4.1,5114.1] || greater(growth_rate(u,sk1(sk3)),zero) greater(sk1(sk3),equilibrium(sk3)) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  6490[6:Res:23.1,6367.2] environment(sk3) || in_environment(sk3,sk2(sk3)) greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6491[6:SSi:6490.0,22.0,21.0] || in_environment(sk3,sk2(sk3)) greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6492[6:MRR:6491.0,46.0] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk2(sk3)))*.
% 0.91/1.15  6493[6:Res:6492.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6494[6:MRR:6493.1,46.0] || greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)*l -> .
% 0.91/1.15  6502[6:Res:134.2,6494.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) in_environment(sk3,sk2(sk3)) -> greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero)**.
% 0.91/1.15  6505[6:NCh:1.2,1.0,6494.0,82.2] || greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) -> .
% 0.91/1.15  6526[6:MRR:6505.2,46.0] || greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l greater(sk4(sk2(sk3)),sk1(sk3)) -> .
% 0.91/1.15  6533[6:MRR:6502.1,6502.3,46.0,6383.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk2(sk3))),zero)*l.
% 0.91/1.15  6629[2:MRR:6486.2,5061.0] || equal(growth_rate(efficient_producers,sk1(sk3)),zero)** greater(sk1(sk3),equilibrium(sk3)) -> .
% 0.91/1.15  6630[5:MRR:6296.2,6629.0] || greater(sk1(sk3),equilibrium(sk3)) -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  6718[6:Res:6533.1,6526.0] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> .
% 0.91/1.15  6735[6:NCh:1.2,1.0,6718.1,5867.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> .
% 0.91/1.15  6737[6:MRR:6735.1,6306.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  6738[6:NCh:1.2,1.0,6737.0,5867.0] || greater(sk2(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  6740[6:MRR:6738.0,4969.0] ||  -> .
% 0.91/1.15  6741[6:Spt:6740.0,5324.0,6306.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  6742[6:Spt:6740.0,5324.1] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  6744[6:OCh:1.1,1.0,6742.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  6747[6:MRR:6630.0,6744.0] ||  -> greater(growth_rate(efficient_producers,sk1(sk3)),zero)*l.
% 0.91/1.15  6752[6:MRR:6488.1,6744.0] || greater(growth_rate(u,sk1(sk3)),zero) subpopulations(first_movers,u,sk3,sk1(sk3))* -> outcompetes(u,first_movers,sk1(sk3)).
% 0.91/1.15  6802[6:Res:5060.0,6752.1] || greater(growth_rate(efficient_producers,sk1(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk1(sk3))*.
% 0.91/1.15  6803[6:MRR:6802.0,6802.1,6747.0,5061.0] ||  -> .
% 0.91/1.15  6804[2:Spt:6803.0,70.0,4982.0] || equal(sk4(sk1(sk3)),sk1(sk3))** -> .
% 0.91/1.15  6805[2:Spt:6803.0,70.1] ||  -> greater(sk4(sk1(sk3)),sk1(sk3))*l.
% 0.91/1.15  6807[2:NCh:1.2,1.0,6805.0,1458.1] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater(sk4(sk1(sk3)),sk1(sk3)) in_environment(sk3,sk1(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  6820[2:MRR:6807.2,6807.3,6805.0,45.0] environment(u) || greater(sk1(sk3),equilibrium(sk3)) greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)* subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  6825[3:Spt:4970.0] ||  -> equal(sk4(sk2(sk3)),sk2(sk3))**.
% 0.91/1.15  6828[3:SpR:6825.0,23.1] || in_environment(sk3,sk2(sk3)) -> subpopulations(first_movers,efficient_producers,sk3,sk2(sk3))*.
% 0.91/1.15  6848[3:SpR:6825.0,82.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.91/1.15  6851[3:SpL:6825.0,25.1] || in_environment(sk3,sk2(sk3)) outcompetes(efficient_producers,first_movers,sk2(sk3))* -> .
% 0.91/1.15  6859[3:SpL:6825.0,111.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.91/1.15  6863[3:SpL:6825.0,1459.3] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater_or_equal(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk4(sk2(sk3)))* -> outcompetes(u,first_movers,sk4(sk2(sk3))).
% 0.91/1.15  6894[3:MRR:6828.0,46.0] ||  -> subpopulations(first_movers,efficient_producers,sk3,sk2(sk3))*.
% 0.91/1.15  6895[3:MRR:6851.0,46.0] || outcompetes(efficient_producers,first_movers,sk2(sk3))* -> .
% 0.91/1.15  6903[3:Rew:6825.0,6848.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.91/1.15  6904[3:MRR:6903.1,46.0] || greater(sk2(sk3),sk1(sk3)) -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l.
% 0.91/1.15  6910[3:Rew:6825.0,6859.4,6825.0,6859.3,6825.0,6859.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.91/1.15  6911[3:MRR:6910.0,6910.1,46.0,47.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.91/1.15  6954[3:Rew:6825.0,6863.5,6825.0,6863.4,6825.0,6863.1,6825.0,6863.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3)) in_environment(sk3,sk2(sk3)) greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  6955[3:MRR:6954.0,6954.2,4969.0,46.0] || greater(sk2(sk3),sk1(sk3)) greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  7044[4:Spt:4976.1] ||  -> equal(sk2(sk3),sk1(sk3))**.
% 0.91/1.15  7050[4:Rew:7044.0,6825.0] ||  -> equal(sk4(sk1(sk3)),sk1(sk3))**.
% 0.91/1.15  7082[4:MRR:7050.0,6804.0] ||  -> .
% 0.91/1.15  7111[4:Spt:7082.0,4976.1,7044.0] || equal(sk2(sk3),sk1(sk3))** -> .
% 0.91/1.15  7112[4:Spt:7082.0,4976.0,4976.2] ||  -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)).
% 0.91/1.15  7113[5:Spt:7112.0] ||  -> greater(sk2(sk3),sk1(sk3))*l.
% 0.91/1.15  7115[5:MRR:6904.0,7113.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3)))*l.
% 0.91/1.15  7116[5:MRR:6955.0,7113.0] || greater_or_equal(growth_rate(u,sk2(sk3)),zero)* subpopulations(first_movers,u,sk3,sk2(sk3)) -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  7284[5:Res:4.1,7116.0] || greater(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  7285[5:Res:5.1,7116.0] || equal(growth_rate(u,sk2(sk3)),zero) subpopulations(first_movers,u,sk3,sk2(sk3))* -> outcompetes(u,first_movers,sk2(sk3)).
% 0.91/1.15  7286[5:Res:6894.0,7285.1] || equal(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  7287[5:MRR:7286.1,6895.0] || equal(growth_rate(efficient_producers,sk2(sk3)),zero)** -> .
% 0.91/1.15  7288[5:MRR:6911.2,7287.0] ||  -> greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l greater(growth_rate(first_movers,sk2(sk3)),zero).
% 0.91/1.15  7420[5:Res:6894.0,7284.1] || greater(growth_rate(efficient_producers,sk2(sk3)),zero) -> outcompetes(efficient_producers,first_movers,sk2(sk3))*.
% 0.91/1.15  7421[5:MRR:7420.1,6895.0] || greater(growth_rate(efficient_producers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  7422[5:MRR:7288.0,7421.0] ||  -> greater(growth_rate(first_movers,sk2(sk3)),zero)*l.
% 0.91/1.15  7434[5:NCh:1.2,1.0,7421.0,7115.0] || greater(growth_rate(first_movers,sk2(sk3)),zero)*l -> .
% 0.91/1.15  7436[5:MRR:7434.0,7422.0] ||  -> .
% 0.91/1.15  7437[5:Spt:7436.0,7112.0,7113.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 0.91/1.15  7438[5:Spt:7436.0,7112.1] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 0.91/1.15  7447[5:OCh:1.1,1.0,7438.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  7449[5:MRR:6820.1,7447.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7464[5:Res:4.1,7449.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7465[5:Res:5.1,7449.1] environment(u) || equal(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7489[5:Res:23.1,7465.2] environment(sk3) || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7490[5:SSi:7489.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7491[5:MRR:7490.0,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7492[6:Spt:506.1] ||  -> equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  7494[6:Rew:7492.0,7491.0] || equal(zero,zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7495[6:Obv:7494.0] ||  -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7534[6:Res:7495.0,25.1] || in_environment(sk3,sk1(sk3))* -> .
% 0.91/1.15  7535[6:MRR:7534.0,45.0] ||  -> .
% 0.91/1.15  7536[6:Spt:7535.0,506.1,7492.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  7537[6:Spt:7535.0,506.0,506.2] || equal(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(zero,growth_rate(first_movers,sk4(sk1(sk3))))*r.
% 0.91/1.15  7651[5:Res:23.1,7464.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7652[5:SSi:7651.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7653[5:MRR:7652.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7655[5:Res:7653.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  7656[5:MRR:7655.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  7664[5:Res:134.2,7656.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  7671[5:NCh:1.2,1.0,7656.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  7695[6:MRR:7664.1,7664.3,45.0,7536.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  7696[6:MRR:7695.1,7671.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  7701[6:NCh:1.2,1.0,7696.0,6805.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  7703[6:MRR:7701.0,7447.0] ||  -> .
% 0.91/1.15  7704[3:Spt:7703.0,4970.0,6825.0] || equal(sk4(sk2(sk3)),sk2(sk3))** -> .
% 0.91/1.15  7705[3:Spt:7703.0,4970.1] ||  -> greater(sk4(sk2(sk3)),sk2(sk3))*l.
% 0.91/1.15  7724[4:Spt:4976.1] ||  -> equal(sk2(sk3),sk1(sk3))**.
% 0.91/1.15  7728[4:Rew:7724.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 0.91/1.15  7739[4:MRR:6820.1,7728.0] environment(u) || greater_or_equal(growth_rate(v,sk4(sk1(sk3))),zero)*+ subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7758[4:Res:4.1,7739.1] environment(u) || greater(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7759[4:Res:5.1,7739.1] environment(u) || equal(growth_rate(v,sk4(sk1(sk3))),zero) subpopulations(first_movers,v,u,sk4(sk1(sk3)))* -> outcompetes(v,first_movers,sk4(sk1(sk3))).
% 0.91/1.15  7762[4:Res:23.1,7759.2] environment(sk3) || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7763[4:SSi:7762.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7764[4:MRR:7763.0,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7776[4:Res:7764.1,25.1] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  7777[4:MRR:7776.1,45.0] || equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)** -> .
% 0.91/1.15  7846[4:Res:23.1,7758.2] environment(sk3) || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7847[4:SSi:7846.0,22.0,21.0] || in_environment(sk3,sk1(sk3)) greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7848[4:MRR:7847.0,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) -> outcompetes(efficient_producers,first_movers,sk4(sk1(sk3)))*.
% 0.91/1.15  7849[4:Res:7848.1,25.1] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l in_environment(sk3,sk1(sk3)) -> .
% 0.91/1.15  7850[4:MRR:7849.1,45.0] || greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  7858[4:Res:134.2,7850.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) in_environment(sk3,sk1(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero)**.
% 0.91/1.15  7865[4:NCh:1.2,1.0,7850.0,86.0] || greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l -> .
% 0.91/1.15  7889[4:MRR:7858.1,7858.3,45.0,7777.0] || greater(sk4(sk1(sk3)),equilibrium(sk3)) -> greater(growth_rate(first_movers,sk4(sk1(sk3))),zero)*l.
% 0.91/1.15  7890[4:MRR:7889.1,7865.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 0.91/1.15  7900[4:NCh:1.2,1.0,7890.0,6805.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 0.91/1.15  7902[4:MRR:7900.0,7728.0] ||  -> .
% 0.91/1.15  7903[4:Spt:7902.0,4976.1,7724.0] || equal(sk2(sk3),sk1(sk3))** -> .
% 0.91/1.15  7904[4:Spt:7902.0,4976.0,4976.2] ||  -> greater(sk2(sk3),sk1(sk3))*l greater(sk1(sk3),sk2(sk3)).
% 0.91/1.15  8177[0:Res:23.1,6009.4] || in_environment(sk3,u) equal(growth_rate(efficient_producers,sk4(u)),zero) greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  8178[0:Obv:8177.0] || equal(growth_rate(efficient_producers,sk4(u)),zero) greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  8179[0:MRR:8178.4,25.1] || equal(growth_rate(efficient_producers,sk4(u)),zero)** greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> .
% 0.91/1.15  8257[0:Res:23.1,6008.4] || in_environment(sk3,u) greater(growth_rate(efficient_producers,sk4(u)),zero) greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  8258[0:Obv:8257.0] || greater(growth_rate(efficient_producers,sk4(u)),zero) greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> outcompetes(efficient_producers,first_movers,sk4(u))*.
% 0.91/1.15  8259[0:MRR:8258.4,25.1] || greater(growth_rate(efficient_producers,sk4(u)),zero)*l greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> .
% 1.06/1.29  8307[0:Res:134.2,8259.0] || greater(sk4(u),equilibrium(sk3)) in_environment(sk3,u) greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**.
% 1.06/1.29  8312[0:NCh:1.2,1.0,8259.0,82.2] || greater(growth_rate(first_movers,sk4(u)),zero)*l greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> .
% 1.06/1.29  8341[0:Obv:8312.3] || greater(growth_rate(first_movers,sk4(u)),zero)*l greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> .
% 1.06/1.29  8350[0:Obv:8307.1] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero) equal(growth_rate(efficient_producers,sk4(u)),zero)**.
% 1.06/1.29  8351[0:MRR:8350.4,8179.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u) -> greater(growth_rate(first_movers,sk4(u)),zero)*l.
% 1.06/1.29  8352[0:MRR:8351.3,8341.0] || greater(sk4(u),equilibrium(sk3)) greater(sk4(u),sk1(sk3)) in_environment(sk3,u)* -> .
% 1.06/1.29  8439[0:Res:45.0,8352.2] || greater(sk4(sk1(sk3)),equilibrium(sk3)) greater(sk4(sk1(sk3)),sk1(sk3))*l -> .
% 1.06/1.29  8440[0:Res:46.0,8352.2] || greater(sk4(sk2(sk3)),equilibrium(sk3)) greater(sk4(sk2(sk3)),sk1(sk3))*l -> .
% 1.06/1.29  8468[3:NCh:1.2,1.0,8440.1,7705.0] || greater(sk4(sk2(sk3)),equilibrium(sk3))*l greater(sk2(sk3),sk1(sk3)) -> .
% 1.06/1.29  8470[3:NCh:1.2,1.0,8468.0,7705.0] || greater(sk2(sk3),equilibrium(sk3)) greater(sk2(sk3),sk1(sk3))*l -> .
% 1.06/1.29  8472[3:MRR:8470.0,4969.0] || greater(sk2(sk3),sk1(sk3))*l -> .
% 1.06/1.29  8473[4:MRR:7904.0,8472.0] ||  -> greater(sk1(sk3),sk2(sk3))*r.
% 1.06/1.29  8475[4:OCh:1.1,1.0,8473.0,4969.0] ||  -> greater(sk1(sk3),equilibrium(sk3))*l.
% 1.06/1.29  8483[2:MRR:8439.1,6805.0] || greater(sk4(sk1(sk3)),equilibrium(sk3))*l -> .
% 1.06/1.29  8512[2:NCh:1.2,1.0,8483.0,6805.0] || greater(sk1(sk3),equilibrium(sk3))*l -> .
% 1.06/1.29  8514[4:MRR:8512.0,8475.0] ||  -> .
% 1.06/1.29  % SZS output end Refutation
% 1.06/1.29  Formulae used in the proof : mp_greater_transitivity_22 mp_times_in_environment_23 mp_greater_or_equal_24 mp_greater_or_equal_25 mp_greater_or_equal_26 d2_27 l6_30 l6_31 l6_32 l6_33 l6_34 l6_35 l6_36 l6_37 l1_38 l1_39 a4_40 a4_41 prove_t4_42 prove_t4_43 prove_t4_44 prove_t4_45 prove_t4_46
% 1.06/1.29  
%------------------------------------------------------------------------------