%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [stable(sk4)] Gamma_1: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] Gamma_2: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) Gamma_3: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_4: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) Gamma_5: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_6: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_7: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_8: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) Gamma_9: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] Gamma_10: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_11: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 11: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_12: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 11: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_13: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 11: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_14: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 11: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_15: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 11: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_16: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 11: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_17: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 10: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 11: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_18: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), [~( greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 11: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_19: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_20: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_21: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_22: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_23: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_24: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 8: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4)))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_25: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_26: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_27: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: greater(sk2(sk4),appear(efficient_producers,sk4)), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( growth_rate(efficient_producers,sk1(sk3(sk4),sk4)),zero)], ~(greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_28: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_29: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_30: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) Gamma_31: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] Gamma_32: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], greater_or_equal(sk1(sk3(sk4),sk4), sk3(sk4)), ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_33: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], greater_or_equal(sk1(sk3(sk4),sk4), sk3(sk4)), ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_34: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], greater_or_equal(sk1(sk3(sk4),sk4), sk3(sk4)), ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) Gamma_35: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 10: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_36: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 10: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_37: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_38: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_39: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_40: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 8: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 9: ~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 10: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_41: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 8: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_42: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 8: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_43: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater( sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: [~(subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_44: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_45: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4))], ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_46: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_47: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 4: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 6: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_48: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], greater( sk2(sk4),appear(efficient_producers,sk4)), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: ~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))), [~( greater_or_equal(sk1(sk3(sk4),sk4),sk3(sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(sk2(sk4),appear(efficient_producers,sk4)))], greater_or_equal( sk1(sk3(sk4),sk4),sk3(sk4)), ~(in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~( environment(sk4)) 7: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_49: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_50: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_51: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) Gamma_52: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] Gamma_53: (extend-no-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 8: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_54: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 8: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_55: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 9: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [greater( zero,growth_rate(first_movers,sk5(sk2(sk4))))], ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_56: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 9: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4))), ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_57: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] 9: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_58: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [greater_or_equal( sk5(sk2(sk4)),sk2(sk4))] 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_59: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_60: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 8: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_61: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: [subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))) 8: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), ~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4)))), ~( greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater_or_equal(sk5(sk2(sk4)),sk2(sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 9: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_62: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_63: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_64: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [greater(sk2(sk4),appear(efficient_producers,sk4))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 7: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( subpopulations(first_movers,efficient_producers,sk4,sk5(sk2(sk4))))], ~( greater(sk2(sk4),appear(efficient_producers,sk4))), ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 8: ~(greater(sk2(sk4),appear(efficient_producers,sk4))), [~(greater(zero,growth_rate(first_movers,sk5(sk2(sk4)))))] Gamma_65: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_66: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_67: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_68: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 4: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 5: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_69: (move) 0: [stable(sk4)] 1: [environment(sk4)] 2: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 3: [in_environment(sk4,sk3(sk4))], ~(stable(sk4)), ~(environment(sk4)) 4: [~(subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) 5: subpopulations(first_movers,efficient_producers,sk4,sk1(sk3(sk4),sk4)), [~( greater(sk2(sk4),appear(efficient_producers,sk4)))], ~(in_environment(sk4,sk3(sk4))), ~( stable(sk4)), ~(environment(sk4)) 6: [~(greater(zero,growth_rate(first_movers,sk1(sk3(sk4),sk4))))], ~( in_environment(sk4,sk3(sk4))), ~(stable(sk4)), ~(environment(sk4)) Gamma_70: (resolve) 0: [stable(sk4)] 1: [environment(sk4)] 2: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 3: [~(stable(sk4))], ~(environment(sk4)) Gamma_71: (extend-conflict) 0: [stable(sk4)] 1: [environment(sk4)] 2: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) 3: ~(stable(sk4)), [~(environment(sk4))] Gamma_72: (move) 0: [stable(sk4)] 1: ~(stable(sk4)), [~(environment(sk4))] 2: [environment(sk4)] 3: [~(in_environment(sk4,sk3(sk4)))], ~(stable(sk4)), ~(environment(sk4)) Gamma_73: (resolve) 0: [stable(sk4)] 1: ~(stable(sk4)), [~(environment(sk4))] 2: [~(stable(sk4))] Gamma_74: (extend-conflict) 0: [stable(sk4)] 1: ~(stable(sk4)), [~(environment(sk4))] 2: [~(stable(sk4))] Gamma_75: (move) 0: [~(stable(sk4))] 1: [stable(sk4)] 2: ~(stable(sk4)), [~(environment(sk4))] Gamma_76: (resolve) 0: [~(stable(sk4))] 1: [] SZS status Unsatisfiable