smaller_or_equal(B,C) -> smaller(B,C), B=C.
smaller_or_equal(B,C) <- smaller(B,C).
smaller_or_equal(B,B).
greater_or_equal(B,C) -> greater(B,C), B=C.
greater_or_equal(B,C) <- greater(B,C).
greater_or_equal(B,B).
smaller(B,C)==greater(C,B).
greater(B,C), greater(C,B) -> [].
greater(B,C),greater(C,D) -> greater(B,D).
smaller(B,C),B=C,greater(B,C).
has_endowment(B)==all(C,(organization(B)and(smaller_or_equal(age(B,C),eta)=>has_immunity(B,C))and(greater(age(B,C),eta)=> ~has_immunity(B,C)))).
organization(B),~has_endowment(B) -> ~has_immunity(B,C).
dissimilar(B,C,D)==(organization(B)and~ (is_aligned(B,C)<=>is_aligned(B,D))).
organization(B),age(B,C)=zero -> is_aligned(B,C).
organization(B),age(B,C)=zero -> greater(age(B,D),sigma)==dissimilar(B,C,D).
robust_position(B)==all(C,((smaller_or_equal(age(B,C),tau)=> ~positional_advantage(B,C))and(greater(age(B,C),tau)=>positional_advantage(B,C)))).
organization(B) -> (has_immunity(B,C)=>hazard_of_mortality(B,C)=very_low)and(~has_immunity(B,C)=>(is_aligned(B,C)and positional_advantage(B,C)=>hazard_of_mortality(B,C)=low)and(~is_aligned(B,C)and positional_advantage(B,C)=>hazard_of_mortality(B,C)=mod1)and(is_aligned(B,C)and~positional_advantage(B,C)=>hazard_of_mortality(B,C)=mod2)and(~is_aligned(B,C)and~positional_advantage(B,C)=>hazard_of_mortality(B,C)=high)).
greater(high,mod1).
greater(mod1,low).
greater(low,very_low).
greater(high,mod2).
greater(mod2,low).
greater(mod2,mod1).
~ all(B,all(C,all(D,all(E,all(F,(organization(B)and robust_position(B)and~has_endowment(B)and age(B,C)=zero and greater(sigma,zero)and greater(tau,zero)and greater(sigma,tau)and smaller_or_equal(age(B,D),tau)and greater(age(B,E),tau)and smaller_or_equal(age(B,E),sigma)and greater(age(B,F),sigma)=>smaller(hazard_of_mortality(B,E),hazard_of_mortality(B,F))and smaller(hazard_of_mortality(B,F),hazard_of_mortality(B,D))and hazard_of_mortality(B,D)=hazard_of_mortality(B,C))))))).