TSTP Solution File: MGT042+1 by Geo-III---2018C
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Geo-III---2018C
% Problem : MGT042+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : geo -tptp_input -nonempty -inputfile %s
% Computer : n010.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Sat Jul 23 06:10:42 EDT 2022
% Result : Theorem 38.04s 38.25s
% Output : Refutation 38.04s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : MGT042+1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.13 % Command : geo -tptp_input -nonempty -inputfile %s
% 0.12/0.34 % Computer : n010.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Fri Jul 22 11:09:11 EDT 2022
% 0.12/0.34 % CPUTime :
% 38.04/38.25 GeoParameters:
% 38.04/38.25
% 38.04/38.25 tptp_input = 1
% 38.04/38.25 tptp_output = 0
% 38.04/38.25 nonempty = 1
% 38.04/38.25 inputfile = /export/starexec/sandbox2/benchmark/theBenchmark.p
% 38.04/38.25 includepath = /export/starexec/sandbox2/solver/bin/../../benchmark/
% 38.04/38.25
% 38.04/38.25
% 38.04/38.25 % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 38.04/38.25 % SZS output start Refutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 38.04/38.25
% 38.04/38.25 RuleSystem INPUT:
% 38.04/38.25
% 38.04/38.25 Initial Rules:
% 38.04/38.25 #0: input, references = 5, size of lhs = 1:
% 38.04/38.25 smaller_or_equal-{F}(V0,V1) | pppp0-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1: input, references = 9, size of lhs = 1:
% 38.04/38.25 pppp0-{F}(V0,V1) | smaller_or_equal-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #2: input, references = 5, size of lhs = 2:
% 38.04/38.25 pppp0-{F}(V0,V1), V0 == V1 | smaller-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #3: input, references = 7, size of lhs = 1:
% 38.04/38.25 smaller-{F}(V0,V1) | pppp0-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #4: input, references = 5, size of lhs = 1:
% 38.04/38.25 #-{F} V1 | pppp0-{T}(V1,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #5: input, references = 5, size of lhs = 1:
% 38.04/38.25 greater_or_equal-{F}(V0,V1) | pppp1-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #6: input, references = 16, size of lhs = 1:
% 38.04/38.25 pppp1-{F}(V0,V1) | greater_or_equal-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #7: input, references = 5, size of lhs = 2:
% 38.04/38.25 pppp1-{F}(V0,V1), V0 == V1 | greater-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #8: input, references = 14, size of lhs = 1:
% 38.04/38.25 greater-{F}(V0,V1) | pppp1-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #9: input, references = 5, size of lhs = 1:
% 38.04/38.25 #-{F} V1 | pppp1-{T}(V1,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #10: input, references = 46, size of lhs = 1:
% 38.04/38.25 smaller-{F}(V0,V1) | greater-{T}(V1,V0)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #11: input, references = 4, size of lhs = 1:
% 38.04/38.25 greater-{F}(V1,V0) | smaller-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #12: input, references = 30, size of lhs = 2:
% 38.04/38.25 greater-{F}(V0,V1), greater-{F}(V1,V0) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #13: input, references = 17, size of lhs = 2:
% 38.04/38.25 greater-{F}(V0,V1), greater-{F}(V2,V0) | greater-{T}(V2,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #14: input, references = 15, size of lhs = 3:
% 38.04/38.25 #-{F} V0, #-{F} V1, V0 == V1 | smaller-{T}(V0,V1), greater-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #15: input, references = 4, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #16: input, references = 7, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #17: input, references = 3, size of lhs = 8:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #18: input, references = 19, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #19: input, references = 13, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #20: input, references = 5, size of lhs = 8:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #21: input, references = 8, size of lhs = 6:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #22: input, references = 8, size of lhs = 6:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #23: input, references = 4, size of lhs = 0:
% 38.04/38.25 FALSE | EXISTS V0: pppp6-{T}(V0)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #24: input, references = 4, size of lhs = 1:
% 38.04/38.25 pppp6-{F}(V0) | EXISTS V1: pppp5-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #25: input, references = 4, size of lhs = 1:
% 38.04/38.25 pppp6-{F}(V0) | organization-{T}(V0)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #26: input, references = 4, size of lhs = 5:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #27: input, references = 4, size of lhs = 6:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #28: input, references = 48, size of lhs = 5:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #29: input, references = 4, size of lhs = 2:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #30: input, references = 6, size of lhs = 1:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #31: input, references = 4, size of lhs = 1:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #32: input, references = 5, size of lhs = 1:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #33: input, references = 3, size of lhs = 2:
% 38.04/38.25 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), has_immunity-{F}(V0,V1) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #34: input, references = 4, size of lhs = 2:
% 38.04/38.25 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7), smaller-{F}(V6,V7) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #35: input, references = 4, size of lhs = 1:
% 38.04/38.25 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | greater_or_equal-{T}(V4,V5)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #36: input, references = 9, size of lhs = 1:
% 38.04/38.25 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | smaller_or_equal-{T}(V2,V3)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #37: input, references = 17, size of lhs = 1:
% 38.04/38.25 pppp2-{F}(V0,V1,V2,V3,V4,V5,V6,V7) | greater-{T}(V0,V1)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #38: input, references = 6, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_capability-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #39: input, references = 6, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_position-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #40: input, references = 10, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_hazard_of_mortality-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #41: input, references = 12, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_stock_of_knowledge-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #42: input, references = 23, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_internal_friction-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #43: input, references = 20, size of lhs = 2:
% 38.04/38.25 #-{F} V0, #-{F} V1 | EXISTS V2: P_external_ties-{T}(V0,V1,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 number of initial rules = 44
% 38.04/38.25
% 38.04/38.25 Simplifiers:
% 38.04/38.25 #44: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 organization-{F}(V0), organization-{F}(V1), V0 == V1 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #45: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 has_immunity-{F}(V0,V1), has_immunity-{F}(V2,V3), V0 == V2 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #46: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_capability-{F}(V0,V1,V2), P_capability-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #47: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_position-{F}(V0,V1,V2), P_position-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #48: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_hazard_of_mortality-{F}(V0,V1,V2), P_hazard_of_mortality-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #49: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_stock_of_knowledge-{F}(V0,V1,V2), P_stock_of_knowledge-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #50: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_internal_friction-{F}(V0,V1,V2), P_internal_friction-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #51: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 P_external_ties-{F}(V0,V1,V2), P_external_ties-{F}(V0,V1,V5), V2 == V5 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #52: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #53: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #54: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #55: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #56: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #57: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #58: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 pppp4-{F}(V0,V1,V2,V3,V4,V5), pppp4-{F}(V0,V1,V2,V3,V4,V11), V5 == V11 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #59: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 pppp4-{F}(V0,V1,V2,V3,V4,V5), pppp4-{F}(V6,V7,V8,V9,V10,V11), V0 == V6 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #60: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 pppp5-{F}(V0,V1), pppp5-{F}(V0,V3), V1 == V3 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #61: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 pppp5-{F}(V0,V1), pppp5-{F}(V2,V3), V0 == V2 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #62: unsound, references = 3, size of lhs = 3:
% 38.04/38.25 pppp6-{F}(V0), pppp6-{F}(V1), V0 == V1 | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 number of simplifiers = 19
% 38.04/38.25
% 38.04/38.25 Learnt:
% 38.04/38.25 #66: disj( #14, #19+#10+#12 ), references = 2, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #74: mergings( V4 == V10, V3 == V11; #71 ), references = 1, size of lhs = 11:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #76: disj( #30, input ), references = 4, size of lhs = 1:
% 38.04/38.25 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V6,V7,V8) | pppp2-{T}(V2,V3,V4,V5,V6,V6,V7,V8)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #82: mergings( V4 == V12; #80 ), references = 4, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #96: exists( #43, #94 ), references = 3, size of lhs = 5:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #98: exists( #42, #95 ), references = 3, size of lhs = 4:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #100: exists( #41, #97 ), references = 3, size of lhs = 3:
% 38.04/38.25 smaller-{F}(V0,V1), P_hazard_of_mortality-{F}(V2,V3,V1), pppp4-{F}(V2,V4,V5,V6,V0,V3) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #110: disj( #14, exists( #41, #97 ) ), references = 1, size of lhs = 3:
% 38.04/38.25 P_hazard_of_mortality-{F}(V0,V1,V2), pppp4-{F}(V0,V3,V4,V5,V6,V1), V6 == V2 | greater-{T}(V6,V2)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #119: disj( #14, #10+#21+#12 ), references = 1, size of lhs = 6:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #124: mergings( V3 == V7; #122 ), references = 7, size of lhs = 6:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #145: mergings( V14 == V15, V16 == V0; #140 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #148: mergings( V14 == V15, V12 == V16; #142 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #151: mergings( V14 == V15, V16 == V0; #141 ), references = 1, size of lhs = 19:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #156: mergings( V13 == V14; #153 ), references = 1, size of lhs = 16:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #158: mergings( V13 == V14; #154 ), references = 1, size of lhs = 16:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #161: mergings( V13 == V14, V15 == V0; #152 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #165: exists( #40, #153 ), references = 5, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #166: exists( #40, #154 ), references = 2, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #167: exists( #40, #152 ), references = 1, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #180: exists( #42, #178 ), references = 2, size of lhs = 5:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #188: mergings( V7 == V8; #186 ), references = 2, size of lhs = 10:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #194: mergings( V3 == V0; #192 ), references = 1, size of lhs = 13:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #198: mergings( V8 == V12, V7 == V11; #195 ), references = 3, size of lhs = 9:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #201: mergings( V7 == V8; #199 ), references = 7, size of lhs = 8:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #210: disj( #14, #10+#13+#18+#12 ), references = 1, size of lhs = 10:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #213: exists( #43, #165 ), references = 5, size of lhs = 14:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #214: exists( #43, #166 ), references = 5, size of lhs = 14:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #223: disj( #14, exists( #43, #165 ) ), references = 4, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #224: disj( #14, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #232: mergings( V4 == V12; #228 ), references = 1, size of lhs = 15:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #235: mergings( V8 == V20; #233 ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #248: mergings( V6 == V10, V14 == V16, V17 == V0; #242 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #252: mergings( V6 == V10, V14 == V16, V17 == V0; #243 ), references = 1, size of lhs = 19:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #256: mergings( V6 == V10, V14 == V16, V17 == V0; #244 ), references = 1, size of lhs = 20:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #263: mergings( V6 == V10, V13 == V15, V16 == V0; #257 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #267: mergings( V6 == V10, V13 == V15, V16 == V0; #258 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #272: mergings( V6 == V10, V10 == V13, V13 == V15, V12 == V16; #259 ), references = 1, size of lhs = 16:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #279: mergings( V6 == V10, V12 == V14, V15 == V0; #273 ), references = 1, size of lhs = 16:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #283: mergings( V6 == V10, V10 == V12, V12 == V14; #274 ), references = 6, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #287: mergings( V6 == V10, V10 == V13, V13 == V14; #275 ), references = 6, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #295: mergings( V4 == V11; #293 ), references = 1, size of lhs = 13:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #319: disj( #14, #10+#13+#11+#3+#1+#18+#12 ), references = 1, size of lhs = 10:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #332: disj( #14, #21+#12 ), references = 9, size of lhs = 7:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #334: mergings( V2 == V3; #330 ), references = 1, size of lhs = 18:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #336: mergings( V2 == V3; #331 ), references = 1, size of lhs = 18:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #340: disj( #30, #37+#12 ), references = 1, size of lhs = 2:
% 38.04/38.25 greater-{F}(V0,V1), pppp3-{F}(V2,V3,V1,V0,V4,V5,V6,V7,V8,V9) | greater-{T}(V6,V7)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #346: exists( #43, #344 ), references = 1, size of lhs = 10:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #355: mergings( V8 == V12, V7 == V10; #350 ), references = 3, size of lhs = 11:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #357: mergings( V8 == V12; #351 ), references = 3, size of lhs = 12:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #358: exists( #42, #349 ), references = 1, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #366: disj( #30, input ), references = 9, size of lhs = 2:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #367: disj( #30, exists( #43, #165 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #368: disj( #30, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #384: mergings( V0 == V3; #382 ), references = 1, size of lhs = 16:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #393: mergings( V8 == V16, V13 == V14; #388 ), references = 2, size of lhs = 16:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #396: mergings( V7 == V14, V11 == V12; #389 ), references = 2, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #400: mergings( V7 == V14, V13 == V18, V11 == V12; #390 ), references = 2, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #432: mergings( V0 == V3; #428 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #434: mergings( V0 == V3; #429 ), references = 1, size of lhs = 25:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #436: mergings( V0 == V3; #430 ), references = 1, size of lhs = 25:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #445: mergings( V3 == V0, V9 == V12; #440 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #447: mergings( V3 == V0; #441 ), references = 1, size of lhs = 28:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #450: mergings( V3 == V0, V9 == V14; #442 ), references = 1, size of lhs = 28:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #457: mergings( V8 == V10, V10 == V11, V9 == V21; #451 ), references = 1, size of lhs = 21:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #461: mergings( V8 == V18, V6 == V12, V7 == V22; #452 ), references = 1, size of lhs = 23:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #466: mergings( V8 == V19, V6 == V13, V7 == V12, V12 == V23; #453 ), references = 1, size of lhs = 23:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #472: mergings( V8 == V9, V9 == V10; #467 ), references = 1, size of lhs = 20:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #475: mergings( V7 == V17, V6 == V11; #468 ), references = 1, size of lhs = 22:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #478: mergings( V7 == V17, V6 == V11; #469 ), references = 1, size of lhs = 22:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #490: mergings( V6 == V17, V17 == V21; #486 ), references = 1, size of lhs = 28:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #493: mergings( V6 == V17, V17 == V21; #487 ), references = 1, size of lhs = 28:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #499: mergings( V4 == V16, V16 == V20, V20 == V42; #495 ), references = 3, size of lhs = 37:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #527: disj( #15, input, exists( #41, #97 ) ), references = 2, size of lhs = 12:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #528: disj( #15, input, exists( #42, #95 ) ), references = 1, size of lhs = 13:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #529: disj( #15, input, exists( #43, #94 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #561: disj( #14, #10+#13+#19+#10+#12 ), references = 1, size of lhs = 11:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #563: mergings( V2 == V3; #559 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #565: mergings( V2 == V3; #560 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #574: disj( #31, #0+#2+#10+#12 ), references = 5, size of lhs = 3:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #578: disj( #14, #573+#37+#12 ), references = 6, size of lhs = 2:
% 38.04/38.25 pppp3-{F}(V0,V1,V2,V2,V3,V4,V5,V6,V7,V8), V3 == V4 | smaller-{T}(V3,V4)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #598: mergings( V3 == V9; #594 ), references = 3, size of lhs = 11:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #601: mergings( V0 == V3, V7 == V18; #595 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #604: mergings( V0 == V3, V7 == V18; #596 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #609: disj( #32, exists( #43, #165 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #610: disj( #32, exists( #43, #166 ) ), references = 1, size of lhs = 14:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #611: disj( #32, exists( #40, #153 ) ), references = 1, size of lhs = 15:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #625: mergings( V0 == V3; #621 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #628: mergings( V3 == V12, V12 == V0; #622 ), references = 1, size of lhs = 26:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #631: mergings( V3 == V12, V12 == V0; #623 ), references = 1, size of lhs = 27:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #635: disj( #32, #5+#7+#12 ), references = 1, size of lhs = 3:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #640: disj( #14, #10+#634+#37+#12 ), references = 15, size of lhs = 2:
% 38.04/38.25 pppp3-{F}(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9), V2 == V3 | greater-{T}(V2,V3)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #669: disj( #14, #574+#36+#18+#12 ), references = 1, size of lhs = 11:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #671: mergings( V2 == V3; #667 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #673: mergings( V2 == V3; #668 ), references = 1, size of lhs = 23:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #696: mergings( V9 == V11; #692 ), references = 1, size of lhs = 15:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #699: mergings( V0 == V3, V6 == V8; #693 ), references = 1, size of lhs = 27:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #702: mergings( V0 == V3, V6 == V8; #694 ), references = 1, size of lhs = 27:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #722: mergings( V9 == V10, V10 == V15, V17 == V19, V16 == V18; #715 ), references = 1, size of lhs = 19:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #728: mergings( V0 == V3, V6 == V12, V12 == V19, V21 == V23, V20 == V22; #716 ), references = 1, size of lhs = 31:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #734: mergings( V0 == V3, V6 == V12, V12 == V19, V21 == V23, V20 == V22; #717 ), references = 1, size of lhs = 31:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #762: exists( #43, #758 ), references = 3, size of lhs = 37:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #794: mergings( V3 == V0; #791 ), references = 1, size of lhs = 37:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #795: exists( #43, #790 ), references = 1, size of lhs = 37:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #825: mergings( V3 == V4, V0 == V4; #820 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #828: mergings( V3 == V4, V0 == V4; #821 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #830: mergings( V3 == V0; #822 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #835: mergings( V13 == V15; #833 ), references = 1, size of lhs = 20:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #838: mergings( V0 == V3, V14 == V17; #831 ), references = 1, size of lhs = 21:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #841: mergings( V0 == V3, V14 == V17; #832 ), references = 1, size of lhs = 21:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #846: exists( #43, #844 ), references = 1, size of lhs = 6:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #848: exists( #42, #845 ), references = 1, size of lhs = 5:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #868: mergings( V0 == V3; #864 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #870: mergings( V0 == V3; #865 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #871: exists( #43, #863 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #876: mergings( V0 == V3; #872 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #878: mergings( V0 == V3; #873 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #879: exists( #42, #866 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #904: exists( #43, #898 ), references = 1, size of lhs = 5:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #928: mergings( V3 == V4, V0 == V4; #923 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #931: mergings( V3 == V4, V0 == V4; #924 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #933: mergings( V3 == V0; #925 ), references = 1, size of lhs = 25:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #992: disj( #14, #10+#762 ), references = 2, size of lhs = 33:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #999: mergings( V6 == V12, V15 == V16, V17 == V0; #995 ), references = 1, size of lhs = 18:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1004: mergings( V6 == V12, V14 == V15, V16 == V0; #1000 ), references = 1, size of lhs = 17:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1007: mergings( V6 == V12; #1005 ), references = 4, size of lhs = 15:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1039: exists( #43, #1033 ), references = 1, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1041: mergings( V0 == V3; #1037 ), references = 1, size of lhs = 17:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1043: mergings( V0 == V3; #1038 ), references = 1, size of lhs = 19:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1047: mergings( V8 == V11; #1045 ), references = 1, size of lhs = 11:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1059: exists( #43, #1057 ), references = 1, size of lhs = 9:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1063: mergings( V8 == V11; #1061 ), references = 1, size of lhs = 11:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1066: mergings( V8 == V10; #1064 ), references = 1, size of lhs = 10:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1069: mergings( V8 == V9; #1067 ), references = 1, size of lhs = 9:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1073: exists( #39, #1071 ), references = 1, size of lhs = 17:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1116: mergings( V3 == V34, V22 == V35, V30 == V39, V27 == V36, V28 == V37, V29 == V38; #1109 ), references = 1, size of lhs = 57:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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)
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #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:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1203: mergings( V4 == V7, V7 == V9, V6 == V8, V8 == V5; #1198 ), references = 2, size of lhs = 9:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1207: exists( #41, #1205 ), references = 1, size of lhs = 7:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1209: exists( #40, #1206 ), references = 2, size of lhs = 6:
% 38.04/38.25 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
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1213: exists( #39, #1211 ), references = 2, size of lhs = 4:
% 38.04/38.25 organization-{F}(V0), pppp5-{F}(V0,V1), P_capability-{F}(V0,V1,V2), greater_or_equal-{F}(V2,V2) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1217: exists( #38, #1215 ), references = 1, size of lhs = 2:
% 38.04/38.25 organization-{F}(V0), pppp5-{F}(V0,V1) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1219: exists( #24, #1216 ), references = 1, size of lhs = 2:
% 38.04/38.25 pppp6-{F}(V0), organization-{F}(V0) | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 #1222: exists( #23, #1220 ), references = 1, size of lhs = 0:
% 38.04/38.25 FALSE | FALSE
% 38.04/38.25 (used 0 times, uses = {})
% 38.04/38.25
% 38.04/38.25 number of learnt formulas = 149
% 38.04/38.25
% 38.04/38.25
% 38.04/38.25 % SZS output end Refutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 38.04/38.25
% 38.04/38.25 randbase = 1
%------------------------------------------------------------------------------