%------------------------------------------------------------------------------
% File : Geo-III---2018C
% Problem : MGT042+1 : TPTP v9.3.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : geo -tptp_input -nonempty -inputfile %s
% Computer : n003.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8046.5625MB
% OS : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 8 06:10:27 AM UTC 2026
% Result : Theorem 108.06s 108.30s
% Output : Refutation 108.06s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : MGT042+1 : TPTP v9.3.0. Released v2.4.0.
% 0.00/0.04 % Command : geo -tptp_input -nonempty -inputfile %s
% 0.08/0.34 % Computer : n003.cluster.edu
% 0.08/0.34 % Model : x86_64 x86_64
% 0.08/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.34 % Memory : 8046.5625MB
% 0.08/0.34 % OS : Linux 6.8.0-71-generic
% 0.08/0.34 % CPULimit : 300
% 0.08/0.34 % WCLimit : 300
% 0.08/0.34 % DateTime : Mon Sep 7 13:05:09 UTC 2026
% 0.08/0.35 % CPUTime :
% 108.06/108.30 GeoParameters:
% 108.06/108.30
% 108.06/108.30 tptp_input = 1
% 108.06/108.30 tptp_output = 0
% 108.06/108.30 nonempty = 1
% 108.06/108.30 inputfile = /export/starexec/sandbox2/benchmark/theBenchmark.p
% 108.06/108.30 includepath = /export/starexec/sandbox2/solver/bin/../../benchmark/
% 108.06/108.30
% 108.06/108.30
% 108.06/108.30 % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 108.06/108.30 % SZS output start Refutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 108.06/108.30
% 108.06/108.30 RuleSystem INPUT:
% 108.06/108.30
% 108.06/108.30 Initial Rules:
% 108.06/108.30 #0: input, references = 5, size of lhs = 1:
% 108.06/108.30 smaller_or_equal-{F}(V0,V1) | pppp0-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1: input, references = 9, size of lhs = 1:
% 108.06/108.30 pppp0-{F}(V0,V1) | smaller_or_equal-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #2: input, references = 5, size of lhs = 2:
% 108.06/108.30 pppp0-{F}(V0,V1), V0 == V1 | smaller-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #3: input, references = 7, size of lhs = 1:
% 108.06/108.30 smaller-{F}(V0,V1) | pppp0-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #4: input, references = 5, size of lhs = 1:
% 108.06/108.30 #-{F} V1 | pppp0-{T}(V1,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #5: input, references = 5, size of lhs = 1:
% 108.06/108.30 greater_or_equal-{F}(V0,V1) | pppp1-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #6: input, references = 16, size of lhs = 1:
% 108.06/108.30 pppp1-{F}(V0,V1) | greater_or_equal-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #7: input, references = 5, size of lhs = 2:
% 108.06/108.30 pppp1-{F}(V0,V1), V0 == V1 | greater-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #8: input, references = 14, size of lhs = 1:
% 108.06/108.30 greater-{F}(V0,V1) | pppp1-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #9: input, references = 5, size of lhs = 1:
% 108.06/108.30 #-{F} V1 | pppp1-{T}(V1,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #10: input, references = 46, size of lhs = 1:
% 108.06/108.30 smaller-{F}(V0,V1) | greater-{T}(V1,V0)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #11: input, references = 4, size of lhs = 1:
% 108.06/108.30 greater-{F}(V1,V0) | smaller-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #12: input, references = 30, size of lhs = 2:
% 108.06/108.30 greater-{F}(V0,V1), greater-{F}(V1,V0) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #13: input, references = 17, size of lhs = 2:
% 108.06/108.30 greater-{F}(V0,V1), greater-{F}(V2,V0) | greater-{T}(V2,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #14: input, references = 15, size of lhs = 3:
% 108.06/108.30 #-{F} V0, #-{F} V1, V0 == V1 | smaller-{T}(V0,V1), greater-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #15: input, references = 4, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_hazard_of_mortality-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V6), P_position-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), greater-{F}(V2,V6), greater_or_equal-{F}(V3,V7) | has_immunity-{T}(V0,V1), has_immunity-{T}(V0,V5), smaller-{T}(V4,V8)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #16: input, references = 7, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_hazard_of_mortality-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V6), P_position-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), greater_or_equal-{F}(V2,V6), greater-{F}(V3,V7) | has_immunity-{T}(V0,V1), has_immunity-{T}(V0,V5), smaller-{T}(V4,V8)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #17: input, references = 3, size of lhs = 8:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V6), P_position-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V6), P_position-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), V4 == V8 | has_immunity-{T}(V0,V1), has_immunity-{T}(V0,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #18: input, references = 19, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V2,V4), P_internal_friction-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V2,V6), P_capability-{F}(V0,V1,V7), P_capability-{F}(V0,V2,V8), greater-{F}(V3,V4), smaller_or_equal-{F}(V5,V6) | greater-{T}(V7,V8)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #19: input, references = 13, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V2,V4), P_internal_friction-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V2,V6), P_capability-{F}(V0,V1,V7), P_capability-{F}(V0,V2,V8), smaller_or_equal-{F}(V3,V4), greater-{F}(V5,V6) | smaller-{T}(V7,V8)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #20: input, references = 5, size of lhs = 8:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V4), P_stock_of_knowledge-{F}(V0,V2,V4), P_internal_friction-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V2,V6), P_capability-{F}(V0,V1,V7), P_capability-{F}(V0,V2,V8), V7 == V8 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #21: input, references = 8, size of lhs = 6:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V3), P_external_ties-{F}(V0,V2,V4), P_position-{F}(V0,V1,V5), P_position-{F}(V0,V2,V6), greater-{F}(V3,V4) | greater-{T}(V5,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #22: input, references = 8, size of lhs = 6:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V4), P_external_ties-{F}(V0,V2,V4), P_position-{F}(V0,V1,V5), P_position-{F}(V0,V2,V6), V5 == V6 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #23: input, references = 4, size of lhs = 0:
% 108.06/108.30 FALSE | EXISTS V0: pppp6-{T}(V0)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #24: input, references = 4, size of lhs = 1:
% 108.06/108.30 pppp6-{F}(V0) | EXISTS V1: pppp5-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #25: input, references = 4, size of lhs = 1:
% 108.06/108.30 pppp6-{F}(V0) | organization-{T}(V0)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #26: input, references = 4, size of lhs = 5:
% 108.06/108.30 pppp5-{F}(V0,V1), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_external_ties-{F}(V0,V1,V4), P_hazard_of_mortality-{F}(V0,V1,V5) | EXISTS V6: pppp4-{T}(V0,V2,V3,V4,V5,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #27: input, references = 4, size of lhs = 6:
% 108.06/108.30 pppp5-{F}(V0,V1), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_external_ties-{F}(V0,V1,V4), P_hazard_of_mortality-{F}(V0,V1,V5), has_immunity-{F}(V0,V1) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #28: input, references = 48, size of lhs = 5:
% 108.06/108.30 pppp4-{F}(V0,V1,V2,V3,V4,V5), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_external_ties-{F}(V0,V5,V8), P_hazard_of_mortality-{F}(V0,V5,V9) | pppp3-{T}(V0,V5,V1,V6,V2,V7,V3,V8,V4,V9)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #29: input, references = 4, size of lhs = 2:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), smaller-{F}(V8,V9) | pppp2-{T}(V2,V3,V4,V5,V6,V7,V8,V9)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #30: input, references = 6, size of lhs = 1:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9) | pppp2-{T}(V2,V3,V4,V5,V6,V7,V8,V9), greater-{T}(V6,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #31: input, references = 4, size of lhs = 1:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9) | pppp2-{T}(V2,V3,V4,V5,V6,V7,V8,V9), smaller_or_equal-{T}(V4,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #32: input, references = 5, size of lhs = 1:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9) | pppp2-{T}(V2,V3,V4,V5,V6,V7,V8,V9), greater_or_equal-{T}(V2,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #33: input, references = 3, size of lhs = 2:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), has_immunity-{F}(V0,V1) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #34: input, references = 4, size of lhs = 2:
% 108.06/108.30 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7), smaller-{F}(V6,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #35: input, references = 4, size of lhs = 1:
% 108.06/108.30 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | greater_or_equal-{T}(V4,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #36: input, references = 9, size of lhs = 1:
% 108.06/108.30 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | smaller_or_equal-{T}(V2,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #37: input, references = 17, size of lhs = 1:
% 108.06/108.30 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | greater-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #38: input, references = 6, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_capability-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #39: input, references = 6, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_position-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #40: input, references = 10, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_hazard_of_mortality-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #41: input, references = 12, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_stock_of_knowledge-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #42: input, references = 23, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_internal_friction-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #43: input, references = 20, size of lhs = 2:
% 108.06/108.30 #-{F} V0, #-{F} V1 | EXISTS V2: P_external_ties-{T}(V0,V1,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 number of initial rules = 44
% 108.06/108.30
% 108.06/108.30 Simplifiers:
% 108.06/108.30 #44: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 organization-{F}(V0), organization-{F}(V1), V0 == V1 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #45: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 has_immunity-{F}(V0,V1), has_immunity-{F}(V2,V3), V0 == V2 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #46: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #47: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_position-{F}(V0,V1,V2), P_position-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #48: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_hazard_of_mortality-{F}(V0,V1,V2), P_hazard_of_mortality-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #49: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_stock_of_knowledge-{F}(V0,V1,V2), P_stock_of_knowledge-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #50: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_internal_friction-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #51: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 P_external_ties-{F}(V0,V1,V2), P_external_ties-{F}(V0,V1,V5), V2 == V5 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #52: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V0,V11,V2,V13,V4,V15,V6,V17,V8,V19), V1 == V11 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #53: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V10,V11,V12,V13,V14,V15,V16,V17,V18,V19), V0 == V10 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #54: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V0,V1,V12,V13,V14,V15,V16,V17,V18,V19), V3 == V13 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #55: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V0,V1,V12,V13,V14,V15,V16,V17,V18,V19), V5 == V15 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #56: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V0,V1,V12,V13,V14,V15,V16,V17,V18,V19), V7 == V17 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #57: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), pppp3-{F}(V0,V1,V12,V13,V14,V15,V16,V17,V18,V19), V9 == V19 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #58: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp4-{F}(V0,V1,V2,V3,V4,V5), pppp4-{F}(V0,V1,V2,V3,V4,V11), V5 == V11 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #59: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp4-{F}(V0,V1,V2,V3,V4,V5), pppp4-{F}(V6,V7,V8,V9,V10,V11), V0 == V6 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #60: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp5-{F}(V0,V1), pppp5-{F}(V0,V3), V1 == V3 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #61: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp5-{F}(V0,V1), pppp5-{F}(V2,V3), V0 == V2 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #62: unsound, references = 3, size of lhs = 3:
% 108.06/108.30 pppp6-{F}(V0), pppp6-{F}(V1), V0 == V1 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 number of simplifiers = 19
% 108.06/108.30
% 108.06/108.30 Learnt:
% 108.06/108.30 #66: disj( #14, #19+#10+#12 ), references = 2, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), smaller_or_equal-{F}(V2,V6), P_internal_friction-{F}(V0,V5,V7), V3 == V7 | smaller-{T}(V3,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #74: mergings( V4 == V10, V3 == V11; #71 ), references = 1, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_stock_of_knowledge-{F}(V0,V1,V3), P_internal_friction-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V4), P_capability-{F}(V0,V5,V2), P_stock_of_knowledge-{F}(V0,V5,V6), P_capability-{F}(V0,V7,V2), P_stock_of_knowledge-{F}(V0,V7,V8), smaller_or_equal-{F}(V8,V3), smaller_or_equal-{F}(V6,V8) | P_internal_friction-{T}(V0,V7,V4)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #76: disj( #30, input ), references = 4, size of lhs = 1:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V6,V7,V8) | pppp2-{T}(V2,V3,V4,V5,V6,V6,V7,V8)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #82: mergings( V4 == V12; #80 ), references = 4, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_capability-{F}(V0,V5,V4), P_position-{F}(V0,V5,V6), greater-{F}(V3,V6), P_hazard_of_mortality-{F}(V0,V5,V7), P_stock_of_knowledge-{F}(V0,V1,V8), P_internal_friction-{F}(V0,V1,V9), P_external_ties-{F}(V0,V1,V10), P_hazard_of_mortality-{F}(V0,V1,V11), pppp3-{F}(V0,V5,V12,V13,V14,V15,V16,V17,V18,V19) | smaller-{T}(V11,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #96: exists( #43, #94 ), references = 3, size of lhs = 5:
% 108.06/108.30 smaller-{F}(V0,V1), P_hazard_of_mortality-{F}(V2,V3,V1), P_stock_of_knowledge-{F}(V2,V3,V4), P_internal_friction-{F}(V2,V3,V5), pppp4-{F}(V2,V6,V7,V8,V0,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #98: exists( #42, #95 ), references = 3, size of lhs = 4:
% 108.06/108.30 smaller-{F}(V0,V1), P_hazard_of_mortality-{F}(V2,V3,V1), P_stock_of_knowledge-{F}(V2,V3,V4), pppp4-{F}(V2,V5,V6,V7,V0,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #100: exists( #41, #97 ), references = 3, size of lhs = 3:
% 108.06/108.30 smaller-{F}(V0,V1), P_hazard_of_mortality-{F}(V2,V3,V1), pppp4-{F}(V2,V4,V5,V6,V0,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #110: disj( #14, exists( #41, #97 ) ), references = 1, size of lhs = 3:
% 108.06/108.30 P_hazard_of_mortality-{F}(V0,V1,V2), pppp4-{F}(V0,V3,V4,V5,V6,V1), V6 == V2 | greater-{T}(V6,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #119: disj( #14, #10+#21+#12 ), references = 1, size of lhs = 6:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_position-{F}(V0,V4,V3), P_external_ties-{F}(V0,V4,V5), V5 == V2 | greater-{T}(V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #124: mergings( V3 == V7; #122 ), references = 7, size of lhs = 6:
% 108.06/108.30 organization-{F}(V0), P_position-{F}(V0,V1,V2), P_external_ties-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V3), P_position-{F}(V0,V4,V2), P_position-{F}(V0,V5,V2) | P_external_ties-{T}(V0,V5,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #145: mergings( V14 == V15, V16 == V0; #140 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_stock_of_knowledge-{F}(V0,V10,V11), P_external_ties-{F}(V0,V10,V12), P_hazard_of_mortality-{F}(V0,V10,V13), P_hazard_of_mortality-{F}(V0,V14,V13), pppp4-{F}(V0,V15,V16,V17,V9,V14), pppp4-{F}(V0,V18,V19,V20,V21,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #148: mergings( V14 == V15, V12 == V16; #142 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), P_stock_of_knowledge-{F}(V0,V10,V13), pppp4-{F}(V0,V14,V15,V16,V9,V10), pppp4-{F}(V0,V17,V18,V19,V20,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #151: mergings( V14 == V15, V16 == V0; #141 ), references = 1, size of lhs = 19:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_stock_of_knowledge-{F}(V0,V10,V11), P_external_ties-{F}(V0,V10,V12), P_hazard_of_mortality-{F}(V0,V10,V13), P_hazard_of_mortality-{F}(V0,V14,V13), P_stock_of_knowledge-{F}(V0,V14,V15), pppp4-{F}(V0,V16,V17,V18,V9,V14), pppp4-{F}(V0,V19,V20,V21,V22,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #156: mergings( V13 == V14; #153 ), references = 1, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), pppp4-{F}(V0,V13,V14,V15,V9,V10), pppp4-{F}(V0,V16,V17,V18,V19,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #158: mergings( V13 == V14; #154 ), references = 1, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), pppp4-{F}(V0,V13,V14,V15,V9,V10), pppp4-{F}(V0,V16,V17,V18,V19,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #161: mergings( V13 == V14, V15 == V0; #152 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), P_hazard_of_mortality-{F}(V0,V13,V12), pppp4-{F}(V0,V14,V15,V16,V9,V13), pppp4-{F}(V0,V17,V18,V19,V20,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #165: exists( #40, #153 ), references = 5, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), pppp4-{F}(V0,V12,V13,V14,V9,V10), pppp4-{F}(V0,V15,V16,V17,V18,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #166: exists( #40, #154 ), references = 2, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), pppp4-{F}(V0,V12,V13,V14,V9,V10), pppp4-{F}(V0,V15,V16,V17,V18,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #167: exists( #40, #152 ), references = 1, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), pppp4-{F}(V0,V12,V13,V14,V9,V10), pppp4-{F}(V0,V15,V16,V17,V18,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #180: exists( #42, #178 ), references = 2, size of lhs = 5:
% 108.06/108.30 greater-{F}(V0,V1), P_stock_of_knowledge-{F}(V2,V3,V0), P_external_ties-{F}(V2,V3,V4), P_hazard_of_mortality-{F}(V2,V3,V5), pppp4-{F}(V2,V1,V6,V4,V7,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #188: mergings( V7 == V8; #186 ), references = 2, size of lhs = 10:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), greater-{F}(V2,V5), P_capability-{F}(V0,V6,V4), P_stock_of_knowledge-{F}(V0,V6,V5), P_external_ties-{F}(V0,V6,V7), P_hazard_of_mortality-{F}(V0,V6,V8), pppp4-{F}(V0,V9,V3,V7,V10,V6) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #194: mergings( V3 == V0; #192 ), references = 1, size of lhs = 13:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_external_ties-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_stock_of_knowledge-{F}(V0,V9,V6), P_external_ties-{F}(V0,V9,V10), P_hazard_of_mortality-{F}(V0,V9,V11), pppp4-{F}(V0,V12,V3,V7,V13,V5), pppp4-{F}(V0,V2,V14,V10,V15,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #198: mergings( V8 == V12, V7 == V11; #195 ), references = 3, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V4), P_external_ties-{F}(V0,V5,V6), P_hazard_of_mortality-{F}(V0,V5,V7), pppp4-{F}(V0,V8,V3,V6,V9,V5), pppp4-{F}(V0,V2,V10,V6,V11,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #201: mergings( V7 == V8; #199 ), references = 7, size of lhs = 8:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V4), P_external_ties-{F}(V0,V5,V6), pppp4-{F}(V0,V7,V3,V6,V8,V5), pppp4-{F}(V0,V2,V9,V6,V10,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #210: disj( #14, #10+#13+#18+#12 ), references = 1, size of lhs = 10:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), greater-{F}(V7,V6), V7 == V2, P_internal_friction-{F}(V0,V5,V8), smaller_or_equal-{F}(V3,V8) | greater-{T}(V7,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #213: exists( #43, #165 ), references = 5, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), pppp4-{F}(V0,V11,V12,V13,V9,V10), pppp4-{F}(V0,V14,V15,V16,V17,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #214: exists( #43, #166 ), references = 5, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), greater-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), pppp4-{F}(V0,V11,V12,V13,V9,V10), pppp4-{F}(V0,V14,V15,V16,V17,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #223: disj( #14, exists( #43, #165 ) ), references = 4, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_capability-{F}(V0,V9,V4), P_position-{F}(V0,V9,V10), V3 == V10, pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9) | smaller-{T}(V3,V10)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #224: disj( #14, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_capability-{F}(V0,V9,V4), P_position-{F}(V0,V9,V10), V3 == V10, pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9) | smaller-{T}(V3,V10)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #232: mergings( V4 == V12; #228 ), references = 1, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_capability-{F}(V0,V5,V4), P_position-{F}(V0,V5,V6), greater-{F}(V3,V6), P_hazard_of_mortality-{F}(V0,V5,V7), P_stock_of_knowledge-{F}(V0,V1,V8), P_internal_friction-{F}(V0,V1,V9), P_external_ties-{F}(V0,V1,V10), P_hazard_of_mortality-{F}(V0,V1,V11), P_hazard_of_mortality-{F}(V12,V13,V7), pppp4-{F}(V12,V14,V15,V16,V11,V13) | has_immunity-{T}(V0,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #235: mergings( V8 == V20; #233 ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_position-{F}(V0,V9,V10), greater-{F}(V10,V3), P_hazard_of_mortality-{F}(V0,V9,V11), pppp3-{F}(V0,V9,V12,V13,V14,V15,V16,V17,V18,V19) | smaller-{T}(V11,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #248: mergings( V6 == V10, V14 == V16, V17 == V0; #242 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_position-{F}(V0,V9,V12), greater-{F}(V12,V3), P_hazard_of_mortality-{F}(V0,V9,V13), P_hazard_of_mortality-{F}(V0,V14,V7), pppp4-{F}(V0,V15,V16,V17,V13,V14), pppp4-{F}(V0,V18,V19,V20,V21,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #252: mergings( V6 == V10, V14 == V16, V17 == V0; #243 ), references = 1, size of lhs = 19:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_position-{F}(V0,V9,V12), greater-{F}(V12,V3), P_hazard_of_mortality-{F}(V0,V9,V13), P_hazard_of_mortality-{F}(V0,V14,V7), P_stock_of_knowledge-{F}(V0,V14,V15), pppp4-{F}(V0,V16,V17,V18,V13,V14), pppp4-{F}(V0,V19,V20,V21,V22,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #256: mergings( V6 == V10, V14 == V16, V17 == V0; #244 ), references = 1, size of lhs = 20:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_position-{F}(V0,V9,V12), greater-{F}(V12,V3), P_hazard_of_mortality-{F}(V0,V9,V13), P_hazard_of_mortality-{F}(V0,V14,V7), P_stock_of_knowledge-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V14,V16), pppp4-{F}(V0,V17,V18,V19,V13,V14), pppp4-{F}(V0,V20,V21,V22,V23,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #263: mergings( V6 == V10, V13 == V15, V16 == V0; #257 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_position-{F}(V0,V9,V11), greater-{F}(V11,V3), P_hazard_of_mortality-{F}(V0,V9,V12), P_hazard_of_mortality-{F}(V0,V13,V7), pppp4-{F}(V0,V14,V15,V16,V12,V13), pppp4-{F}(V0,V17,V18,V19,V20,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #267: mergings( V6 == V10, V13 == V15, V16 == V0; #258 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_position-{F}(V0,V9,V11), greater-{F}(V11,V3), P_hazard_of_mortality-{F}(V0,V9,V12), P_hazard_of_mortality-{F}(V0,V13,V7), P_stock_of_knowledge-{F}(V0,V13,V14), pppp4-{F}(V0,V15,V16,V17,V12,V13), pppp4-{F}(V0,V18,V19,V20,V21,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #272: mergings( V6 == V10, V10 == V13, V13 == V15, V12 == V16; #259 ), references = 1, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), greater-{F}(V9,V3), P_capability-{F}(V0,V10,V8), P_position-{F}(V0,V10,V9), P_hazard_of_mortality-{F}(V0,V10,V7), P_stock_of_knowledge-{F}(V0,V10,V11), pppp4-{F}(V0,V12,V13,V14,V7,V10), pppp4-{F}(V0,V15,V16,V17,V18,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #279: mergings( V6 == V10, V12 == V14, V15 == V0; #273 ), references = 1, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), P_capability-{F}(V0,V9,V8), P_position-{F}(V0,V9,V10), greater-{F}(V10,V3), P_hazard_of_mortality-{F}(V0,V9,V11), P_hazard_of_mortality-{F}(V0,V12,V7), pppp4-{F}(V0,V13,V14,V15,V11,V12), pppp4-{F}(V0,V16,V17,V18,V19,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #283: mergings( V6 == V10, V10 == V12, V12 == V14; #274 ), references = 6, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), greater-{F}(V9,V3), P_capability-{F}(V0,V10,V8), P_position-{F}(V0,V10,V9), P_hazard_of_mortality-{F}(V0,V10,V7), pppp4-{F}(V0,V11,V12,V13,V7,V10), pppp4-{F}(V0,V14,V15,V16,V17,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #287: mergings( V6 == V10, V10 == V13, V13 == V14; #275 ), references = 6, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater_or_equal-{F}(V8,V2), greater-{F}(V9,V3), P_capability-{F}(V0,V10,V8), P_position-{F}(V0,V10,V9), P_hazard_of_mortality-{F}(V0,V10,V7), pppp4-{F}(V0,V11,V12,V13,V7,V10), pppp4-{F}(V0,V14,V15,V16,V17,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #295: mergings( V4 == V11; #293 ), references = 1, size of lhs = 13:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_capability-{F}(V0,V5,V4), P_hazard_of_mortality-{F}(V0,V5,V6), P_hazard_of_mortality-{F}(V0,V1,V6), P_position-{F}(V0,V5,V7), greater-{F}(V3,V7), P_stock_of_knowledge-{F}(V0,V1,V8), P_internal_friction-{F}(V0,V1,V9), P_external_ties-{F}(V0,V1,V10) | has_immunity-{T}(V0,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #319: disj( #14, #10+#13+#11+#3+#1+#18+#12 ), references = 1, size of lhs = 10:
% 108.06/108.30 organization-{F}(V0), P_internal_friction-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V2), P_stock_of_knowledge-{F}(V0,V1,V3), greater-{F}(V4,V3), P_stock_of_knowledge-{F}(V0,V5,V4), P_internal_friction-{F}(V0,V5,V6), P_capability-{F}(V0,V5,V6), greater-{F}(V7,V6), V7 == V2 | greater-{T}(V7,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #332: disj( #14, #21+#12 ), references = 9, size of lhs = 7:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_external_ties-{F}(V0,V5,V6), V2 == V6 | smaller-{T}(V2,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #334: mergings( V2 == V3; #330 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_position-{F}(V0,V4,V3), P_external_ties-{F}(V0,V4,V5), greater_or_equal-{F}(V2,V6), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), P_capability-{F}(V0,V11,V6), P_position-{F}(V0,V11,V12), P_position-{F}(V0,V13,V12), P_external_ties-{F}(V0,V13,V14), V5 == V14, pppp4-{F}(V0,V15,V16,V17,V10,V11), pppp4-{F}(V0,V18,V19,V20,V21,V11) | smaller-{T}(V5,V14)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #336: mergings( V2 == V3; #331 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_position-{F}(V0,V4,V3), P_external_ties-{F}(V0,V4,V5), greater_or_equal-{F}(V2,V6), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), P_capability-{F}(V0,V11,V6), P_position-{F}(V0,V11,V12), P_position-{F}(V0,V13,V12), P_external_ties-{F}(V0,V13,V14), V5 == V14, pppp4-{F}(V0,V15,V16,V17,V10,V11), pppp4-{F}(V0,V18,V19,V20,V21,V11) | smaller-{T}(V5,V14)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #340: disj( #30, #37+#12 ), references = 1, size of lhs = 2:
% 108.06/108.30 greater-{F}(V0,V1), pppp3-{F}(V2,V3,V1,V0,V4,V5,V6,V7,V8,V9) | greater-{T}(V6,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #346: exists( #43, #344 ), references = 1, size of lhs = 10:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), greater-{F}(V6,V9), pppp4-{F}(V0,V9,V10,V2,V11,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #355: mergings( V8 == V12, V7 == V10; #350 ), references = 3, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), greater-{F}(V6,V7), greater-{F}(V6,V8), P_hazard_of_mortality-{F}(V0,V5,V9), pppp4-{F}(V0,V7,V10,V2,V11,V5), pppp4-{F}(V0,V8,V12,V2,V13,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #357: mergings( V8 == V12; #351 ), references = 3, size of lhs = 12:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), P_hazard_of_mortality-{F}(V0,V7,V9), greater-{F}(V8,V10), pppp4-{F}(V0,V10,V11,V2,V12,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #358: exists( #42, #349 ), references = 1, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_hazard_of_mortality-{F}(V0,V5,V7), greater-{F}(V6,V8), P_capability-{F}(V0,V5,V9), P_capability-{F}(V0,V10,V9), P_stock_of_knowledge-{F}(V0,V10,V11), P_internal_friction-{F}(V0,V10,V12), pppp4-{F}(V0,V8,V13,V2,V14,V5), pppp4-{F}(V0,V15,V12,V2,V16,V5), pppp4-{F}(V0,V11,V17,V2,V18,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #366: disj( #30, input ), references = 9, size of lhs = 2:
% 108.06/108.30 greater-{F}(V0,V1), pppp3-{F}(V2,V3,V4,V5,V6,V7,V1,V0,V8,V9) | pppp2-{T}(V4,V5,V6,V7,V1,V0,V8,V9)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #367: disj( #30, exists( #43, #165 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_capability-{F}(V0,V9,V4), P_position-{F}(V0,V9,V10), pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9), pppp3-{F}(V18,V19,V20,V21,V22,V23,V3,V10,V24,V25) | pppp2-{T}(V20,V21,V22,V23,V3,V10,V24,V25)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #368: disj( #30, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_capability-{F}(V0,V9,V4), P_position-{F}(V0,V9,V10), pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9), pppp3-{F}(V18,V19,V20,V21,V22,V23,V3,V10,V24,V25) | pppp2-{T}(V20,V21,V22,V23,V3,V10,V24,V25)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #384: mergings( V0 == V3; #382 ), references = 1, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_internal_friction-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V7,V6), P_capability-{F}(V0,V7,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_stock_of_knowledge-{F}(V0,V7,V12), greater-{F}(V10,V12), P_stock_of_knowledge-{F}(V0,V5,V13), P_hazard_of_mortality-{F}(V0,V5,V14), pppp4-{F}(V0,V15,V11,V2,V16,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #393: mergings( V8 == V16, V13 == V14; #388 ), references = 2, size of lhs = 16:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_capability-{F}(V0,V7,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), greater-{F}(V10,V12), P_stock_of_knowledge-{F}(V0,V7,V12), P_hazard_of_mortality-{F}(V0,V7,V13), pppp4-{F}(V0,V14,V11,V2,V15,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #396: mergings( V7 == V14, V11 == V12; #389 ), references = 2, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_hazard_of_mortality-{F}(V0,V5,V7), P_capability-{F}(V0,V5,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), greater-{F}(V10,V6), P_internal_friction-{F}(V0,V9,V11), P_capability-{F}(V0,V12,V8), P_stock_of_knowledge-{F}(V0,V12,V13), P_internal_friction-{F}(V0,V12,V14), pppp4-{F}(V0,V15,V11,V2,V16,V5), pppp4-{F}(V0,V17,V14,V2,V18,V5), pppp4-{F}(V0,V13,V19,V2,V20,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #400: mergings( V7 == V14, V13 == V18, V11 == V12; #390 ), references = 2, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_capability-{F}(V0,V5,V7), P_capability-{F}(V0,V8,V7), P_stock_of_knowledge-{F}(V0,V8,V9), greater-{F}(V9,V6), P_internal_friction-{F}(V0,V8,V10), P_capability-{F}(V0,V11,V7), P_stock_of_knowledge-{F}(V0,V11,V12), P_internal_friction-{F}(V0,V11,V13), P_hazard_of_mortality-{F}(V0,V5,V14), pppp4-{F}(V0,V15,V10,V2,V16,V5), pppp4-{F}(V0,V17,V13,V2,V18,V5), pppp4-{F}(V0,V12,V19,V2,V20,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #432: mergings( V0 == V3; #428 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_stock_of_knowledge-{F}(V0,V9,V6), P_position-{F}(V0,V9,V10), greater-{F}(V10,V11), P_position-{F}(V0,V12,V11), P_external_ties-{F}(V0,V12,V13), P_external_ties-{F}(V0,V14,V13), P_position-{F}(V0,V14,V15), V10 == V15, P_capability-{F}(V0,V9,V16), P_capability-{F}(V0,V17,V16), P_stock_of_knowledge-{F}(V0,V17,V18), P_internal_friction-{F}(V0,V17,V19), P_hazard_of_mortality-{F}(V0,V9,V20), pppp4-{F}(V0,V21,V19,V13,V22,V9), pppp4-{F}(V0,V18,V23,V2,V24,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #434: mergings( V0 == V3; #429 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_stock_of_knowledge-{F}(V0,V9,V6), P_position-{F}(V0,V9,V10), greater-{F}(V10,V11), P_position-{F}(V0,V12,V11), P_external_ties-{F}(V0,V12,V13), P_hazard_of_mortality-{F}(V0,V9,V14), P_capability-{F}(V0,V9,V15), P_capability-{F}(V0,V16,V15), P_stock_of_knowledge-{F}(V0,V16,V17), P_internal_friction-{F}(V0,V16,V18), P_capability-{F}(V0,V19,V15), P_stock_of_knowledge-{F}(V0,V19,V20), P_internal_friction-{F}(V0,V19,V21), pppp4-{F}(V0,V22,V18,V13,V23,V9), pppp4-{F}(V0,V24,V21,V13,V25,V9), pppp4-{F}(V0,V20,V26,V13,V27,V9), pppp4-{F}(V0,V17,V28,V2,V29,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #436: mergings( V0 == V3; #430 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_stock_of_knowledge-{F}(V0,V9,V6), P_position-{F}(V0,V9,V10), greater-{F}(V10,V11), P_position-{F}(V0,V12,V11), P_external_ties-{F}(V0,V12,V13), P_capability-{F}(V0,V9,V14), P_capability-{F}(V0,V15,V14), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V14), P_stock_of_knowledge-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V18,V20), P_hazard_of_mortality-{F}(V0,V9,V21), pppp4-{F}(V0,V22,V17,V13,V23,V9), pppp4-{F}(V0,V24,V20,V13,V25,V9), pppp4-{F}(V0,V19,V26,V13,V27,V9), pppp4-{F}(V0,V16,V28,V2,V29,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #445: mergings( V3 == V0, V9 == V12; #440 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), P_hazard_of_mortality-{F}(V0,V7,V9), P_stock_of_knowledge-{F}(V0,V10,V8), P_position-{F}(V0,V10,V11), greater-{F}(V11,V12), P_position-{F}(V0,V13,V12), P_external_ties-{F}(V0,V13,V14), P_external_ties-{F}(V0,V15,V14), P_position-{F}(V0,V15,V16), V11 == V16, P_capability-{F}(V0,V10,V17), P_capability-{F}(V0,V18,V17), P_stock_of_knowledge-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V18,V20), P_hazard_of_mortality-{F}(V0,V10,V21), pppp4-{F}(V0,V22,V20,V14,V23,V10), pppp4-{F}(V0,V19,V24,V2,V25,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #447: mergings( V3 == V0; #441 ), references = 1, size of lhs = 28:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_hazard_of_mortality-{F}(V0,V5,V7), P_capability-{F}(V0,V5,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_stock_of_knowledge-{F}(V0,V12,V6), P_position-{F}(V0,V12,V13), greater-{F}(V13,V14), P_position-{F}(V0,V15,V14), P_external_ties-{F}(V0,V15,V16), P_external_ties-{F}(V0,V17,V16), P_position-{F}(V0,V17,V18), V13 == V18, P_capability-{F}(V0,V12,V19), P_capability-{F}(V0,V20,V19), P_stock_of_knowledge-{F}(V0,V20,V21), P_internal_friction-{F}(V0,V20,V22), P_hazard_of_mortality-{F}(V0,V12,V23), pppp4-{F}(V0,V24,V22,V16,V25,V12), pppp4-{F}(V0,V21,V26,V2,V27,V5), pppp4-{F}(V0,V28,V11,V2,V29,V5), pppp4-{F}(V0,V10,V30,V2,V31,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #450: mergings( V3 == V0, V9 == V14; #442 ), references = 1, size of lhs = 28:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_capability-{F}(V0,V5,V7), P_capability-{F}(V0,V8,V7), P_stock_of_knowledge-{F}(V0,V8,V9), P_internal_friction-{F}(V0,V8,V10), P_hazard_of_mortality-{F}(V0,V5,V11), P_stock_of_knowledge-{F}(V0,V12,V6), P_position-{F}(V0,V12,V13), greater-{F}(V13,V14), P_position-{F}(V0,V15,V14), P_external_ties-{F}(V0,V15,V16), P_external_ties-{F}(V0,V17,V16), P_position-{F}(V0,V17,V18), V13 == V18, P_capability-{F}(V0,V12,V19), P_capability-{F}(V0,V20,V19), P_stock_of_knowledge-{F}(V0,V20,V21), P_internal_friction-{F}(V0,V20,V22), P_hazard_of_mortality-{F}(V0,V12,V23), pppp4-{F}(V0,V24,V22,V16,V25,V12), pppp4-{F}(V0,V21,V26,V2,V27,V5), pppp4-{F}(V0,V28,V10,V2,V29,V5), pppp4-{F}(V0,V9,V30,V2,V31,V5) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #457: mergings( V8 == V10, V10 == V11, V9 == V21; #451 ), references = 1, size of lhs = 21:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, greater-{F}(V6,V7), P_position-{F}(V0,V8,V7), P_external_ties-{F}(V0,V8,V9), P_external_ties-{F}(V0,V10,V9), P_position-{F}(V0,V10,V11), V6 == V11, P_position-{F}(V0,V12,V6), P_capability-{F}(V0,V12,V13), P_capability-{F}(V0,V14,V13), P_stock_of_knowledge-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V14,V16), P_hazard_of_mortality-{F}(V0,V12,V17), pppp4-{F}(V0,V18,V16,V9,V19,V12), pppp4-{F}(V0,V15,V20,V2,V21,V12) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #461: mergings( V8 == V18, V6 == V12, V7 == V22; #452 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), greater-{F}(V4,V5), P_position-{F}(V0,V6,V5), P_external_ties-{F}(V0,V6,V7), P_external_ties-{F}(V0,V8,V7), P_position-{F}(V0,V8,V9), V4 == V9, P_position-{F}(V0,V10,V4), P_capability-{F}(V0,V10,V11), P_capability-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V13), P_internal_friction-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V11), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), P_hazard_of_mortality-{F}(V0,V10,V18), pppp4-{F}(V0,V19,V17,V7,V20,V10), pppp4-{F}(V0,V16,V21,V2,V22,V10), pppp4-{F}(V0,V23,V14,V2,V24,V10), pppp4-{F}(V0,V13,V25,V2,V26,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #466: mergings( V8 == V19, V6 == V13, V7 == V12, V12 == V23; #453 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), greater-{F}(V4,V5), P_position-{F}(V0,V6,V5), P_external_ties-{F}(V0,V6,V7), P_external_ties-{F}(V0,V8,V7), P_position-{F}(V0,V8,V9), V4 == V9, P_position-{F}(V0,V10,V4), P_capability-{F}(V0,V10,V11), P_capability-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V13), P_internal_friction-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V11), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), P_hazard_of_mortality-{F}(V0,V10,V18), pppp4-{F}(V0,V19,V17,V7,V20,V10), pppp4-{F}(V0,V16,V21,V2,V22,V10), pppp4-{F}(V0,V23,V14,V2,V24,V10), pppp4-{F}(V0,V13,V25,V2,V26,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #472: mergings( V8 == V9, V9 == V10; #467 ), references = 1, size of lhs = 20:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, greater-{F}(V6,V7), P_position-{F}(V0,V8,V7), P_external_ties-{F}(V0,V8,V9), P_external_ties-{F}(V0,V10,V9), P_position-{F}(V0,V10,V11), V6 == V11, P_position-{F}(V0,V12,V6), P_capability-{F}(V0,V12,V13), P_capability-{F}(V0,V14,V13), P_stock_of_knowledge-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V14,V16), pppp4-{F}(V0,V17,V16,V9,V18,V12), pppp4-{F}(V0,V15,V19,V2,V20,V12) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #475: mergings( V7 == V17, V6 == V11; #468 ), references = 1, size of lhs = 22:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), greater-{F}(V4,V5), P_position-{F}(V0,V6,V5), P_external_ties-{F}(V0,V6,V7), P_external_ties-{F}(V0,V8,V7), P_position-{F}(V0,V8,V9), V4 == V9, P_position-{F}(V0,V10,V4), P_capability-{F}(V0,V10,V11), P_capability-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V13), P_internal_friction-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V11), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), pppp4-{F}(V0,V18,V17,V7,V19,V10), pppp4-{F}(V0,V16,V20,V2,V21,V10), pppp4-{F}(V0,V22,V14,V2,V23,V10), pppp4-{F}(V0,V13,V24,V2,V25,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #478: mergings( V7 == V17, V6 == V11; #469 ), references = 1, size of lhs = 22:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), greater-{F}(V4,V5), P_position-{F}(V0,V6,V5), P_external_ties-{F}(V0,V6,V7), P_external_ties-{F}(V0,V8,V7), P_position-{F}(V0,V8,V9), V4 == V9, P_position-{F}(V0,V10,V4), P_capability-{F}(V0,V10,V11), P_capability-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V13), P_internal_friction-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V11), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), pppp4-{F}(V0,V18,V17,V7,V19,V10), pppp4-{F}(V0,V16,V20,V2,V21,V10), pppp4-{F}(V0,V22,V14,V2,V23,V10), pppp4-{F}(V0,V13,V24,V2,V25,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #490: mergings( V6 == V17, V17 == V21; #486 ), references = 1, size of lhs = 28:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V3), P_external_ties-{F}(V0,V9,V10), P_position-{F}(V0,V11,V3), P_external_ties-{F}(V0,V11,V12), P_external_ties-{F}(V0,V13,V12), P_position-{F}(V0,V13,V14), P_capability-{F}(V0,V15,V4), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V4), P_stock_of_knowledge-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V18,V20), P_capability-{F}(V0,V21,V4), pppp4-{F}(V0,V22,V20,V12,V23,V21), pppp4-{F}(V0,V19,V24,V10,V25,V21), pppp4-{F}(V0,V26,V17,V10,V27,V21), pppp4-{F}(V0,V16,V28,V10,V29,V21), pppp4-{F}(V0,V30,V31,V32,V8,V21), pppp4-{F}(V0,V33,V34,V35,V36,V21) | P_position-{T}(V0,V21,V3), P_position-{T}(V0,V21,V14)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #493: mergings( V6 == V17, V17 == V21; #487 ), references = 1, size of lhs = 28:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V3), P_external_ties-{F}(V0,V9,V10), P_position-{F}(V0,V11,V3), P_external_ties-{F}(V0,V11,V12), P_external_ties-{F}(V0,V13,V12), P_position-{F}(V0,V13,V14), P_capability-{F}(V0,V15,V4), P_stock_of_knowledge-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V4), P_stock_of_knowledge-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V18,V20), P_capability-{F}(V0,V21,V4), pppp4-{F}(V0,V22,V20,V12,V23,V21), pppp4-{F}(V0,V19,V24,V10,V25,V21), pppp4-{F}(V0,V26,V17,V10,V27,V21), pppp4-{F}(V0,V16,V28,V10,V29,V21), pppp4-{F}(V0,V30,V31,V32,V8,V21), pppp4-{F}(V0,V33,V34,V35,V36,V21) | P_position-{T}(V0,V21,V3), P_position-{T}(V0,V21,V14)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #499: mergings( V4 == V16, V16 == V20, V20 == V42; #495 ), references = 3, size of lhs = 37:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V3), P_external_ties-{F}(V0,V9,V10), P_position-{F}(V0,V11,V3), P_external_ties-{F}(V0,V11,V12), P_external_ties-{F}(V0,V13,V12), P_position-{F}(V0,V13,V14), P_position-{F}(V0,V15,V3), P_external_ties-{F}(V0,V15,V16), P_external_ties-{F}(V0,V17,V16), P_position-{F}(V0,V17,V3), P_capability-{F}(V0,V18,V4), P_stock_of_knowledge-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V18,V20), P_capability-{F}(V0,V21,V4), P_stock_of_knowledge-{F}(V0,V21,V22), P_internal_friction-{F}(V0,V21,V23), P_capability-{F}(V0,V24,V4), P_stock_of_knowledge-{F}(V0,V24,V25), P_internal_friction-{F}(V0,V24,V26), P_capability-{F}(V0,V27,V4), pppp4-{F}(V0,V28,V23,V12,V29,V27), pppp4-{F}(V0,V22,V30,V10,V31,V27), pppp4-{F}(V0,V32,V20,V10,V33,V27), pppp4-{F}(V0,V19,V34,V10,V35,V27), pppp4-{F}(V0,V36,V26,V16,V37,V27), pppp4-{F}(V0,V25,V38,V16,V39,V27), pppp4-{F}(V0,V40,V41,V42,V8,V27), pppp4-{F}(V0,V43,V44,V45,V46,V27) | P_position-{T}(V0,V27,V14)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #527: disj( #15, input, exists( #41, #97 ) ), references = 2, size of lhs = 12:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_hazard_of_mortality-{F}(V0,V1,V4), greater-{F}(V2,V5), P_capability-{F}(V0,V6,V5), P_position-{F}(V0,V6,V7), greater_or_equal-{F}(V3,V7), P_hazard_of_mortality-{F}(V0,V6,V8), P_hazard_of_mortality-{F}(V9,V10,V8), pppp4-{F}(V9,V11,V12,V13,V4,V10), pppp3-{F}(V0,V6,V14,V15,V16,V17,V18,V19,V20,V21) | has_immunity-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #528: disj( #15, input, exists( #42, #95 ) ), references = 1, size of lhs = 13:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_hazard_of_mortality-{F}(V0,V1,V4), greater-{F}(V2,V5), P_capability-{F}(V0,V6,V5), P_position-{F}(V0,V6,V7), greater_or_equal-{F}(V3,V7), P_hazard_of_mortality-{F}(V0,V6,V8), P_hazard_of_mortality-{F}(V9,V10,V8), P_stock_of_knowledge-{F}(V9,V10,V11), pppp4-{F}(V9,V12,V13,V14,V4,V10), pppp3-{F}(V0,V6,V15,V16,V17,V18,V19,V20,V21,V22) | has_immunity-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #529: disj( #15, input, exists( #43, #94 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_hazard_of_mortality-{F}(V0,V1,V4), greater-{F}(V2,V5), P_capability-{F}(V0,V6,V5), P_position-{F}(V0,V6,V7), greater_or_equal-{F}(V3,V7), P_hazard_of_mortality-{F}(V0,V6,V8), P_hazard_of_mortality-{F}(V9,V10,V8), P_stock_of_knowledge-{F}(V9,V10,V11), P_internal_friction-{F}(V9,V10,V12), pppp4-{F}(V9,V13,V14,V15,V4,V10), pppp3-{F}(V0,V6,V16,V17,V18,V19,V20,V21,V22,V23) | has_immunity-{T}(V0,V1)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #561: disj( #14, #10+#13+#19+#10+#12 ), references = 1, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_internal_friction-{F}(V0,V1,V2), P_stock_of_knowledge-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), smaller_or_equal-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V6,V5), P_internal_friction-{F}(V0,V6,V7), greater-{F}(V8,V7), V8 == V2, P_capability-{F}(V0,V6,V9), greater-{F}(V4,V9) | greater-{T}(V8,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #563: mergings( V2 == V3; #559 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_internal_friction-{F}(V0,V4,V6), smaller_or_equal-{F}(V5,V7), P_stock_of_knowledge-{F}(V0,V8,V7), P_internal_friction-{F}(V0,V8,V9), greater-{F}(V10,V9), V10 == V6, P_capability-{F}(V0,V8,V11), P_stock_of_knowledge-{F}(V0,V1,V12), P_internal_friction-{F}(V0,V1,V13), P_external_ties-{F}(V0,V1,V14), P_hazard_of_mortality-{F}(V0,V1,V15), greater_or_equal-{F}(V16,V2), P_capability-{F}(V0,V17,V16), P_position-{F}(V0,V17,V11), P_hazard_of_mortality-{F}(V0,V17,V15), pppp4-{F}(V0,V18,V19,V20,V15,V17), pppp4-{F}(V0,V21,V22,V23,V24,V17) | greater-{T}(V10,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #565: mergings( V2 == V3; #560 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_internal_friction-{F}(V0,V4,V6), smaller_or_equal-{F}(V5,V7), P_stock_of_knowledge-{F}(V0,V8,V7), P_internal_friction-{F}(V0,V8,V9), greater-{F}(V10,V9), V10 == V6, P_capability-{F}(V0,V8,V11), P_stock_of_knowledge-{F}(V0,V1,V12), P_internal_friction-{F}(V0,V1,V13), P_external_ties-{F}(V0,V1,V14), P_hazard_of_mortality-{F}(V0,V1,V15), greater_or_equal-{F}(V16,V2), P_capability-{F}(V0,V17,V16), P_position-{F}(V0,V17,V11), P_hazard_of_mortality-{F}(V0,V17,V15), pppp4-{F}(V0,V18,V19,V20,V15,V17), pppp4-{F}(V0,V21,V22,V23,V24,V17) | greater-{T}(V10,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #574: disj( #31, #0+#2+#10+#12 ), references = 5, size of lhs = 3:
% 108.06/108.30 greater-{F}(V0,V1), V0 == V1, pppp3-{F}(V2,V3,V4,V5,V0,V1,V6,V7,V8,V9) | pppp2-{T}(V4,V5,V0,V1,V6,V7,V8,V9)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #578: disj( #14, #573+#37+#12 ), references = 6, size of lhs = 2:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V2,V3,V4,V5,V6,V7,V8), V3 == V4 | smaller-{T}(V3,V4)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #598: mergings( V3 == V9; #594 ), references = 3, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), smaller_or_equal-{F}(V5,V2), greater-{F}(V6,V4), P_capability-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V5), P_external_ties-{F}(V0,V7,V8), P_hazard_of_mortality-{F}(V0,V7,V9), pppp4-{F}(V0,V5,V3,V10,V11,V7) | P_internal_friction-{T}(V0,V7,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #601: mergings( V0 == V3, V7 == V18; #595 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_capability-{F}(V0,V8,V3), P_stock_of_knowledge-{F}(V0,V8,V9), smaller_or_equal-{F}(V9,V10), P_stock_of_knowledge-{F}(V0,V11,V10), P_internal_friction-{F}(V0,V11,V12), P_capability-{F}(V0,V11,V13), P_external_ties-{F}(V0,V8,V14), P_hazard_of_mortality-{F}(V0,V8,V15), greater_or_equal-{F}(V16,V2), P_capability-{F}(V0,V17,V16), P_position-{F}(V0,V17,V13), P_hazard_of_mortality-{F}(V0,V17,V7), pppp4-{F}(V0,V9,V12,V18,V19,V8), pppp4-{F}(V0,V20,V21,V22,V7,V17), pppp4-{F}(V0,V23,V24,V25,V26,V17) | P_internal_friction-{T}(V0,V8,V12)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #604: mergings( V0 == V3, V7 == V18; #596 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_capability-{F}(V0,V8,V3), P_stock_of_knowledge-{F}(V0,V8,V9), smaller_or_equal-{F}(V9,V10), P_stock_of_knowledge-{F}(V0,V11,V10), P_internal_friction-{F}(V0,V11,V12), P_capability-{F}(V0,V11,V13), P_external_ties-{F}(V0,V8,V14), P_hazard_of_mortality-{F}(V0,V8,V15), greater_or_equal-{F}(V16,V2), P_capability-{F}(V0,V17,V16), P_position-{F}(V0,V17,V13), P_hazard_of_mortality-{F}(V0,V17,V7), pppp4-{F}(V0,V9,V12,V18,V19,V8), pppp4-{F}(V0,V20,V21,V22,V7,V17), pppp4-{F}(V0,V23,V24,V25,V26,V17) | P_internal_friction-{T}(V0,V8,V12)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #609: disj( #32, exists( #43, #165 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V4), P_capability-{F}(V0,V9,V10), pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9), pppp3-{F}(V18,V19,V2,V10,V20,V21,V22,V23,V24,V25) | pppp2-{T}(V2,V10,V20,V21,V22,V23,V24,V25)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #610: disj( #32, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V4), P_capability-{F}(V0,V9,V10), pppp4-{F}(V0,V11,V12,V13,V8,V9), pppp4-{F}(V0,V14,V15,V16,V17,V9), pppp3-{F}(V18,V19,V2,V10,V20,V21,V22,V23,V24,V25) | pppp2-{T}(V2,V10,V20,V21,V22,V23,V24,V25)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #611: disj( #32, exists( #40, #153 ) ), references = 1, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V4), P_capability-{F}(V0,V9,V10), P_external_ties-{F}(V0,V9,V11), pppp4-{F}(V0,V12,V13,V14,V8,V9), pppp4-{F}(V0,V15,V16,V17,V18,V9), pppp3-{F}(V19,V20,V2,V10,V21,V22,V23,V24,V25,V26) | pppp2-{T}(V2,V10,V21,V22,V23,V24,V25,V26)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #625: mergings( V0 == V3; #621 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), greater-{F}(V9,V2), P_stock_of_knowledge-{F}(V0,V10,V9), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), P_position-{F}(V0,V13,V4), P_capability-{F}(V0,V13,V9), pppp4-{F}(V0,V2,V14,V15,V16,V10), pppp4-{F}(V0,V17,V18,V19,V8,V13), pppp4-{F}(V0,V20,V21,V22,V23,V13) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #628: mergings( V3 == V12, V12 == V0; #622 ), references = 1, size of lhs = 26:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V4), P_capability-{F}(V0,V9,V10), P_position-{F}(V0,V11,V10), P_external_ties-{F}(V0,V11,V12), P_stock_of_knowledge-{F}(V0,V13,V10), P_external_ties-{F}(V0,V13,V14), P_hazard_of_mortality-{F}(V0,V13,V15), P_position-{F}(V0,V16,V2), P_stock_of_knowledge-{F}(V0,V16,V17), greater-{F}(V17,V18), greater-{F}(V17,V19), P_hazard_of_mortality-{F}(V0,V16,V20), pppp4-{F}(V0,V18,V21,V12,V22,V16), pppp4-{F}(V0,V19,V23,V12,V24,V16), pppp4-{F}(V0,V2,V25,V26,V27,V13), pppp4-{F}(V0,V28,V29,V30,V8,V9), pppp4-{F}(V0,V31,V32,V33,V34,V9) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #631: mergings( V3 == V12, V12 == V0; #623 ), references = 1, size of lhs = 27:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V2), P_stock_of_knowledge-{F}(V0,V9,V10), P_hazard_of_mortality-{F}(V0,V9,V11), greater-{F}(V10,V12), P_position-{F}(V0,V13,V4), P_capability-{F}(V0,V13,V14), P_position-{F}(V0,V15,V14), P_external_ties-{F}(V0,V15,V16), P_external_ties-{F}(V0,V17,V16), P_position-{F}(V0,V17,V18), V2 == V18, P_stock_of_knowledge-{F}(V0,V19,V14), P_external_ties-{F}(V0,V19,V20), P_hazard_of_mortality-{F}(V0,V19,V21), pppp4-{F}(V0,V12,V22,V16,V23,V9), pppp4-{F}(V0,V2,V24,V25,V26,V19), pppp4-{F}(V0,V27,V28,V29,V8,V13), pppp4-{F}(V0,V30,V31,V32,V33,V13) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #635: disj( #32, #5+#7+#12 ), references = 1, size of lhs = 3:
% 108.06/108.30 greater-{F}(V0,V1), V1 == V0, pppp3-{F}(V2,V3,V1,V0,V4,V5,V6,V7,V8,V9) | pppp2-{T}(V1,V0,V4,V5,V6,V7,V8,V9)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #640: disj( #14, #10+#634+#37+#12 ), references = 15, size of lhs = 2:
% 108.06/108.30 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), V2 == V3 | greater-{T}(V2,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #669: disj( #14, #574+#36+#18+#12 ), references = 1, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), greater-{F}(V2,V5), P_stock_of_knowledge-{F}(V0,V6,V5), P_internal_friction-{F}(V0,V6,V7), V3 == V7, P_capability-{F}(V0,V6,V8), greater-{F}(V8,V4), pppp3-{F}(V9,V10,V11,V12,V3,V7,V13,V14,V15,V16) | smaller-{T}(V3,V7)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #671: mergings( V2 == V3; #667 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_internal_friction-{F}(V0,V4,V6), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), greater-{F}(V11,V5), P_stock_of_knowledge-{F}(V0,V12,V11), P_internal_friction-{F}(V0,V12,V13), V13 == V6, P_capability-{F}(V0,V12,V14), greater_or_equal-{F}(V15,V2), P_capability-{F}(V0,V16,V15), P_position-{F}(V0,V16,V14), P_hazard_of_mortality-{F}(V0,V16,V10), pppp4-{F}(V0,V17,V18,V19,V10,V16), pppp4-{F}(V0,V20,V21,V22,V23,V16), pppp3-{F}(V24,V25,V26,V27,V13,V6,V28,V29,V30,V31) | smaller-{T}(V13,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #673: mergings( V2 == V3; #668 ), references = 1, size of lhs = 23:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_internal_friction-{F}(V0,V4,V6), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), greater-{F}(V11,V5), P_stock_of_knowledge-{F}(V0,V12,V11), P_internal_friction-{F}(V0,V12,V13), V13 == V6, P_capability-{F}(V0,V12,V14), greater_or_equal-{F}(V15,V2), P_capability-{F}(V0,V16,V15), P_position-{F}(V0,V16,V14), P_hazard_of_mortality-{F}(V0,V16,V10), pppp4-{F}(V0,V17,V18,V19,V10,V16), pppp4-{F}(V0,V20,V21,V22,V23,V16), pppp3-{F}(V24,V25,V26,V27,V13,V6,V28,V29,V30,V31) | smaller-{T}(V13,V6)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #696: mergings( V9 == V11; #692 ), references = 1, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V6), greater-{F}(V7,V4), greater-{F}(V7,V6), P_capability-{F}(V0,V8,V7), P_stock_of_knowledge-{F}(V0,V8,V9), V2 == V9, P_external_ties-{F}(V0,V8,V10), P_hazard_of_mortality-{F}(V0,V8,V11), pppp4-{F}(V0,V2,V3,V12,V13,V8) | P_internal_friction-{T}(V0,V8,V3)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #699: mergings( V0 == V3, V6 == V8; #693 ), references = 1, size of lhs = 27:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater-{F}(V3,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_internal_friction-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V10), P_capability-{F}(V0,V12,V13), P_capability-{F}(V0,V14,V3), P_stock_of_knowledge-{F}(V0,V14,V15), V10 == V15, P_external_ties-{F}(V0,V14,V16), P_hazard_of_mortality-{F}(V0,V14,V17), greater_or_equal-{F}(V18,V2), P_capability-{F}(V0,V19,V18), P_position-{F}(V0,V19,V13), P_hazard_of_mortality-{F}(V0,V19,V7), pppp4-{F}(V0,V10,V11,V20,V21,V14), pppp4-{F}(V0,V22,V23,V24,V7,V19), pppp4-{F}(V0,V25,V26,V27,V28,V19) | P_internal_friction-{T}(V0,V14,V11)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #702: mergings( V0 == V3, V6 == V8; #694 ), references = 1, size of lhs = 27:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater-{F}(V3,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_internal_friction-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V10), P_capability-{F}(V0,V12,V13), P_capability-{F}(V0,V14,V3), P_stock_of_knowledge-{F}(V0,V14,V15), V10 == V15, P_external_ties-{F}(V0,V14,V16), P_hazard_of_mortality-{F}(V0,V14,V17), greater_or_equal-{F}(V18,V2), P_capability-{F}(V0,V19,V18), P_position-{F}(V0,V19,V13), P_hazard_of_mortality-{F}(V0,V19,V7), pppp4-{F}(V0,V10,V11,V20,V21,V14), pppp4-{F}(V0,V22,V23,V24,V7,V19), pppp4-{F}(V0,V25,V26,V27,V28,V19) | P_internal_friction-{T}(V0,V14,V11)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #722: mergings( V9 == V10, V10 == V15, V17 == V19, V16 == V18; #715 ), references = 1, size of lhs = 19:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V6), greater-{F}(V7,V4), greater-{F}(V7,V6), greater-{F}(V7,V8), P_capability-{F}(V0,V9,V8), P_internal_friction-{F}(V0,V9,V10), smaller_or_equal-{F}(V10,V3), P_stock_of_knowledge-{F}(V0,V9,V11), P_capability-{F}(V0,V12,V7), P_external_ties-{F}(V0,V12,V13), P_hazard_of_mortality-{F}(V0,V12,V14), pppp4-{F}(V0,V2,V3,V15,V16,V12), pppp4-{F}(V0,V11,V17,V18,V19,V12) | P_stock_of_knowledge-{T}(V0,V12,V2), P_stock_of_knowledge-{T}(V0,V12,V11)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #728: mergings( V0 == V3, V6 == V12, V12 == V19, V21 == V23, V20 == V22; #716 ), references = 1, size of lhs = 31:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater-{F}(V3,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_internal_friction-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V10), P_capability-{F}(V0,V12,V13), greater-{F}(V3,V13), greater_or_equal-{F}(V14,V2), smaller_or_equal-{F}(V15,V11), P_internal_friction-{F}(V0,V16,V15), P_stock_of_knowledge-{F}(V0,V16,V17), P_capability-{F}(V0,V16,V18), P_capability-{F}(V0,V19,V3), P_external_ties-{F}(V0,V19,V20), P_hazard_of_mortality-{F}(V0,V19,V21), P_capability-{F}(V0,V22,V14), P_position-{F}(V0,V22,V18), P_hazard_of_mortality-{F}(V0,V22,V7), pppp4-{F}(V0,V10,V11,V23,V24,V19), pppp4-{F}(V0,V17,V25,V26,V27,V19), pppp4-{F}(V0,V28,V29,V30,V7,V22), pppp4-{F}(V0,V31,V32,V33,V34,V22) | P_stock_of_knowledge-{T}(V0,V19,V10), P_stock_of_knowledge-{T}(V0,V19,V17)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #734: mergings( V0 == V3, V6 == V12, V12 == V19, V21 == V23, V20 == V22; #717 ), references = 1, size of lhs = 31:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), greater-{F}(V3,V8), P_capability-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), P_internal_friction-{F}(V0,V9,V11), P_internal_friction-{F}(V0,V12,V11), P_stock_of_knowledge-{F}(V0,V12,V10), P_capability-{F}(V0,V12,V13), greater-{F}(V3,V13), greater_or_equal-{F}(V14,V2), smaller_or_equal-{F}(V15,V11), P_internal_friction-{F}(V0,V16,V15), P_stock_of_knowledge-{F}(V0,V16,V17), P_capability-{F}(V0,V16,V18), P_capability-{F}(V0,V19,V3), P_external_ties-{F}(V0,V19,V20), P_hazard_of_mortality-{F}(V0,V19,V21), P_capability-{F}(V0,V22,V14), P_position-{F}(V0,V22,V18), P_hazard_of_mortality-{F}(V0,V22,V7), pppp4-{F}(V0,V10,V11,V23,V24,V19), pppp4-{F}(V0,V17,V25,V26,V27,V19), pppp4-{F}(V0,V28,V29,V30,V7,V22), pppp4-{F}(V0,V31,V32,V33,V34,V22) | P_stock_of_knowledge-{T}(V0,V19,V10), P_stock_of_knowledge-{T}(V0,V19,V17)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #745: mergings( V7 == V8, V8 == V13, V13 == V30, V30 == V33, V16 == V18, V18 == V32, V15 == V17, V17 == V31; #736 ), references = 1, size of lhs = 29:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V6), P_stock_of_knowledge-{F}(V0,V7,V2), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V2,V10), P_capability-{F}(V0,V9,V11), P_capability-{F}(V0,V7,V12), greater-{F}(V13,V4), V13 == V12, greater-{F}(V13,V6), greater-{F}(V13,V11), greater-{F}(V13,V14), P_capability-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), smaller_or_equal-{F}(V16,V3), P_stock_of_knowledge-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V13), P_external_ties-{F}(V0,V18,V19), P_hazard_of_mortality-{F}(V0,V18,V20), pppp4-{F}(V0,V2,V3,V21,V22,V18), pppp4-{F}(V0,V2,V8,V23,V24,V18), pppp4-{F}(V0,V17,V25,V26,V27,V18) | P_stock_of_knowledge-{T}(V0,V18,V17)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #758: mergings( V15 == V16, V16 == V27, V27 == V28, V28 == V29, V29 == V33, V33 == V35, V30 == V31, V31 == V32, V32 == V34; #748 ), references = 3, size of lhs = 38:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V6), P_stock_of_knowledge-{F}(V0,V7,V2), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V2,V10), P_capability-{F}(V0,V9,V11), P_capability-{F}(V0,V7,V12), greater-{F}(V13,V4), V13 == V12, greater-{F}(V13,V6), greater-{F}(V13,V11), greater-{F}(V13,V14), P_capability-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), smaller_or_equal-{F}(V16,V3), P_stock_of_knowledge-{F}(V0,V15,V17), P_stock_of_knowledge-{F}(V0,V18,V17), P_internal_friction-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V20,V19), P_stock_of_knowledge-{F}(V0,V20,V21), smaller_or_equal-{F}(V17,V21), P_capability-{F}(V0,V20,V22), greater-{F}(V13,V22), P_capability-{F}(V0,V18,V23), V13 == V23, P_capability-{F}(V0,V24,V13), P_external_ties-{F}(V0,V24,V25), pppp4-{F}(V0,V2,V3,V26,V27,V24), pppp4-{F}(V0,V2,V8,V28,V29,V24), pppp4-{F}(V0,V17,V19,V30,V31,V24), pppp4-{F}(V0,V17,V32,V33,V34,V24) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #762: exists( #43, #758 ), references = 3, size of lhs = 37:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V6), P_stock_of_knowledge-{F}(V0,V7,V2), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V2,V10), P_capability-{F}(V0,V9,V11), P_capability-{F}(V0,V7,V12), greater-{F}(V13,V4), V13 == V12, greater-{F}(V13,V6), greater-{F}(V13,V11), greater-{F}(V13,V14), P_capability-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), smaller_or_equal-{F}(V16,V3), P_stock_of_knowledge-{F}(V0,V15,V17), P_stock_of_knowledge-{F}(V0,V18,V17), P_internal_friction-{F}(V0,V18,V19), P_internal_friction-{F}(V0,V20,V19), P_stock_of_knowledge-{F}(V0,V20,V21), smaller_or_equal-{F}(V17,V21), P_capability-{F}(V0,V20,V22), greater-{F}(V13,V22), P_capability-{F}(V0,V18,V23), V13 == V23, P_capability-{F}(V0,V24,V13), pppp4-{F}(V0,V2,V3,V25,V26,V24), pppp4-{F}(V0,V2,V8,V27,V28,V24), pppp4-{F}(V0,V17,V19,V29,V30,V24), pppp4-{F}(V0,V17,V31,V32,V33,V24) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #794: mergings( V3 == V0; #791 ), references = 1, size of lhs = 37:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V6,V2), P_internal_friction-{F}(V0,V6,V7), P_internal_friction-{F}(V0,V8,V7), P_capability-{F}(V0,V8,V4), P_stock_of_knowledge-{F}(V0,V8,V9), smaller_or_equal-{F}(V2,V9), P_capability-{F}(V0,V6,V10), P_capability-{F}(V0,V11,V4), P_internal_friction-{F}(V0,V11,V12), smaller_or_equal-{F}(V12,V3), P_stock_of_knowledge-{F}(V0,V11,V13), P_stock_of_knowledge-{F}(V0,V14,V13), P_internal_friction-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V16,V15), P_capability-{F}(V0,V16,V4), P_stock_of_knowledge-{F}(V0,V16,V17), smaller_or_equal-{F}(V13,V17), P_capability-{F}(V0,V14,V18), P_internal_friction-{F}(V0,V19,V20), V4 == V20, V20 == V10, V20 == V18, P_stock_of_knowledge-{F}(V0,V19,V21), P_hazard_of_mortality-{F}(V0,V19,V22), P_capability-{F}(V0,V23,V20), pppp4-{F}(V0,V2,V3,V24,V25,V23), pppp4-{F}(V0,V2,V7,V26,V27,V23), pppp4-{F}(V0,V13,V15,V28,V29,V23), pppp4-{F}(V0,V21,V4,V30,V31,V19), pppp4-{F}(V0,V13,V32,V33,V34,V23) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #795: exists( #43, #790 ), references = 1, size of lhs = 37:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V6,V2), P_internal_friction-{F}(V0,V6,V7), P_internal_friction-{F}(V0,V8,V7), P_capability-{F}(V0,V8,V4), P_stock_of_knowledge-{F}(V0,V8,V9), smaller_or_equal-{F}(V2,V9), P_capability-{F}(V0,V6,V10), P_capability-{F}(V0,V11,V4), P_internal_friction-{F}(V0,V11,V12), smaller_or_equal-{F}(V12,V3), P_stock_of_knowledge-{F}(V0,V11,V13), P_stock_of_knowledge-{F}(V0,V14,V13), P_internal_friction-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V16,V15), P_capability-{F}(V0,V16,V4), P_stock_of_knowledge-{F}(V0,V16,V17), smaller_or_equal-{F}(V13,V17), P_capability-{F}(V0,V14,V18), P_capability-{F}(V0,V19,V20), V4 == V20, V20 == V10, V20 == V18, P_internal_friction-{F}(V0,V19,V20), P_stock_of_knowledge-{F}(V0,V19,V21), P_hazard_of_mortality-{F}(V0,V19,V22), pppp4-{F}(V0,V2,V3,V23,V24,V19), pppp4-{F}(V0,V2,V7,V25,V26,V19), pppp4-{F}(V0,V13,V15,V27,V28,V19), pppp4-{F}(V0,V21,V4,V29,V30,V19), pppp4-{F}(V0,V13,V31,V32,V33,V19) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #825: mergings( V3 == V4, V0 == V4; #820 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_internal_friction-{F}(V0,V12,V13), V5 == V13, P_capability-{F}(V0,V12,V14), P_internal_friction-{F}(V0,V15,V13), P_stock_of_knowledge-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V14), P_position-{F}(V0,V18,V14), pppp4-{F}(V0,V16,V5,V19,V20,V15), pppp4-{F}(V0,V21,V22,V23,V10,V18), pppp4-{F}(V0,V24,V25,V26,V27,V18) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #828: mergings( V3 == V4, V0 == V4; #821 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_internal_friction-{F}(V0,V12,V13), V5 == V13, P_capability-{F}(V0,V12,V14), P_internal_friction-{F}(V0,V15,V13), P_stock_of_knowledge-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V14), P_position-{F}(V0,V18,V14), pppp4-{F}(V0,V16,V5,V19,V20,V15), pppp4-{F}(V0,V21,V22,V23,V10,V18), pppp4-{F}(V0,V24,V25,V26,V27,V18) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #830: mergings( V3 == V0; #822 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_internal_friction-{F}(V0,V12,V13), V5 == V13, P_capability-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V14), P_position-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V13), P_stock_of_knowledge-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), pppp4-{F}(V0,V16,V5,V18,V19,V15), pppp4-{F}(V0,V20,V21,V22,V10,V15), pppp4-{F}(V0,V23,V24,V25,V26,V15) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #835: mergings( V13 == V15; #833 ), references = 1, size of lhs = 20:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_capability-{F}(V0,V12,V13), P_position-{F}(V0,V12,V13), P_hazard_of_mortality-{F}(V0,V12,V14), pppp4-{F}(V0,V11,V5,V15,V16,V12), pppp4-{F}(V0,V17,V18,V19,V10,V12), pppp4-{F}(V0,V20,V21,V22,V23,V12) | P_internal_friction-{T}(V0,V12,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #838: mergings( V0 == V3, V14 == V17; #831 ), references = 1, size of lhs = 21:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_capability-{F}(V0,V12,V13), P_hazard_of_mortality-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V13), P_position-{F}(V0,V15,V13), pppp4-{F}(V0,V11,V5,V16,V17,V12), pppp4-{F}(V0,V18,V19,V20,V10,V15), pppp4-{F}(V0,V21,V22,V23,V24,V15) | P_internal_friction-{T}(V0,V12,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #841: mergings( V0 == V3, V14 == V17; #832 ), references = 1, size of lhs = 21:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_position-{F}(V0,V1,V6), greater-{F}(V6,V2), P_stock_of_knowledge-{F}(V0,V1,V7), P_internal_friction-{F}(V0,V1,V8), P_external_ties-{F}(V0,V1,V9), P_hazard_of_mortality-{F}(V0,V1,V10), smaller_or_equal-{F}(V11,V4), P_stock_of_knowledge-{F}(V0,V12,V11), P_capability-{F}(V0,V12,V13), P_hazard_of_mortality-{F}(V0,V12,V14), P_capability-{F}(V0,V15,V13), P_position-{F}(V0,V15,V13), pppp4-{F}(V0,V11,V5,V16,V17,V12), pppp4-{F}(V0,V18,V19,V20,V10,V15), pppp4-{F}(V0,V21,V22,V23,V24,V15) | P_internal_friction-{T}(V0,V12,V5)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #846: exists( #43, #844 ), references = 1, size of lhs = 6:
% 108.06/108.30 greater-{F}(V0,V1), V1 == V0, P_stock_of_knowledge-{F}(V2,V3,V0), P_internal_friction-{F}(V2,V3,V4), P_hazard_of_mortality-{F}(V2,V3,V5), pppp4-{F}(V2,V1,V6,V7,V8,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #848: exists( #42, #845 ), references = 1, size of lhs = 5:
% 108.06/108.30 greater-{F}(V0,V1), V1 == V0, P_stock_of_knowledge-{F}(V2,V3,V0), P_hazard_of_mortality-{F}(V2,V3,V4), pppp4-{F}(V2,V1,V5,V6,V7,V3) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #868: mergings( V0 == V3; #864 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_stock_of_knowledge-{F}(V0,V8,V9), V2 == V9, P_internal_friction-{F}(V0,V8,V10), P_hazard_of_mortality-{F}(V0,V8,V11), P_capability-{F}(V0,V12,V9), P_position-{F}(V0,V12,V9), pppp4-{F}(V0,V2,V13,V14,V15,V8), pppp4-{F}(V0,V16,V17,V18,V7,V12), pppp4-{F}(V0,V19,V20,V21,V22,V12) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #870: mergings( V0 == V3; #865 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_stock_of_knowledge-{F}(V0,V8,V9), V2 == V9, P_internal_friction-{F}(V0,V8,V10), P_hazard_of_mortality-{F}(V0,V8,V11), P_capability-{F}(V0,V12,V9), P_position-{F}(V0,V12,V9), pppp4-{F}(V0,V2,V13,V14,V15,V8), pppp4-{F}(V0,V16,V17,V18,V7,V12), pppp4-{F}(V0,V19,V20,V21,V22,V12) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #871: exists( #43, #863 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_capability-{F}(V0,V8,V9), V2 == V9, P_position-{F}(V0,V8,V9), P_stock_of_knowledge-{F}(V0,V8,V9), P_internal_friction-{F}(V0,V8,V10), P_hazard_of_mortality-{F}(V0,V8,V11), pppp4-{F}(V0,V2,V12,V13,V14,V8), pppp4-{F}(V0,V15,V16,V17,V7,V8), pppp4-{F}(V0,V18,V19,V20,V21,V8) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #876: mergings( V0 == V3; #872 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_stock_of_knowledge-{F}(V0,V8,V9), V2 == V9, P_hazard_of_mortality-{F}(V0,V8,V10), P_capability-{F}(V0,V11,V9), P_position-{F}(V0,V11,V9), pppp4-{F}(V0,V2,V12,V13,V14,V8), pppp4-{F}(V0,V15,V16,V17,V7,V11), pppp4-{F}(V0,V18,V19,V20,V21,V11) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #878: mergings( V0 == V3; #873 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_stock_of_knowledge-{F}(V0,V8,V9), V2 == V9, P_hazard_of_mortality-{F}(V0,V8,V10), P_capability-{F}(V0,V11,V9), P_position-{F}(V0,V11,V9), pppp4-{F}(V0,V2,V12,V13,V14,V8), pppp4-{F}(V0,V15,V16,V17,V7,V11), pppp4-{F}(V0,V18,V19,V20,V21,V11) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #879: exists( #42, #866 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V3,V2), P_stock_of_knowledge-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V1,V5), P_external_ties-{F}(V0,V1,V6), P_hazard_of_mortality-{F}(V0,V1,V7), P_capability-{F}(V0,V8,V9), V2 == V9, P_position-{F}(V0,V8,V9), P_stock_of_knowledge-{F}(V0,V8,V9), P_hazard_of_mortality-{F}(V0,V8,V10), pppp4-{F}(V0,V2,V11,V12,V13,V8), pppp4-{F}(V0,V14,V15,V16,V7,V8), pppp4-{F}(V0,V17,V18,V19,V20,V8) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #904: exists( #43, #898 ), references = 1, size of lhs = 5:
% 108.06/108.30 P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V2), P_hazard_of_mortality-{F}(V0,V1,V3), pppp4-{F}(V0,V4,V4,V5,V6,V1), V4 == V2 | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #928: mergings( V3 == V4, V0 == V4; #923 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), smaller_or_equal-{F}(V5,V6), P_internal_friction-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), V4 == V8, P_capability-{F}(V0,V7,V9), P_position-{F}(V0,V1,V10), greater-{F}(V10,V2), P_stock_of_knowledge-{F}(V0,V1,V11), P_internal_friction-{F}(V0,V1,V12), P_external_ties-{F}(V0,V1,V13), P_hazard_of_mortality-{F}(V0,V1,V14), P_stock_of_knowledge-{F}(V0,V15,V8), P_internal_friction-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V9), P_position-{F}(V0,V18,V9), pppp4-{F}(V0,V4,V19,V20,V21,V15), pppp4-{F}(V0,V22,V23,V24,V14,V18), pppp4-{F}(V0,V25,V26,V27,V28,V18) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #931: mergings( V3 == V4, V0 == V4; #924 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), smaller_or_equal-{F}(V5,V6), P_internal_friction-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), V4 == V8, P_capability-{F}(V0,V7,V9), P_position-{F}(V0,V1,V10), greater-{F}(V10,V2), P_stock_of_knowledge-{F}(V0,V1,V11), P_internal_friction-{F}(V0,V1,V12), P_external_ties-{F}(V0,V1,V13), P_hazard_of_mortality-{F}(V0,V1,V14), P_stock_of_knowledge-{F}(V0,V15,V8), P_internal_friction-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), P_capability-{F}(V0,V18,V9), P_position-{F}(V0,V18,V9), pppp4-{F}(V0,V4,V19,V20,V21,V15), pppp4-{F}(V0,V22,V23,V24,V14,V18), pppp4-{F}(V0,V25,V26,V27,V28,V18) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #933: mergings( V3 == V0; #925 ), references = 1, size of lhs = 25:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), smaller_or_equal-{F}(V5,V6), P_internal_friction-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), V4 == V8, P_capability-{F}(V0,V7,V9), P_position-{F}(V0,V1,V10), greater-{F}(V10,V2), P_stock_of_knowledge-{F}(V0,V1,V11), P_internal_friction-{F}(V0,V1,V12), P_external_ties-{F}(V0,V1,V13), P_hazard_of_mortality-{F}(V0,V1,V14), P_capability-{F}(V0,V15,V9), P_position-{F}(V0,V15,V9), P_stock_of_knowledge-{F}(V0,V15,V8), P_internal_friction-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), pppp4-{F}(V0,V4,V18,V19,V20,V15), pppp4-{F}(V0,V21,V22,V23,V14,V15), pppp4-{F}(V0,V24,V25,V26,V27,V15) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #992: disj( #14, #10+#762 ), references = 2, size of lhs = 33:
% 108.06/108.30 organization-{F}(V0), P_stock_of_knowledge-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V3), P_capability-{F}(V0,V1,V4), P_internal_friction-{F}(V0,V5,V3), P_stock_of_knowledge-{F}(V0,V5,V2), P_capability-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V6,V2), P_internal_friction-{F}(V0,V6,V7), P_internal_friction-{F}(V0,V8,V7), P_capability-{F}(V0,V8,V4), P_stock_of_knowledge-{F}(V0,V8,V9), smaller_or_equal-{F}(V2,V9), P_capability-{F}(V0,V6,V10), P_capability-{F}(V0,V11,V4), P_internal_friction-{F}(V0,V11,V12), smaller_or_equal-{F}(V12,V3), P_stock_of_knowledge-{F}(V0,V11,V13), P_stock_of_knowledge-{F}(V0,V14,V13), P_internal_friction-{F}(V0,V14,V15), P_internal_friction-{F}(V0,V16,V15), P_capability-{F}(V0,V16,V4), P_stock_of_knowledge-{F}(V0,V16,V17), smaller_or_equal-{F}(V13,V17), P_capability-{F}(V0,V14,V18), P_capability-{F}(V0,V19,V20), V4 == V20, V20 == V10, V20 == V18, pppp4-{F}(V0,V2,V3,V21,V22,V19), pppp4-{F}(V0,V2,V7,V23,V24,V19), pppp4-{F}(V0,V13,V15,V25,V26,V19), pppp4-{F}(V0,V13,V27,V28,V29,V19) | greater-{T}(V4,V20)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #999: mergings( V6 == V12, V15 == V16, V17 == V0; #995 ), references = 1, size of lhs = 18:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V2,V4), greater_or_equal-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_stock_of_knowledge-{F}(V0,V10,V11), P_external_ties-{F}(V0,V10,V12), P_hazard_of_mortality-{F}(V0,V10,V13), P_hazard_of_mortality-{F}(V0,V14,V13), pppp4-{F}(V0,V15,V16,V17,V9,V14), pppp4-{F}(V0,V18,V19,V20,V21,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1004: mergings( V6 == V12, V14 == V15, V16 == V0; #1000 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V2,V4), greater_or_equal-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), P_hazard_of_mortality-{F}(V0,V10,V12), P_hazard_of_mortality-{F}(V0,V13,V12), pppp4-{F}(V0,V14,V15,V16,V9,V13), pppp4-{F}(V0,V17,V18,V19,V20,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1007: mergings( V6 == V12; #1005 ), references = 4, size of lhs = 15:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V2,V4), greater_or_equal-{F}(V3,V5), P_stock_of_knowledge-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V1,V7), P_external_ties-{F}(V0,V1,V8), P_hazard_of_mortality-{F}(V0,V1,V9), P_capability-{F}(V0,V10,V4), P_position-{F}(V0,V10,V5), P_external_ties-{F}(V0,V10,V11), pppp4-{F}(V0,V12,V13,V14,V9,V10), pppp4-{F}(V0,V15,V16,V17,V18,V10) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1039: exists( #43, #1033 ), references = 1, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), pppp4-{F}(V0,V6,V9,V2,V10,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1041: mergings( V0 == V3; #1037 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_external_ties-{F}(V0,V9,V10), P_position-{F}(V0,V9,V11), greater-{F}(V12,V11), P_position-{F}(V0,V13,V12), P_stock_of_knowledge-{F}(V0,V13,V14), P_hazard_of_mortality-{F}(V0,V13,V15), pppp4-{F}(V0,V14,V16,V2,V17,V5), pppp4-{F}(V0,V6,V18,V10,V19,V13), pppp4-{F}(V0,V6,V20,V10,V21,V13) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1043: mergings( V0 == V3; #1038 ), references = 1, size of lhs = 19:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), P_external_ties-{F}(V0,V9,V10), P_position-{F}(V0,V9,V11), P_external_ties-{F}(V0,V12,V10), P_position-{F}(V0,V12,V13), greater-{F}(V14,V11), V14 == V13, P_position-{F}(V0,V15,V14), P_stock_of_knowledge-{F}(V0,V15,V16), P_hazard_of_mortality-{F}(V0,V15,V17), pppp4-{F}(V0,V16,V18,V2,V19,V5), pppp4-{F}(V0,V6,V20,V10,V21,V15) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1047: mergings( V8 == V11; #1045 ), references = 1, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), P_hazard_of_mortality-{F}(V0,V7,V9), pppp4-{F}(V0,V8,V10,V2,V11,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1059: exists( #43, #1057 ), references = 1, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater-{F}(V4,V3), P_position-{F}(V0,V5,V4), P_stock_of_knowledge-{F}(V0,V5,V6), P_internal_friction-{F}(V0,V5,V7), P_hazard_of_mortality-{F}(V0,V5,V8), pppp4-{F}(V0,V9,V10,V2,V11,V5) | P_external_ties-{T}(V0,V5,V2)
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1063: mergings( V8 == V11; #1061 ), references = 1, size of lhs = 11:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V8), P_hazard_of_mortality-{F}(V0,V7,V9), pppp4-{F}(V0,V10,V11,V2,V12,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1066: mergings( V8 == V10; #1064 ), references = 1, size of lhs = 10:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), P_hazard_of_mortality-{F}(V0,V7,V8), pppp4-{F}(V0,V9,V10,V2,V11,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1069: mergings( V8 == V9; #1067 ), references = 1, size of lhs = 9:
% 108.06/108.30 organization-{F}(V0), P_external_ties-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), P_external_ties-{F}(V0,V4,V2), P_position-{F}(V0,V4,V5), greater-{F}(V6,V3), V6 == V5, P_position-{F}(V0,V7,V6), pppp4-{F}(V0,V8,V9,V2,V10,V7) | FALSE
% 108.06/108.30 (used 0 times, uses = {})
% 108.06/108.30
% 108.06/108.30 #1073: exists( #39, #1071 ), references = 1, size of lhs = 17:
% 108.06/108.30 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V2,V4), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V1,V6), P_external_ties-{F}(V0,V1,V7), P_hazard_of_mortality-{F}(V0,V1,V8), P_position-{F}(V0,V9,V3), P_external_ties-{F}(V0,V9,V10), P_external_ties-{F}(V0,V11,V10), P_position-{F}(V0,V11,V12), P_capability-{F}(V0,V13,V4), pppp4-{F}(V0,V14,V15,V16,V8,V13), pppp4-{F}(V0,V17,V18,V10,V19,V13), pppp4-{F}(V0,V20,V21,V22,V23,V13) | P_position-{T}(V0,V13,V3), P_position-{T}(V0,V13,V12)
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1084: mergings( V4 == V27, V1 == V24, V2 == V25, V3 == V26, V8 == V31, V5 == V28, V6 == V29, V7 == V30; #1075 ), references = 2, size of lhs = 25:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), greater_or_equal-{F}(V2,V3), greater-{F}(V2,V3), P_position-{F}(V0,V1,V4), greater_or_equal-{F}(V4,V4), P_position-{F}(V0,V5,V4), P_external_ties-{F}(V0,V5,V6), P_external_ties-{F}(V0,V7,V6), P_position-{F}(V0,V7,V8), P_stock_of_knowledge-{F}(V0,V1,V9), P_internal_friction-{F}(V0,V1,V10), P_external_ties-{F}(V0,V1,V11), P_hazard_of_mortality-{F}(V0,V1,V12), P_position-{F}(V0,V13,V4), P_external_ties-{F}(V0,V13,V14), P_external_ties-{F}(V0,V15,V14), P_position-{F}(V0,V15,V4), P_capability-{F}(V0,V16,V3), pppp4-{F}(V0,V17,V18,V19,V12,V16), pppp4-{F}(V0,V20,V21,V6,V22,V16), pppp4-{F}(V0,V23,V24,V25,V12,V16), pppp4-{F}(V0,V26,V27,V28,V29,V16), pppp4-{F}(V0,V30,V31,V32,V33,V16) | P_position-{T}(V0,V16,V8)
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1103: mergings( V3 == V31, V22 == V32, V26 == V36, V23 == V33, V24 == V34, V25 == V35, V31 == V40, V32 == V41, V36 == V45, V33 == V42, V34 == V43, V35 == V44; #1090 ), references = 1, size of lhs = 57:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_internal_friction-{F}(V0,V6,V5), P_stock_of_knowledge-{F}(V0,V6,V4), P_capability-{F}(V0,V6,V2), P_stock_of_knowledge-{F}(V0,V7,V4), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_capability-{F}(V0,V9,V2), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V4,V10), P_capability-{F}(V0,V7,V11), P_capability-{F}(V0,V12,V2), P_internal_friction-{F}(V0,V12,V13), smaller_or_equal-{F}(V13,V5), P_stock_of_knowledge-{F}(V0,V12,V14), P_stock_of_knowledge-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V17,V16), P_capability-{F}(V0,V17,V2), P_stock_of_knowledge-{F}(V0,V17,V18), smaller_or_equal-{F}(V14,V18), P_capability-{F}(V0,V15,V19), P_position-{F}(V0,V1,V20), greater_or_equal-{F}(V20,V20), P_position-{F}(V0,V21,V20), P_external_ties-{F}(V0,V21,V22), P_external_ties-{F}(V0,V23,V22), P_position-{F}(V0,V23,V24), greater_or_equal-{F}(V20,V24), P_position-{F}(V0,V25,V20), P_external_ties-{F}(V0,V25,V26), P_external_ties-{F}(V0,V27,V26), P_position-{F}(V0,V27,V20), P_stock_of_knowledge-{F}(V0,V1,V28), P_internal_friction-{F}(V0,V1,V29), P_external_ties-{F}(V0,V1,V30), P_hazard_of_mortality-{F}(V0,V1,V31), P_position-{F}(V0,V32,V24), P_external_ties-{F}(V0,V32,V33), P_external_ties-{F}(V0,V34,V33), P_position-{F}(V0,V34,V24), pppp4-{F}(V0,V4,V5,V35,V36,V37), pppp4-{F}(V0,V4,V8,V38,V39,V37), pppp4-{F}(V0,V14,V16,V40,V41,V37), pppp4-{F}(V0,V14,V42,V43,V44,V37), pppp4-{F}(V0,V45,V46,V47,V31,V37), pppp4-{F}(V0,V48,V49,V22,V50,V37), pppp4-{F}(V0,V51,V52,V53,V31,V37), pppp4-{F}(V0,V54,V55,V56,V31,V37), pppp4-{F}(V0,V57,V58,V59,V60,V37), pppp4-{F}(V0,V61,V62,V63,V64,V37), pppp4-{F}(V0,V65,V66,V67,V68,V37) | P_capability-{T}(V0,V37,V2), P_capability-{T}(V0,V37,V11), P_capability-{T}(V0,V37,V19)
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1116: mergings( V3 == V34, V22 == V35, V30 == V39, V27 == V36, V28 == V37, V29 == V38; #1109 ), references = 1, size of lhs = 57:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_internal_friction-{F}(V0,V6,V5), P_stock_of_knowledge-{F}(V0,V6,V4), P_capability-{F}(V0,V6,V2), P_stock_of_knowledge-{F}(V0,V7,V4), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_capability-{F}(V0,V9,V2), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V4,V10), P_capability-{F}(V0,V7,V11), P_capability-{F}(V0,V12,V2), P_internal_friction-{F}(V0,V12,V13), smaller_or_equal-{F}(V13,V5), P_stock_of_knowledge-{F}(V0,V12,V14), P_stock_of_knowledge-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V17,V16), P_capability-{F}(V0,V17,V2), P_stock_of_knowledge-{F}(V0,V17,V18), smaller_or_equal-{F}(V14,V18), P_capability-{F}(V0,V15,V19), P_position-{F}(V0,V1,V20), greater_or_equal-{F}(V20,V20), P_position-{F}(V0,V21,V20), P_external_ties-{F}(V0,V21,V22), P_external_ties-{F}(V0,V23,V22), P_position-{F}(V0,V23,V24), greater_or_equal-{F}(V20,V24), P_position-{F}(V0,V25,V20), P_external_ties-{F}(V0,V25,V26), P_external_ties-{F}(V0,V27,V26), P_position-{F}(V0,V27,V20), P_stock_of_knowledge-{F}(V0,V1,V28), P_internal_friction-{F}(V0,V1,V29), P_external_ties-{F}(V0,V1,V30), P_hazard_of_mortality-{F}(V0,V1,V31), P_position-{F}(V0,V32,V24), P_external_ties-{F}(V0,V32,V33), P_external_ties-{F}(V0,V34,V33), P_position-{F}(V0,V34,V24), pppp4-{F}(V0,V4,V5,V35,V36,V37), pppp4-{F}(V0,V4,V8,V38,V39,V37), pppp4-{F}(V0,V14,V16,V40,V41,V37), pppp4-{F}(V0,V14,V42,V43,V44,V37), pppp4-{F}(V0,V45,V46,V47,V31,V37), pppp4-{F}(V0,V48,V49,V22,V50,V37), pppp4-{F}(V0,V51,V52,V53,V31,V37), pppp4-{F}(V0,V54,V55,V56,V31,V37), pppp4-{F}(V0,V57,V58,V59,V60,V37), pppp4-{F}(V0,V61,V62,V63,V64,V37), pppp4-{F}(V0,V65,V66,V67,V68,V37) | P_capability-{T}(V0,V37,V2), P_capability-{T}(V0,V37,V11), P_capability-{T}(V0,V37,V19)
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1140: mergings( V1 == V32, V20 == V33, V28 == V37, V25 == V34, V26 == V35, V27 == V36, V32 == V75, V2 == V76, V33 == V77, V37 == V81, V34 == V78, V35 == V79, V36 == V80, V75 == V129, V76 == V130, V77 == V131, V81 == V135, V78 == V132, V79 == V133, V80 == V134; #1119 ), references = 1, size of lhs = 131:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), greater_or_equal-{F}(V2,V2), P_capability-{F}(V0,V3,V2), P_stock_of_knowledge-{F}(V0,V3,V4), P_internal_friction-{F}(V0,V3,V5), P_internal_friction-{F}(V0,V6,V5), P_stock_of_knowledge-{F}(V0,V6,V4), P_capability-{F}(V0,V6,V2), P_stock_of_knowledge-{F}(V0,V7,V4), P_internal_friction-{F}(V0,V7,V8), P_internal_friction-{F}(V0,V9,V8), P_capability-{F}(V0,V9,V2), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V4,V10), P_capability-{F}(V0,V7,V11), greater_or_equal-{F}(V2,V11), P_capability-{F}(V0,V12,V2), P_internal_friction-{F}(V0,V12,V13), smaller_or_equal-{F}(V13,V5), P_stock_of_knowledge-{F}(V0,V12,V14), P_stock_of_knowledge-{F}(V0,V15,V14), P_internal_friction-{F}(V0,V15,V16), P_internal_friction-{F}(V0,V17,V16), P_capability-{F}(V0,V17,V2), P_stock_of_knowledge-{F}(V0,V17,V18), smaller_or_equal-{F}(V14,V18), P_capability-{F}(V0,V15,V19), P_capability-{F}(V0,V20,V2), P_stock_of_knowledge-{F}(V0,V20,V21), P_internal_friction-{F}(V0,V20,V22), P_capability-{F}(V0,V23,V2), P_stock_of_knowledge-{F}(V0,V23,V24), P_internal_friction-{F}(V0,V23,V25), P_capability-{F}(V0,V26,V2), P_stock_of_knowledge-{F}(V0,V26,V27), P_internal_friction-{F}(V0,V26,V28), P_capability-{F}(V0,V29,V2), P_stock_of_knowledge-{F}(V0,V29,V30), P_internal_friction-{F}(V0,V29,V31), P_position-{F}(V0,V1,V32), greater_or_equal-{F}(V32,V32), P_position-{F}(V0,V33,V32), P_external_ties-{F}(V0,V33,V34), P_external_ties-{F}(V0,V35,V34), P_position-{F}(V0,V35,V36), greater_or_equal-{F}(V32,V36), P_position-{F}(V0,V37,V32), P_external_ties-{F}(V0,V37,V38), P_external_ties-{F}(V0,V39,V38), P_position-{F}(V0,V39,V32), P_position-{F}(V0,V40,V36), P_external_ties-{F}(V0,V40,V41), P_external_ties-{F}(V0,V42,V41), P_position-{F}(V0,V42,V36), P_position-{F}(V0,V43,V32), P_external_ties-{F}(V0,V43,V44), P_position-{F}(V0,V45,V32), P_external_ties-{F}(V0,V45,V46), P_external_ties-{F}(V0,V47,V46), P_position-{F}(V0,V47,V48), P_position-{F}(V0,V49,V32), P_external_ties-{F}(V0,V49,V50), P_external_ties-{F}(V0,V51,V50), P_position-{F}(V0,V51,V32), P_position-{F}(V0,V52,V48), P_external_ties-{F}(V0,V52,V53), P_external_ties-{F}(V0,V54,V53), P_position-{F}(V0,V54,V48), P_stock_of_knowledge-{F}(V0,V1,V55), P_internal_friction-{F}(V0,V1,V56), P_external_ties-{F}(V0,V1,V57), P_hazard_of_mortality-{F}(V0,V1,V58), P_position-{F}(V0,V59,V32), P_external_ties-{F}(V0,V59,V60), P_position-{F}(V0,V61,V32), P_external_ties-{F}(V0,V61,V62), P_external_ties-{F}(V0,V63,V62), P_position-{F}(V0,V63,V64), P_position-{F}(V0,V65,V32), P_external_ties-{F}(V0,V65,V66), P_external_ties-{F}(V0,V67,V66), P_position-{F}(V0,V67,V32), P_capability-{F}(V0,V68,V11), P_stock_of_knowledge-{F}(V0,V68,V69), P_internal_friction-{F}(V0,V68,V70), P_capability-{F}(V0,V71,V11), P_stock_of_knowledge-{F}(V0,V71,V72), P_internal_friction-{F}(V0,V71,V73), P_capability-{F}(V0,V74,V11), P_stock_of_knowledge-{F}(V0,V74,V75), P_internal_friction-{F}(V0,V74,V76), P_position-{F}(V0,V77,V64), P_external_ties-{F}(V0,V77,V78), P_external_ties-{F}(V0,V79,V78), P_position-{F}(V0,V79,V64), P_capability-{F}(V0,V80,V11), P_stock_of_knowledge-{F}(V0,V80,V81), P_internal_friction-{F}(V0,V80,V82), pppp4-{F}(V0,V4,V5,V83,V84,V85), pppp4-{F}(V0,V4,V8,V86,V87,V85), pppp4-{F}(V0,V14,V16,V88,V89,V85), pppp4-{F}(V0,V90,V25,V46,V91,V85), pppp4-{F}(V0,V24,V92,V44,V93,V85), pppp4-{F}(V0,V94,V22,V44,V95,V85), pppp4-{F}(V0,V21,V96,V44,V97,V85), pppp4-{F}(V0,V98,V28,V50,V99,V85), pppp4-{F}(V0,V27,V100,V50,V101,V85), pppp4-{F}(V0,V102,V31,V53,V103,V85), pppp4-{F}(V0,V30,V104,V53,V105,V85), pppp4-{F}(V0,V106,V73,V62,V107,V85), pppp4-{F}(V0,V72,V108,V60,V109,V85), pppp4-{F}(V0,V110,V70,V60,V111,V85), pppp4-{F}(V0,V69,V112,V60,V113,V85), pppp4-{F}(V0,V114,V76,V66,V115,V85), pppp4-{F}(V0,V75,V116,V66,V117,V85), pppp4-{F}(V0,V118,V82,V78,V119,V85), pppp4-{F}(V0,V81,V120,V78,V121,V85), pppp4-{F}(V0,V14,V122,V123,V124,V85), pppp4-{F}(V0,V125,V126,V127,V58,V85), pppp4-{F}(V0,V128,V129,V34,V130,V85), pppp4-{F}(V0,V131,V132,V133,V58,V85), pppp4-{F}(V0,V134,V135,V136,V58,V85), pppp4-{F}(V0,V137,V138,V139,V58,V85), pppp4-{F}(V0,V140,V141,V142,V58,V85), pppp4-{F}(V0,V143,V144,V145,V146,V85), pppp4-{F}(V0,V147,V148,V149,V150,V85), pppp4-{F}(V0,V151,V152,V153,V154,V85), pppp4-{F}(V0,V155,V156,V157,V158,V85), pppp4-{F}(V0,V159,V160,V161,V162,V85) | P_capability-{T}(V0,V85,V19)
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1172: mergings( V1 == V7, V2 == V25, V3 == V26, V4 == V27, V7 == V31, V21 == V32, V25 == V33, V26 == V34, V27 == V35, V31 == V39, V8 == V40, V32 == V41, V33 == V42, V34 == V43, V35 == V44, V39 == V57, V40 == V58, V41 == V59, V42 == V60, V43 == V61, V44 == V62, V57 == V75, V58 == V76, V59 == V77, V60 == V78, V61 == V79, V62 == V80; #1144 ), references = 1, size of lhs = 127:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_hazard_of_mortality-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V3), greater_or_equal-{F}(V3,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V4,V6), P_internal_friction-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V5), P_capability-{F}(V0,V7,V3), P_stock_of_knowledge-{F}(V0,V8,V5), P_internal_friction-{F}(V0,V8,V6), P_internal_friction-{F}(V0,V9,V6), P_capability-{F}(V0,V9,V3), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V5,V10), P_capability-{F}(V0,V8,V11), greater_or_equal-{F}(V3,V11), P_capability-{F}(V0,V12,V3), P_stock_of_knowledge-{F}(V0,V12,V5), P_internal_friction-{F}(V0,V12,V13), smaller_or_equal-{F}(V13,V6), P_stock_of_knowledge-{F}(V0,V14,V5), P_internal_friction-{F}(V0,V14,V6), P_internal_friction-{F}(V0,V15,V6), P_capability-{F}(V0,V15,V3), P_stock_of_knowledge-{F}(V0,V15,V16), smaller_or_equal-{F}(V5,V16), P_capability-{F}(V0,V14,V17), greater_or_equal-{F}(V3,V17), P_capability-{F}(V0,V18,V3), P_stock_of_knowledge-{F}(V0,V18,V5), P_internal_friction-{F}(V0,V18,V6), P_capability-{F}(V0,V19,V3), P_stock_of_knowledge-{F}(V0,V19,V5), P_internal_friction-{F}(V0,V19,V6), P_capability-{F}(V0,V20,V3), P_stock_of_knowledge-{F}(V0,V20,V5), P_internal_friction-{F}(V0,V20,V6), P_capability-{F}(V0,V21,V3), P_stock_of_knowledge-{F}(V0,V21,V5), P_internal_friction-{F}(V0,V21,V6), P_capability-{F}(V0,V22,V11), P_stock_of_knowledge-{F}(V0,V22,V5), P_internal_friction-{F}(V0,V22,V6), P_capability-{F}(V0,V23,V11), P_stock_of_knowledge-{F}(V0,V23,V5), P_internal_friction-{F}(V0,V23,V6), P_capability-{F}(V0,V24,V11), P_stock_of_knowledge-{F}(V0,V24,V5), P_internal_friction-{F}(V0,V24,V6), P_capability-{F}(V0,V25,V11), P_stock_of_knowledge-{F}(V0,V25,V5), P_internal_friction-{F}(V0,V25,V6), P_position-{F}(V0,V1,V26), greater_or_equal-{F}(V26,V26), P_position-{F}(V0,V27,V26), P_external_ties-{F}(V0,V27,V28), P_external_ties-{F}(V0,V1,V28), P_external_ties-{F}(V0,V29,V28), P_position-{F}(V0,V29,V30), greater_or_equal-{F}(V26,V30), P_position-{F}(V0,V31,V26), P_external_ties-{F}(V0,V31,V32), P_external_ties-{F}(V0,V33,V32), P_position-{F}(V0,V33,V26), P_position-{F}(V0,V34,V30), P_external_ties-{F}(V0,V34,V35), P_external_ties-{F}(V0,V36,V35), P_position-{F}(V0,V36,V30), P_position-{F}(V0,V37,V26), P_external_ties-{F}(V0,V37,V28), P_position-{F}(V0,V38,V26), P_external_ties-{F}(V0,V38,V28), P_external_ties-{F}(V0,V39,V28), P_position-{F}(V0,V39,V40), P_position-{F}(V0,V41,V26), P_external_ties-{F}(V0,V41,V28), P_external_ties-{F}(V0,V42,V28), P_position-{F}(V0,V42,V26), P_position-{F}(V0,V43,V40), P_external_ties-{F}(V0,V43,V28), P_external_ties-{F}(V0,V44,V28), P_position-{F}(V0,V44,V40), P_position-{F}(V0,V45,V26), P_external_ties-{F}(V0,V45,V28), P_position-{F}(V0,V46,V26), P_external_ties-{F}(V0,V46,V28), P_external_ties-{F}(V0,V47,V28), P_position-{F}(V0,V47,V48), P_position-{F}(V0,V49,V26), P_external_ties-{F}(V0,V49,V28), P_external_ties-{F}(V0,V50,V28), P_position-{F}(V0,V50,V26), P_position-{F}(V0,V51,V48), P_external_ties-{F}(V0,V51,V28), P_external_ties-{F}(V0,V52,V28), P_position-{F}(V0,V52,V48), P_position-{F}(V0,V53,V26), P_external_ties-{F}(V0,V53,V28), P_position-{F}(V0,V54,V26), P_external_ties-{F}(V0,V54,V28), P_external_ties-{F}(V0,V55,V28), P_position-{F}(V0,V55,V56), P_position-{F}(V0,V57,V26), P_external_ties-{F}(V0,V57,V28), P_external_ties-{F}(V0,V58,V28), P_position-{F}(V0,V58,V26), P_capability-{F}(V0,V59,V17), P_stock_of_knowledge-{F}(V0,V59,V5), P_internal_friction-{F}(V0,V59,V6), P_capability-{F}(V0,V60,V17), P_stock_of_knowledge-{F}(V0,V60,V5), P_internal_friction-{F}(V0,V60,V6), P_capability-{F}(V0,V61,V17), P_stock_of_knowledge-{F}(V0,V61,V5), P_internal_friction-{F}(V0,V61,V6), P_position-{F}(V0,V62,V56), P_external_ties-{F}(V0,V62,V28), P_external_ties-{F}(V0,V63,V28), P_position-{F}(V0,V63,V56), P_capability-{F}(V0,V64,V17), P_stock_of_knowledge-{F}(V0,V64,V5), P_internal_friction-{F}(V0,V64,V6) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1195: mergings( V6 == V26, V26 == V35, V35 == V44, V19 == V23, V23 == V20, V20 == V27, V27 == V30, V30 == V36, V36 == V39, V39 == V45, V45 == V48, V3 == V21, V21 == V24, V24 == V28, V28 == V37, V37 == V46, V4 == V22, V22 == V25, V25 == V29, V29 == V38, V38 == V47; #1173 ), references = 2, size of lhs = 71:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_hazard_of_mortality-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V3), greater_or_equal-{F}(V3,V3), P_capability-{F}(V0,V4,V3), P_stock_of_knowledge-{F}(V0,V4,V5), P_stock_of_knowledge-{F}(V0,V1,V5), P_internal_friction-{F}(V0,V4,V6), P_internal_friction-{F}(V0,V1,V6), P_internal_friction-{F}(V0,V7,V6), P_stock_of_knowledge-{F}(V0,V7,V5), P_capability-{F}(V0,V7,V3), P_stock_of_knowledge-{F}(V0,V8,V5), P_internal_friction-{F}(V0,V8,V6), P_internal_friction-{F}(V0,V9,V6), P_capability-{F}(V0,V9,V3), P_stock_of_knowledge-{F}(V0,V9,V10), smaller_or_equal-{F}(V5,V10), P_capability-{F}(V0,V8,V11), greater_or_equal-{F}(V3,V11), P_capability-{F}(V0,V12,V3), P_stock_of_knowledge-{F}(V0,V12,V5), P_internal_friction-{F}(V0,V12,V13), smaller_or_equal-{F}(V13,V6), P_stock_of_knowledge-{F}(V0,V14,V5), P_internal_friction-{F}(V0,V14,V6), P_internal_friction-{F}(V0,V15,V6), P_capability-{F}(V0,V15,V3), P_stock_of_knowledge-{F}(V0,V15,V16), smaller_or_equal-{F}(V5,V16), P_capability-{F}(V0,V14,V17), greater_or_equal-{F}(V3,V17), P_capability-{F}(V0,V18,V3), P_stock_of_knowledge-{F}(V0,V18,V5), P_internal_friction-{F}(V0,V18,V6), P_capability-{F}(V0,V19,V3), P_stock_of_knowledge-{F}(V0,V19,V5), P_internal_friction-{F}(V0,V19,V6), P_capability-{F}(V0,V20,V3), P_stock_of_knowledge-{F}(V0,V20,V5), P_internal_friction-{F}(V0,V20,V6), P_capability-{F}(V0,V21,V3), P_stock_of_knowledge-{F}(V0,V21,V5), P_internal_friction-{F}(V0,V21,V6), P_capability-{F}(V0,V22,V11), P_stock_of_knowledge-{F}(V0,V22,V5), P_internal_friction-{F}(V0,V22,V6), P_capability-{F}(V0,V23,V11), P_stock_of_knowledge-{F}(V0,V23,V5), P_internal_friction-{F}(V0,V23,V6), P_capability-{F}(V0,V24,V11), P_stock_of_knowledge-{F}(V0,V24,V5), P_internal_friction-{F}(V0,V24,V6), P_capability-{F}(V0,V25,V11), P_stock_of_knowledge-{F}(V0,V25,V5), P_internal_friction-{F}(V0,V25,V6), P_capability-{F}(V0,V26,V17), P_stock_of_knowledge-{F}(V0,V26,V5), P_internal_friction-{F}(V0,V26,V6), P_capability-{F}(V0,V27,V17), P_stock_of_knowledge-{F}(V0,V27,V5), P_internal_friction-{F}(V0,V27,V6), P_capability-{F}(V0,V28,V17), P_stock_of_knowledge-{F}(V0,V28,V5), P_internal_friction-{F}(V0,V28,V6), P_position-{F}(V0,V1,V29), greater_or_equal-{F}(V29,V29), P_capability-{F}(V0,V30,V17), P_stock_of_knowledge-{F}(V0,V30,V5), P_internal_friction-{F}(V0,V30,V6) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1203: mergings( V4 == V7, V7 == V9, V6 == V8, V8 == V5; #1198 ), references = 2, size of lhs = 9:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_hazard_of_mortality-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V3), greater_or_equal-{F}(V3,V3), P_position-{F}(V0,V1,V4), greater_or_equal-{F}(V4,V4), P_stock_of_knowledge-{F}(V0,V1,V5), smaller_or_equal-{F}(V5,V5) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1207: exists( #41, #1205 ), references = 1, size of lhs = 7:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_hazard_of_mortality-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V3), greater_or_equal-{F}(V3,V3), P_position-{F}(V0,V1,V4), greater_or_equal-{F}(V4,V4) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1209: exists( #40, #1206 ), references = 2, size of lhs = 6:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), greater_or_equal-{F}(V2,V2), P_position-{F}(V0,V1,V3), greater_or_equal-{F}(V3,V3) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1213: exists( #39, #1211 ), references = 2, size of lhs = 4:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), greater_or_equal-{F}(V2,V2) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1217: exists( #38, #1215 ), references = 1, size of lhs = 2:
% 108.06/108.31 organization-{F}(V0), pppp5-{F}(V0,V1) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1219: exists( #24, #1216 ), references = 1, size of lhs = 2:
% 108.06/108.31 pppp6-{F}(V0), organization-{F}(V0) | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 #1222: exists( #23, #1220 ), references = 1, size of lhs = 0:
% 108.06/108.31 FALSE | FALSE
% 108.06/108.31 (used 0 times, uses = {})
% 108.06/108.31
% 108.06/108.31 number of learnt formulas = 149
% 108.06/108.31
% 108.06/108.31
% 108.06/108.31 % SZS output end Refutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 108.06/108.31
% 108.06/108.31 randbase = 1
%------------------------------------------------------------------------------