TSTP Solution File: AGT042-10 by Matita---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Matita---1.0
% Problem : AGT042-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : matitaprover --timeout %d --tptppath /export/starexec/sandbox/benchmark %s
% Computer : n025.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 14 12:02:01 EDT 2022
% Result : Timeout 300.23s 75.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : AGT042-10 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.12 % Command : matitaprover --timeout %d --tptppath /export/starexec/sandbox/benchmark %s
% 0.13/0.33 % Computer : n025.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 4 03:28:01 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.19/0.41 23697: Facts:
% 0.19/0.41 23697: Id : 2, {_}: ifeq3 ?2 ?2 ?3 ?4 =>= ?3 [4, 3, 2] by ifeq_axiom ?2 ?3 ?4
% 0.19/0.41 23697: Id : 3, {_}: ifeq2 ?6 ?6 ?7 ?8 =>= ?7 [8, 7, 6] by ifeq_axiom_001 ?6 ?7 ?8
% 0.19/0.41 23697: Id : 4, {_}:
% 0.19/0.41 ifeq ?10 ?10 ?11 ?12 =>= ?11
% 0.19/0.41 [12, 11, 10] by ifeq_axiom_002 ?10 ?11 ?12
% 0.19/0.41 23697: Id : 5, {_}:
% 0.19/0.41 ifeq3 (accept_number ?14 ?15) true
% 0.19/0.41 (ifeq3 (accept_leader ?14 ?16) true
% 0.19/0.41 (ifeq3 (accept_city ?14 ?17) true (accept_team ?14 ?16 ?17 ?15)
% 0.19/0.41 true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [17, 16, 15, 14] by a1_1_3 ?14 ?15 ?16 ?17
% 0.19/0.41 23697: Id : 6, {_}:
% 0.19/0.41 ifeq3 (accept_team ?19 ?20 ?21 ?22) true (accept_number ?19 ?22) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [22, 21, 20, 19] by a1_1_2 ?19 ?20 ?21 ?22
% 0.19/0.41 23697: Id : 7, {_}:
% 0.19/0.41 ifeq3 (accept_team ?24 ?25 ?26 ?27) true (accept_leader ?24 ?25) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [27, 26, 25, 24] by a1_1_1 ?24 ?25 ?26 ?27
% 0.19/0.41 23697: Id : 8, {_}:
% 0.19/0.41 ifeq3 (accept_team ?29 ?30 ?31 ?32) true (accept_city ?29 ?31) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [32, 31, 30, 29] by a1_1 ?29 ?30 ?31 ?32
% 0.19/0.41 23697: Id : 9, {_}:
% 0.19/0.41 ifeq3 (less ?34 ?35) true
% 0.19/0.41 (ifeq3 (accept_number ?36 ?35) true (accept_number ?36 ?34) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [36, 35, 34] by a1_2 ?34 ?35 ?36
% 0.19/0.41 23697: Id : 10, {_}:
% 0.19/0.41 ifeq3 (accept_population ?38 ?39 ?40) true
% 0.19/0.41 (ifeq3 (less ?41 ?40) true (accept_population ?38 ?39 ?41) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [41, 40, 39, 38] by a1_3 ?38 ?39 ?40 ?41
% 0.19/0.41 23697: Id : 11, {_}:
% 0.19/0.41 ifeq3 (the_agent_in_all_proposed_teams ?43 ?44 ?45) true
% 0.19/0.41 (accept_leader ?43 ?44) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [45, 44, 43] by a1_4_1 ?43 ?44 ?45
% 0.19/0.41 23697: Id : 12, {_}:
% 0.19/0.41 ifeq3 (the_agent_in_all_proposed_teams ?47 ?48 ?49) true
% 0.19/0.41 (accept_city ?47 ?49) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [49, 48, 47] by a1_4 ?47 ?48 ?49
% 0.19/0.41 23697: Id : 13, {_}:
% 0.19/0.41 ifeq3 (any_agent_in_all_proposed_teams ?51 ?52 ?53) true
% 0.19/0.41 (accept_leader ?51 ?52) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [53, 52, 51] by a1_5 ?51 ?52 ?53
% 0.19/0.41 23697: Id : 14, {_}:
% 0.19/0.41 ifeq3 (min_number_of_proposed_agents ?55 ?56) true
% 0.19/0.41 (accept_number ?55 ?56) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [56, 55] by a1_7 ?55 ?56
% 0.19/0.41 23697: Id : 15, {_}:
% 0.19/0.41 ifeq3 (accept_population ?58 other n4) true
% 0.19/0.41 (ifeq3 (accept_population ?58 native n4) true
% 0.19/0.41 (ifeq3 (accept_population ?58 muslim n7) true
% 0.19/0.41 (ifeq3 (accept_population ?58 atheist n65) true
% 0.19/0.41 (ifeq3 (accept_population ?58 christian n20) true
% 0.19/0.41 (accept_city ?58 suffertown) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [58] by a2_1_5 ?58
% 0.19/0.41 23697: Id : 16, {_}:
% 0.19/0.41 ifeq3 (accept_city ?60 suffertown) true
% 0.19/0.41 (accept_population ?60 other n4) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [60] by a2_1_4 ?60
% 0.19/0.41 23697: Id : 17, {_}:
% 0.19/0.41 ifeq3 (accept_city ?62 suffertown) true
% 0.19/0.41 (accept_population ?62 native n4) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [62] by a2_1_3 ?62
% 0.19/0.41 23697: Id : 18, {_}:
% 0.19/0.41 ifeq3 (accept_city ?64 suffertown) true
% 0.19/0.41 (accept_population ?64 muslim n7) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [64] by a2_1_2 ?64
% 0.19/0.41 23697: Id : 19, {_}:
% 0.19/0.41 ifeq3 (accept_city ?66 suffertown) true
% 0.19/0.41 (accept_population ?66 atheist n65) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [66] by a2_1_1 ?66
% 0.19/0.41 23697: Id : 20, {_}:
% 0.19/0.41 ifeq3 (accept_city ?68 suffertown) true
% 0.19/0.41 (accept_population ?68 christian n20) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [68] by a2_1 ?68
% 0.19/0.41 23697: Id : 21, {_}:
% 0.19/0.41 ifeq3 (accept_population ?70 other n9) true
% 0.19/0.41 (ifeq3 (accept_population ?70 native n1) true
% 0.19/0.41 (ifeq3 (accept_population ?70 muslim n3) true
% 0.19/0.41 (ifeq3 (accept_population ?70 atheist n54) true
% 0.19/0.41 (ifeq3 (accept_population ?70 christian n23) true
% 0.19/0.41 (accept_city ?70 centraltown) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [70] by a2_2_5 ?70
% 0.19/0.41 23697: Id : 22, {_}:
% 0.19/0.41 ifeq3 (accept_city ?72 centraltown) true
% 0.19/0.41 (accept_population ?72 other n9) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [72] by a2_2_4 ?72
% 0.19/0.41 23697: Id : 23, {_}:
% 0.19/0.41 ifeq3 (accept_city ?74 centraltown) true
% 0.19/0.41 (accept_population ?74 native n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [74] by a2_2_3 ?74
% 0.19/0.41 23697: Id : 24, {_}:
% 0.19/0.41 ifeq3 (accept_city ?76 centraltown) true
% 0.19/0.41 (accept_population ?76 muslim n3) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [76] by a2_2_2 ?76
% 0.19/0.41 23697: Id : 25, {_}:
% 0.19/0.41 ifeq3 (accept_city ?78 centraltown) true
% 0.19/0.41 (accept_population ?78 atheist n54) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [78] by a2_2_1 ?78
% 0.19/0.41 23697: Id : 26, {_}:
% 0.19/0.41 ifeq3 (accept_city ?80 centraltown) true
% 0.19/0.41 (accept_population ?80 christian n23) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [80] by a2_2 ?80
% 0.19/0.41 23697: Id : 27, {_}:
% 0.19/0.41 ifeq3 (accept_population ?82 other n1) true
% 0.19/0.41 (ifeq3 (accept_population ?82 native n1) true
% 0.19/0.41 (ifeq3 (accept_population ?82 muslim n60) true
% 0.19/0.41 (ifeq3 (accept_population ?82 atheist n30) true
% 0.19/0.41 (ifeq3 (accept_population ?82 christian n8) true
% 0.19/0.41 (accept_city ?82 sunnysideport) true) true) true) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [82] by a2_3_5 ?82
% 0.19/0.41 23697: Id : 28, {_}:
% 0.19/0.41 ifeq3 (accept_city ?84 sunnysideport) true
% 0.19/0.41 (accept_population ?84 other n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [84] by a2_3_4 ?84
% 0.19/0.41 23697: Id : 29, {_}:
% 0.19/0.41 ifeq3 (accept_city ?86 sunnysideport) true
% 0.19/0.41 (accept_population ?86 native n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [86] by a2_3_3 ?86
% 0.19/0.41 23697: Id : 30, {_}:
% 0.19/0.41 ifeq3 (accept_city ?88 sunnysideport) true
% 0.19/0.41 (accept_population ?88 muslim n60) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [88] by a2_3_2 ?88
% 0.19/0.41 23697: Id : 31, {_}:
% 0.19/0.41 ifeq3 (accept_city ?90 sunnysideport) true
% 0.19/0.41 (accept_population ?90 atheist n30) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [90] by a2_3_1 ?90
% 0.19/0.41 23697: Id : 32, {_}:
% 0.19/0.41 ifeq3 (accept_city ?92 sunnysideport) true
% 0.19/0.41 (accept_population ?92 christian n8) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [92] by a2_3 ?92
% 0.19/0.41 23697: Id : 33, {_}:
% 0.19/0.41 ifeq3 (accept_population ?94 other n4) true
% 0.19/0.41 (ifeq3 (accept_population ?94 native n10) true
% 0.19/0.41 (ifeq3 (accept_population ?94 muslim n1) true
% 0.19/0.41 (ifeq3 (accept_population ?94 atheist n70) true
% 0.19/0.41 (ifeq3 (accept_population ?94 christian n15) true
% 0.19/0.41 (accept_city ?94 centrallakecity) true) true) true) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [94] by a2_4_5 ?94
% 0.19/0.41 23697: Id : 34, {_}:
% 0.19/0.41 ifeq3 (accept_city ?96 centrallakecity) true
% 0.19/0.41 (accept_population ?96 other n4) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [96] by a2_4_4 ?96
% 0.19/0.41 23697: Id : 35, {_}:
% 0.19/0.41 ifeq3 (accept_city ?98 centrallakecity) true
% 0.19/0.41 (accept_population ?98 native n10) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [98] by a2_4_3 ?98
% 0.19/0.41 23697: Id : 36, {_}:
% 0.19/0.41 ifeq3 (accept_city ?100 centrallakecity) true
% 0.19/0.41 (accept_population ?100 muslim n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [100] by a2_4_2 ?100
% 0.19/0.41 23697: Id : 37, {_}:
% 0.19/0.41 ifeq3 (accept_city ?102 centrallakecity) true
% 0.19/0.41 (accept_population ?102 atheist n70) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [102] by a2_4_1 ?102
% 0.19/0.41 23697: Id : 38, {_}:
% 0.19/0.41 ifeq3 (accept_city ?104 centrallakecity) true
% 0.19/0.41 (accept_population ?104 christian n15) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [104] by a2_4 ?104
% 0.19/0.41 23697: Id : 39, {_}:
% 0.19/0.41 ifeq3 (accept_population ?106 other n4) true
% 0.19/0.41 (ifeq3 (accept_population ?106 native n11) true
% 0.19/0.41 (ifeq3 (accept_population ?106 muslim n1) true
% 0.19/0.41 (ifeq3 (accept_population ?106 atheist n68) true
% 0.19/0.41 (ifeq3 (accept_population ?106 christian n16) true
% 0.19/0.41 (accept_city ?106 stjosephburgh) true) true) true) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [106] by a2_5_5 ?106
% 0.19/0.41 23697: Id : 40, {_}:
% 0.19/0.41 ifeq3 (accept_city ?108 stjosephburgh) true
% 0.19/0.41 (accept_population ?108 other n4) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [108] by a2_5_4 ?108
% 0.19/0.41 23697: Id : 41, {_}:
% 0.19/0.41 ifeq3 (accept_city ?110 stjosephburgh) true
% 0.19/0.41 (accept_population ?110 native n11) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [110] by a2_5_3 ?110
% 0.19/0.41 23697: Id : 42, {_}:
% 0.19/0.41 ifeq3 (accept_city ?112 stjosephburgh) true
% 0.19/0.41 (accept_population ?112 muslim n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [112] by a2_5_2 ?112
% 0.19/0.41 23697: Id : 43, {_}:
% 0.19/0.41 ifeq3 (accept_city ?114 stjosephburgh) true
% 0.19/0.41 (accept_population ?114 atheist n68) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [114] by a2_5_1 ?114
% 0.19/0.41 23697: Id : 44, {_}:
% 0.19/0.41 ifeq3 (accept_city ?116 stjosephburgh) true
% 0.19/0.41 (accept_population ?116 christian n16) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [116] by a2_5 ?116
% 0.19/0.41 23697: Id : 45, {_}:
% 0.19/0.41 ifeq3 (accept_population ?118 other n2) true
% 0.19/0.41 (ifeq3 (accept_population ?118 native n15) true
% 0.19/0.41 (ifeq3 (accept_population ?118 muslim n0) true
% 0.19/0.41 (ifeq3 (accept_population ?118 atheist n70) true
% 0.19/0.41 (ifeq3 (accept_population ?118 christian n13) true
% 0.19/0.41 (accept_city ?118 northport) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [118] by a2_6_5 ?118
% 0.19/0.41 23697: Id : 46, {_}:
% 0.19/0.41 ifeq3 (accept_city ?120 northport) true
% 0.19/0.41 (accept_population ?120 other n2) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [120] by a2_6_4 ?120
% 0.19/0.41 23697: Id : 47, {_}:
% 0.19/0.41 ifeq3 (accept_city ?122 northport) true
% 0.19/0.41 (accept_population ?122 native n15) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [122] by a2_6_3 ?122
% 0.19/0.41 23697: Id : 48, {_}:
% 0.19/0.41 ifeq3 (accept_city ?124 northport) true
% 0.19/0.41 (accept_population ?124 muslim n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [124] by a2_6_2 ?124
% 0.19/0.41 23697: Id : 49, {_}:
% 0.19/0.41 ifeq3 (accept_city ?126 northport) true
% 0.19/0.41 (accept_population ?126 atheist n70) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [126] by a2_6_1 ?126
% 0.19/0.41 23697: Id : 50, {_}:
% 0.19/0.41 ifeq3 (accept_city ?128 northport) true
% 0.19/0.41 (accept_population ?128 christian n13) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [128] by a2_6 ?128
% 0.19/0.41 23697: Id : 51, {_}:
% 0.19/0.41 ifeq3 (accept_population ?130 other n0) true
% 0.19/0.41 (ifeq3 (accept_population ?130 native n85) true
% 0.19/0.41 (ifeq3 (accept_population ?130 muslim n0) true
% 0.19/0.41 (ifeq3 (accept_population ?130 atheist n12) true
% 0.19/0.41 (ifeq3 (accept_population ?130 christian n3) true
% 0.19/0.41 (accept_city ?130 coastvillage) true) true) true) true)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [130] by a2_7_5 ?130
% 0.19/0.41 23697: Id : 52, {_}:
% 0.19/0.41 ifeq3 (accept_city ?132 coastvillage) true
% 0.19/0.41 (accept_population ?132 other n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [132] by a2_7_4 ?132
% 0.19/0.41 23697: Id : 53, {_}:
% 0.19/0.41 ifeq3 (accept_city ?134 coastvillage) true
% 0.19/0.41 (accept_population ?134 native n85) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [134] by a2_7_3 ?134
% 0.19/0.41 23697: Id : 54, {_}:
% 0.19/0.41 ifeq3 (accept_city ?136 coastvillage) true
% 0.19/0.41 (accept_population ?136 muslim n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [136] by a2_7_2 ?136
% 0.19/0.41 23697: Id : 55, {_}:
% 0.19/0.41 ifeq3 (accept_city ?138 coastvillage) true
% 0.19/0.41 (accept_population ?138 atheist n12) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [138] by a2_7_1 ?138
% 0.19/0.41 23697: Id : 56, {_}:
% 0.19/0.41 ifeq3 (accept_city ?140 coastvillage) true
% 0.19/0.41 (accept_population ?140 christian n3) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [140] by a2_7 ?140
% 0.19/0.41 23697: Id : 57, {_}:
% 0.19/0.41 ifeq3 (accept_population ?142 other n0) true
% 0.19/0.41 (ifeq3 (accept_population ?142 native n100) true
% 0.19/0.41 (ifeq3 (accept_population ?142 muslim n0) true
% 0.19/0.41 (ifeq3 (accept_population ?142 atheist n0) true
% 0.19/0.41 (ifeq3 (accept_population ?142 christian n0) true
% 0.19/0.41 (accept_city ?142 sunsetpoint) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [142] by a2_8_5 ?142
% 0.19/0.41 23697: Id : 58, {_}:
% 0.19/0.41 ifeq3 (accept_city ?144 sunsetpoint) true
% 0.19/0.41 (accept_population ?144 other n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [144] by a2_8_4 ?144
% 0.19/0.41 23697: Id : 59, {_}:
% 0.19/0.41 ifeq3 (accept_city ?146 sunsetpoint) true
% 0.19/0.41 (accept_population ?146 native n100) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [146] by a2_8_3 ?146
% 0.19/0.41 23697: Id : 60, {_}:
% 0.19/0.41 ifeq3 (accept_city ?148 sunsetpoint) true
% 0.19/0.41 (accept_population ?148 muslim n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [148] by a2_8_2 ?148
% 0.19/0.41 23697: Id : 61, {_}:
% 0.19/0.41 ifeq3 (accept_city ?150 sunsetpoint) true
% 0.19/0.41 (accept_population ?150 atheist n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [150] by a2_8_1 ?150
% 0.19/0.41 23697: Id : 62, {_}:
% 0.19/0.41 ifeq3 (accept_city ?152 sunsetpoint) true
% 0.19/0.41 (accept_population ?152 christian n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [152] by a2_8 ?152
% 0.19/0.41 23697: Id : 63, {_}:
% 0.19/0.41 ifeq3 (accept_population ?154 other n0) true
% 0.19/0.41 (ifeq3 (accept_population ?154 native n0) true
% 0.19/0.41 (ifeq3 (accept_population ?154 muslim n1) true
% 0.19/0.41 (ifeq3 (accept_population ?154 atheist n75) true
% 0.19/0.41 (ifeq3 (accept_population ?154 christian n24) true
% 0.19/0.41 (accept_city ?154 towna) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [154] by a2_9_5 ?154
% 0.19/0.41 23697: Id : 64, {_}:
% 0.19/0.41 ifeq3 (accept_city ?156 towna) true (accept_population ?156 other n0)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [156] by a2_9_4 ?156
% 0.19/0.41 23697: Id : 65, {_}:
% 0.19/0.41 ifeq3 (accept_city ?158 towna) true
% 0.19/0.41 (accept_population ?158 native n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [158] by a2_9_3 ?158
% 0.19/0.41 23697: Id : 66, {_}:
% 0.19/0.41 ifeq3 (accept_city ?160 towna) true
% 0.19/0.41 (accept_population ?160 muslim n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [160] by a2_9_2 ?160
% 0.19/0.41 23697: Id : 67, {_}:
% 0.19/0.41 ifeq3 (accept_city ?162 towna) true
% 0.19/0.41 (accept_population ?162 atheist n75) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [162] by a2_9_1 ?162
% 0.19/0.41 23697: Id : 68, {_}:
% 0.19/0.41 ifeq3 (accept_city ?164 towna) true
% 0.19/0.41 (accept_population ?164 christian n24) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [164] by a2_9 ?164
% 0.19/0.41 23697: Id : 69, {_}:
% 0.19/0.41 ifeq3 (accept_population ?166 other n0) true
% 0.19/0.41 (ifeq3 (accept_population ?166 native n0) true
% 0.19/0.41 (ifeq3 (accept_population ?166 muslim n0) true
% 0.19/0.41 (ifeq3 (accept_population ?166 atheist n75) true
% 0.19/0.41 (ifeq3 (accept_population ?166 christian n25) true
% 0.19/0.41 (accept_city ?166 citya) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [166] by a2_10_5 ?166
% 0.19/0.41 23697: Id : 70, {_}:
% 0.19/0.41 ifeq3 (accept_city ?168 citya) true (accept_population ?168 other n0)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [168] by a2_10_4 ?168
% 0.19/0.41 23697: Id : 71, {_}:
% 0.19/0.41 ifeq3 (accept_city ?170 citya) true
% 0.19/0.41 (accept_population ?170 native n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [170] by a2_10_3 ?170
% 0.19/0.41 23697: Id : 72, {_}:
% 0.19/0.41 ifeq3 (accept_city ?172 citya) true
% 0.19/0.41 (accept_population ?172 muslim n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [172] by a2_10_2 ?172
% 0.19/0.41 23697: Id : 73, {_}:
% 0.19/0.41 ifeq3 (accept_city ?174 citya) true
% 0.19/0.41 (accept_population ?174 atheist n75) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [174] by a2_10_1 ?174
% 0.19/0.41 23697: Id : 74, {_}:
% 0.19/0.41 ifeq3 (accept_city ?176 citya) true
% 0.19/0.41 (accept_population ?176 christian n25) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [176] by a2_10 ?176
% 0.19/0.41 23697: Id : 75, {_}:
% 0.19/0.41 ifeq3 (accept_population ?178 other n2) true
% 0.19/0.41 (ifeq3 (accept_population ?178 native n0) true
% 0.19/0.41 (ifeq3 (accept_population ?178 muslim n8) true
% 0.19/0.41 (ifeq3 (accept_population ?178 atheist n70) true
% 0.19/0.41 (ifeq3 (accept_population ?178 christian n20) true
% 0.19/0.41 (accept_city ?178 townb) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [178] by a2_11_5 ?178
% 0.19/0.41 23697: Id : 76, {_}:
% 0.19/0.41 ifeq3 (accept_city ?180 townb) true (accept_population ?180 other n2)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [180] by a2_11_4 ?180
% 0.19/0.41 23697: Id : 77, {_}:
% 0.19/0.41 ifeq3 (accept_city ?182 townb) true
% 0.19/0.41 (accept_population ?182 native n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [182] by a2_11_3 ?182
% 0.19/0.41 23697: Id : 78, {_}:
% 0.19/0.41 ifeq3 (accept_city ?184 townb) true
% 0.19/0.41 (accept_population ?184 muslim n8) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [184] by a2_11_2 ?184
% 0.19/0.41 23697: Id : 79, {_}:
% 0.19/0.41 ifeq3 (accept_city ?186 townb) true
% 0.19/0.41 (accept_population ?186 atheist n70) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [186] by a2_11_1 ?186
% 0.19/0.41 23697: Id : 80, {_}:
% 0.19/0.41 ifeq3 (accept_city ?188 townb) true
% 0.19/0.41 (accept_population ?188 christian n20) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [188] by a2_11 ?188
% 0.19/0.41 23697: Id : 81, {_}:
% 0.19/0.41 ifeq3 (accept_population ?190 other n1) true
% 0.19/0.41 (ifeq3 (accept_population ?190 native n0) true
% 0.19/0.41 (ifeq3 (accept_population ?190 muslim n1) true
% 0.19/0.41 (ifeq3 (accept_population ?190 atheist n78) true
% 0.19/0.41 (ifeq3 (accept_population ?190 christian n20) true
% 0.19/0.41 (accept_city ?190 cityb) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [190] by a2_12_5 ?190
% 0.19/0.41 23697: Id : 82, {_}:
% 0.19/0.41 ifeq3 (accept_city ?192 cityb) true (accept_population ?192 other n1)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [192] by a2_12_4 ?192
% 0.19/0.41 23697: Id : 83, {_}:
% 0.19/0.41 ifeq3 (accept_city ?194 cityb) true
% 0.19/0.41 (accept_population ?194 native n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [194] by a2_12_3 ?194
% 0.19/0.41 23697: Id : 84, {_}:
% 0.19/0.41 ifeq3 (accept_city ?196 cityb) true
% 0.19/0.41 (accept_population ?196 muslim n1) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [196] by a2_12_2 ?196
% 0.19/0.41 23697: Id : 85, {_}:
% 0.19/0.41 ifeq3 (accept_city ?198 cityb) true
% 0.19/0.41 (accept_population ?198 atheist n78) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [198] by a2_12_1 ?198
% 0.19/0.41 23697: Id : 86, {_}:
% 0.19/0.41 ifeq3 (accept_city ?200 cityb) true
% 0.19/0.41 (accept_population ?200 christian n20) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [200] by a2_12 ?200
% 0.19/0.41 23697: Id : 87, {_}:
% 0.19/0.41 ifeq3 (accept_population ?202 other n5) true
% 0.19/0.41 (ifeq3 (accept_population ?202 native n0) true
% 0.19/0.41 (ifeq3 (accept_population ?202 muslim n65) true
% 0.19/0.41 (ifeq3 (accept_population ?202 atheist n30) true
% 0.19/0.41 (ifeq3 (accept_population ?202 christian n0) true
% 0.19/0.41 (accept_city ?202 townc) true) true) true) true) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [202] by a2_13_5 ?202
% 0.19/0.41 23697: Id : 88, {_}:
% 0.19/0.41 ifeq3 (accept_city ?204 townc) true (accept_population ?204 other n5)
% 0.19/0.41 true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [204] by a2_13_4 ?204
% 0.19/0.41 23697: Id : 89, {_}:
% 0.19/0.41 ifeq3 (accept_city ?206 townc) true
% 0.19/0.41 (accept_population ?206 native n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [206] by a2_13_3 ?206
% 0.19/0.41 23697: Id : 90, {_}:
% 0.19/0.41 ifeq3 (accept_city ?208 townc) true
% 0.19/0.41 (accept_population ?208 muslim n65) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [208] by a2_13_2 ?208
% 0.19/0.41 23697: Id : 91, {_}:
% 0.19/0.41 ifeq3 (accept_city ?210 townc) true
% 0.19/0.41 (accept_population ?210 atheist n30) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [210] by a2_13_1 ?210
% 0.19/0.41 23697: Id : 92, {_}:
% 0.19/0.41 ifeq3 (accept_city ?212 townc) true
% 0.19/0.41 (accept_population ?212 christian n0) true
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [212] by a2_13 ?212
% 0.19/0.41 23697: Id : 93, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization
% 0.19/0.41 countryacivilorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_1
% 0.19/0.41 23697: Id : 94, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization
% 0.19/0.41 countryacivilorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_2
% 0.19/0.41 23697: Id : 95, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization
% 0.19/0.41 countryacivilorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_3
% 0.19/0.41 23697: Id : 96, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization
% 0.19/0.41 countryafirstaidorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_4
% 0.19/0.41 23697: Id : 97, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryahumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_5
% 0.19/0.41 23697: Id : 98, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryahumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_6
% 0.19/0.41 23697: Id : 99, {_}:
% 0.19/0.41 accept_team countryccivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n2
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_7
% 0.19/0.41 23697: Id : 100, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_8
% 0.19/0.41 23697: Id : 101, {_}:
% 0.19/0.41 the_agent_not_in_any_proposed_teams
% 0.19/0.41 muslimcountrybhumanitarianorganization countryacivilorganization
% 0.19/0.41 towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_11
% 0.19/0.41 23697: Id : 102, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 muslimcountrybhumanitarianorganization countryacivilorganization
% 0.19/0.41 towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_12
% 0.19/0.41 23697: Id : 103, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_13
% 0.19/0.41 23697: Id : 104, {_}:
% 0.19/0.41 accept_team countryamedicalorganization countryacivilorganization
% 0.19/0.41 cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_14
% 0.19/0.41 23697: Id : 105, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_15
% 0.19/0.41 23697: Id : 106, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization countryacivilorganization
% 0.19/0.41 cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_16
% 0.19/0.41 23697: Id : 107, {_}:
% 0.19/0.41 accept_number countrybhumanitarianorganization n4 =>= true
% 0.19/0.41 [] by event_17
% 0.19/0.41 23697: Id : 108, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_18
% 0.19/0.41 23697: Id : 109, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryacivilorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_19
% 0.19/0.41 23697: Id : 110, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryacivilorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_20
% 0.19/0.41 23697: Id : 111, {_}:
% 0.19/0.41 accept_number countrybhumanitarianorganization n1 =>= true
% 0.19/0.41 [] by event_21
% 0.19/0.41 23697: Id : 112, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_22
% 0.19/0.41 23697: Id : 113, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_23
% 0.19/0.41 23697: Id : 114, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_24
% 0.19/0.41 23697: Id : 115, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_25
% 0.19/0.41 23697: Id : 116, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryacivilorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_26
% 0.19/0.41 23697: Id : 117, {_}:
% 0.19/0.41 accept_team countryamedicalorganization countryacivilorganization
% 0.19/0.41 towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_27
% 0.19/0.41 23697: Id : 118, {_}:
% 0.19/0.41 accept_number countryahumanitarianorganization n2 =>= true
% 0.19/0.41 [] by event_28
% 0.19/0.41 23697: Id : 119, {_}:
% 0.19/0.41 the_agent_not_in_any_proposed_teams countryamedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_37
% 0.19/0.41 23697: Id : 120, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryamedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_38
% 0.19/0.41 23697: Id : 121, {_}:
% 0.19/0.41 accept_team countryccivilorganization countrycmedicalorganization
% 0.19/0.41 towna n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_39
% 0.19/0.41 23697: Id : 122, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_41
% 0.19/0.41 23697: Id : 123, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_42
% 0.19/0.41 23697: Id : 124, {_}:
% 0.19/0.41 accept_team countrybcivilorganization countrycmedicalorganization
% 0.19/0.41 towna n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_43
% 0.19/0.41 23697: Id : 125, {_}:
% 0.19/0.41 accept_team countrybcivilorganization countrycmedicalorganization
% 0.19/0.41 towna n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_44
% 0.19/0.41 23697: Id : 126, {_}:
% 0.19/0.41 accept_number countrybcivilorganization n5 =>= true
% 0.19/0.41 [] by event_45
% 0.19/0.41 23697: Id : 127, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_46
% 0.19/0.41 23697: Id : 128, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_47
% 0.19/0.41 23697: Id : 129, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryacivilorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_48
% 0.19/0.41 23697: Id : 130, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_49
% 0.19/0.41 23697: Id : 131, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.41 countryacivilorganization towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_50
% 0.19/0.41 23697: Id : 132, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_51
% 0.19/0.41 23697: Id : 133, {_}:
% 0.19/0.41 accept_number countrycmedicalorganization n4 =>= true
% 0.19/0.41 [] by event_52
% 0.19/0.41 23697: Id : 134, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrycmedicalorganization towna n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_53
% 0.19/0.41 23697: Id : 135, {_}:
% 0.19/0.41 accept_number countrycmedicalorganization n5 =>= true
% 0.19/0.41 [] by event_54
% 0.19/0.41 23697: Id : 136, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrycmedicalorganization towna n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_55
% 0.19/0.41 23697: Id : 137, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams
% 0.19/0.41 christiancountrychumanitarianorganization countryacivilorganization
% 0.19/0.41 towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_56
% 0.19/0.41 23697: Id : 138, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 christiancountrychumanitarianorganization countryacivilorganization
% 0.19/0.41 towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_57
% 0.19/0.41 23697: Id : 139, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization countryacivilorganization
% 0.19/0.41 towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_58
% 0.19/0.41 23697: Id : 140, {_}:
% 0.19/0.41 accept_number countryacivilorganization n2 =>= true
% 0.19/0.41 [] by event_59
% 0.19/0.41 23697: Id : 141, {_}:
% 0.19/0.41 accept_team countryacivilorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_60
% 0.19/0.41 23697: Id : 142, {_}:
% 0.19/0.41 accept_team countryacivilorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_61
% 0.19/0.41 23697: Id : 143, {_}:
% 0.19/0.41 accept_team countryacivilorganization countryafirstaidorganization
% 0.19/0.41 coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_62
% 0.19/0.41 23697: Id : 144, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryacivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_63
% 0.19/0.41 23697: Id : 145, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryacivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_64
% 0.19/0.41 23697: Id : 146, {_}:
% 0.19/0.41 accept_number countryafirstaidorganization n2 =>= true
% 0.19/0.41 [] by event_65
% 0.19/0.41 23697: Id : 147, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_66
% 0.19/0.41 23697: Id : 148, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_67
% 0.19/0.41 23697: Id : 149, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization countryacivilorganization
% 0.19/0.41 coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_68
% 0.19/0.41 23697: Id : 150, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryafirstaidorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_69
% 0.19/0.41 23697: Id : 151, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryafirstaidorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_70
% 0.19/0.41 23697: Id : 152, {_}:
% 0.19/0.41 accept_number christiancountrychumanitarianorganization n5 =>= true
% 0.19/0.41 [] by event_73
% 0.19/0.41 23697: Id : 153, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_74
% 0.19/0.41 23697: Id : 154, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_75
% 0.19/0.41 23697: Id : 155, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 muslimcountrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_76
% 0.19/0.41 23697: Id : 156, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 countrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_77
% 0.19/0.41 23697: Id : 157, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_78
% 0.19/0.41 23697: Id : 158, {_}:
% 0.19/0.41 accept_team countrybcivilorganization countrycmedicalorganization
% 0.19/0.41 townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_79
% 0.19/0.41 23697: Id : 159, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_80
% 0.19/0.41 23697: Id : 160, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_81
% 0.19/0.41 23697: Id : 161, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryahumanitarianorganization
% 0.19/0.41 coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_82
% 0.19/0.41 23697: Id : 162, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryahumanitarianorganization
% 0.19/0.41 coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_83
% 0.19/0.41 23697: Id : 163, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryacivilorganization
% 0.19/0.41 coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_84
% 0.19/0.41 23697: Id : 164, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryafirstaidorganization
% 0.19/0.41 coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_85
% 0.19/0.41 23697: Id : 165, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams sufferterragovernment
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_86
% 0.19/0.41 23697: Id : 166, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams sufferterragovernment
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_87
% 0.19/0.41 23697: Id : 167, {_}:
% 0.19/0.41 accept_number christiansufferterrahumanitarianorganization n2
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_88
% 0.19/0.41 23697: Id : 168, {_}:
% 0.19/0.41 accept_number countryahumanitarianorganization n5 =>= true
% 0.19/0.41 [] by event_89
% 0.19/0.41 23697: Id : 169, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_90
% 0.19/0.41 23697: Id : 170, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_91
% 0.19/0.41 23697: Id : 171, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryacivilorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_92
% 0.19/0.41 23697: Id : 172, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryafirstaidorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_93
% 0.19/0.41 23697: Id : 173, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams
% 0.19/0.41 christiansufferterrahumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_94
% 0.19/0.41 23697: Id : 174, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 christiansufferterrahumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_95
% 0.19/0.41 23697: Id : 175, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_96
% 0.19/0.41 23697: Id : 176, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization coastvillage n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_97
% 0.19/0.41 23697: Id : 177, {_}:
% 0.19/0.41 accept_number muslimcountrybhumanitarianorganization n3 =>= true
% 0.19/0.41 [] by event_98
% 0.19/0.41 23697: Id : 178, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countryccivilorganization townc n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_99
% 0.19/0.41 23697: Id : 179, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrybcivilorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_100
% 0.19/0.41 23697: Id : 180, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_101
% 0.19/0.41 23697: Id : 181, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_102
% 0.19/0.41 23697: Id : 182, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrycmedicalorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_103
% 0.19/0.41 23697: Id : 183, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams
% 0.19/0.41 muslimcountrybhumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_104
% 0.19/0.41 23697: Id : 184, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 muslimcountrybhumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_105
% 0.19/0.41 23697: Id : 185, {_}:
% 0.19/0.41 accept_team countryacivilorganization
% 0.19/0.41 countryahumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_106
% 0.19/0.41 23697: Id : 186, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization
% 0.19/0.41 countryahumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_107
% 0.19/0.41 23697: Id : 187, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countryccivilorganization townc n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_108
% 0.19/0.41 23697: Id : 188, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 muslimcountrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_109
% 0.19/0.41 23697: Id : 189, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrybcivilorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_110
% 0.19/0.41 23697: Id : 190, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_111
% 0.19/0.41 23697: Id : 191, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrycmedicalorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_112
% 0.19/0.41 23697: Id : 192, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams
% 0.19/0.41 christiancountrychumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_113
% 0.19/0.41 23697: Id : 193, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 christiancountrychumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_114
% 0.19/0.41 23697: Id : 194, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_120
% 0.19/0.41 23697: Id : 195, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_121
% 0.19/0.41 23697: Id : 196, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrybcivilorganization townc n2
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_122
% 0.19/0.41 23697: Id : 197, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 muslimcountrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_123
% 0.19/0.41 23697: Id : 198, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryahumanitarianorganization
% 0.19/0.41 townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_124
% 0.19/0.41 23697: Id : 199, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_125
% 0.19/0.41 23697: Id : 200, {_}:
% 0.19/0.41 accept_team countryamedicalorganization
% 0.19/0.41 countryahumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_126
% 0.19/0.41 23697: Id : 201, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization countryccivilorganization
% 0.19/0.41 townc n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_127
% 0.19/0.41 23697: Id : 202, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 muslimcountrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_128
% 0.19/0.41 23697: Id : 203, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization countrybcivilorganization
% 0.19/0.41 townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_129
% 0.19/0.41 23697: Id : 204, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 countrybhumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_130
% 0.19/0.41 23697: Id : 205, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_131
% 0.19/0.41 23697: Id : 206, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_132
% 0.19/0.41 23697: Id : 207, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_133
% 0.19/0.41 23697: Id : 208, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrybcivilorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_134
% 0.19/0.41 23697: Id : 209, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_135
% 0.19/0.41 23697: Id : 210, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrycmedicalorganization townc n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_136
% 0.19/0.41 23697: Id : 211, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_137
% 0.19/0.41 23697: Id : 212, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization townc
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_138
% 0.19/0.41 23697: Id : 213, {_}:
% 0.19/0.41 accept_team christiansufferterrahumanitarianorganization
% 0.19/0.41 countryahumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_139
% 0.19/0.41 23697: Id : 214, {_}:
% 0.19/0.41 accept_number christiansufferterrahumanitarianorganization n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_140
% 0.19/0.41 23697: Id : 215, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams
% 0.19/0.41 christiansufferterrahumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_141
% 0.19/0.41 23697: Id : 216, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams
% 0.19/0.41 christiansufferterrahumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_142
% 0.19/0.41 23697: Id : 217, {_}:
% 0.19/0.41 accept_team sufferterragovernment countryahumanitarianorganization
% 0.19/0.41 cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_145
% 0.19/0.41 23697: Id : 218, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams sufferterragovernment
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_146
% 0.19/0.41 23697: Id : 219, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams sufferterragovernment
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_147
% 0.19/0.41 23697: Id : 220, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization
% 0.19/0.41 countryahumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_148
% 0.19/0.41 23697: Id : 221, {_}:
% 0.19/0.41 accept_number countryafirstaidorganization n6 =>= true
% 0.19/0.41 [] by event_149
% 0.19/0.41 23697: Id : 222, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryafirstaidorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_150
% 0.19/0.41 23697: Id : 223, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryafirstaidorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_151
% 0.19/0.41 23697: Id : 224, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization sufferterragovernment towna
% 0.19/0.41 n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_152
% 0.19/0.41 23697: Id : 225, {_}:
% 0.19/0.41 accept_team countryafirstaidorganization sufferterragovernment towna
% 0.19/0.41 n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_153
% 0.19/0.41 23697: Id : 226, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_154
% 0.19/0.41 23697: Id : 227, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_155
% 0.19/0.41 23697: Id : 228, {_}:
% 0.19/0.41 accept_team countryamedicalorganization
% 0.19/0.41 countryahumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_156
% 0.19/0.41 23697: Id : 229, {_}:
% 0.19/0.41 accept_number countryamedicalorganization n6 =>= true
% 0.19/0.41 [] by event_157
% 0.19/0.41 23697: Id : 230, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryamedicalorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_158
% 0.19/0.41 23697: Id : 231, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryamedicalorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_159
% 0.19/0.41 23697: Id : 232, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_160
% 0.19/0.41 23697: Id : 233, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_161
% 0.19/0.41 23697: Id : 234, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_162
% 0.19/0.41 23697: Id : 235, {_}:
% 0.19/0.41 accept_team christiancountrychumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_163
% 0.19/0.41 23697: Id : 236, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryahumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_164
% 0.19/0.41 23697: Id : 237, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryahumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_165
% 0.19/0.41 23697: Id : 238, {_}:
% 0.19/0.41 accept_number countryahumanitarianorganization n6 =>= true
% 0.19/0.41 [] by event_166
% 0.19/0.41 23697: Id : 239, {_}:
% 0.19/0.41 accept_team countryacivilorganization
% 0.19/0.41 countryahumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_167
% 0.19/0.41 23697: Id : 240, {_}:
% 0.19/0.41 accept_number countryacivilorganization n6 =>= true
% 0.19/0.41 [] by event_168
% 0.19/0.41 23697: Id : 241, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryacivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_169
% 0.19/0.41 23697: Id : 242, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryacivilorganization
% 0.19/0.41 countrybhumanitarianorganization cityb
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_170
% 0.19/0.41 23697: Id : 243, {_}:
% 0.19/0.41 accept_number countrybhumanitarianorganization n5 =>= true
% 0.19/0.41 [] by event_171
% 0.19/0.41 23697: Id : 244, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_172
% 0.19/0.41 23697: Id : 245, {_}:
% 0.19/0.41 accept_team muslimcountrybhumanitarianorganization
% 0.19/0.41 countrybhumanitarianorganization cityb n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_173
% 0.19/0.41 23697: Id : 246, {_}:
% 0.19/0.41 accept_number muslimcountrybhumanitarianorganization n2 =>= true
% 0.19/0.41 [] by event_183
% 0.19/0.41 23697: Id : 247, {_}:
% 0.19/0.41 accept_team countryamedicalorganization sufferterragovernment towna
% 0.19/0.41 n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_188
% 0.19/0.41 23697: Id : 248, {_}:
% 0.19/0.41 accept_team countryamedicalorganization sufferterragovernment towna
% 0.19/0.41 n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_189
% 0.19/0.41 23697: Id : 249, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization sufferterragovernment
% 0.19/0.41 towna n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_190
% 0.19/0.41 23697: Id : 250, {_}:
% 0.19/0.41 accept_team countryahumanitarianorganization sufferterragovernment
% 0.19/0.41 towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_191
% 0.19/0.41 23697: Id : 251, {_}:
% 0.19/0.41 accept_number christiancountrychumanitarianorganization n2 =>= true
% 0.19/0.41 [] by event_192
% 0.19/0.41 23697: Id : 252, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrybcivilorganization towna n3
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_193
% 0.19/0.41 23697: Id : 253, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization towna n3
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_194
% 0.19/0.41 23697: Id : 254, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrycmedicalorganization towna n3
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_195
% 0.19/0.41 23697: Id : 255, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countryccivilorganization towna n3
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_196
% 0.19/0.41 23697: Id : 256, {_}:
% 0.19/0.41 accept_number countrybhumanitarianorganization n2 =>= true
% 0.19/0.41 [] by event_197
% 0.19/0.41 23697: Id : 257, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrybcivilorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_198
% 0.19/0.41 23697: Id : 258, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 christiancountrychumanitarianorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_199
% 0.19/0.41 23697: Id : 259, {_}:
% 0.19/0.41 accept_team countrybhumanitarianorganization
% 0.19/0.41 countrycmedicalorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_200
% 0.19/0.41 23697: Id : 260, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_201
% 0.19/0.41 23697: Id : 261, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybhumanitarianorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_202
% 0.19/0.41 23697: Id : 262, {_}:
% 0.19/0.41 accept_number countrybcivilorganization n2 =>= true
% 0.19/0.41 [] by event_203
% 0.19/0.41 23697: Id : 263, {_}:
% 0.19/0.41 accept_number countrybcivilorganization n3 =>= true
% 0.19/0.41 [] by event_204
% 0.19/0.41 23697: Id : 264, {_}:
% 0.19/0.41 accept_team countrybcivilorganization countryccivilorganization towna
% 0.19/0.41 n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_205
% 0.19/0.41 23697: Id : 265, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 countrybhumanitarianorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_206
% 0.19/0.41 23697: Id : 266, {_}:
% 0.19/0.41 accept_team countrybcivilorganization
% 0.19/0.41 christiancountrychumanitarianorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_207
% 0.19/0.41 23697: Id : 267, {_}:
% 0.19/0.41 accept_team countrybcivilorganization countrycmedicalorganization
% 0.19/0.41 towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_208
% 0.19/0.41 23697: Id : 268, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_209
% 0.19/0.41 23697: Id : 269, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countrybcivilorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_210
% 0.19/0.41 23697: Id : 270, {_}: accept_number sufferterragovernment n2 =>= true [] by event_211
% 0.19/0.41 23697: Id : 271, {_}:
% 0.19/0.41 accept_number countryccivilorganization n2 =>= true
% 0.19/0.41 [] by event_214
% 0.19/0.41 23697: Id : 272, {_}:
% 0.19/0.41 accept_number countryccivilorganization n3 =>= true
% 0.19/0.41 [] by event_215
% 0.19/0.41 23697: Id : 273, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_220
% 0.19/0.41 23697: Id : 274, {_}:
% 0.19/0.41 any_agent_in_all_proposed_teams countryccivilorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_221
% 0.19/0.41 23697: Id : 275, {_}: accept_number sufferterragovernment n5 =>= true [] by event_222
% 0.19/0.41 23697: Id : 276, {_}:
% 0.19/0.41 accept_team countryacivilorganization sufferterragovernment towna n5
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_223
% 0.19/0.41 23697: Id : 277, {_}: accept_number sufferterragovernment n6 =>= true [] by event_224
% 0.19/0.41 23697: Id : 278, {_}:
% 0.19/0.41 accept_team countryacivilorganization sufferterragovernment towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_225
% 0.19/0.41 23697: Id : 279, {_}:
% 0.19/0.41 accept_number countrycmedicalorganization n2 =>= true
% 0.19/0.41 [] by event_226
% 0.19/0.41 23697: Id : 280, {_}:
% 0.19/0.41 accept_number countrycmedicalorganization n3 =>= true
% 0.19/0.41 [] by event_227
% 0.19/0.41 23697: Id : 281, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization countryccivilorganization
% 0.19/0.41 towna n4
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_228
% 0.19/0.41 23697: Id : 282, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization countrybcivilorganization
% 0.19/0.41 towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_229
% 0.19/0.41 23697: Id : 283, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 countrybhumanitarianorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_230
% 0.19/0.41 23697: Id : 284, {_}:
% 0.19/0.41 accept_team countrycmedicalorganization
% 0.19/0.41 christiancountrychumanitarianorganization towna n6
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_231
% 0.19/0.41 23697: Id : 285, {_}:
% 0.19/0.41 the_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.41 sufferterragovernment towna
% 0.19/0.41 =>=
% 0.19/0.41 true
% 0.19/0.41 [] by event_232
% 0.19/0.42 23697: Id : 286, {_}:
% 0.19/0.42 any_agent_in_all_proposed_teams countrycmedicalorganization
% 0.19/0.42 sufferterragovernment towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_233
% 0.19/0.42 23697: Id : 287, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n3 =>= true
% 0.19/0.42 [] by event_234
% 0.19/0.42 23697: Id : 288, {_}:
% 0.19/0.42 accept_number countryccivilorganization n4 =>= true
% 0.19/0.42 [] by event_235
% 0.19/0.42 23697: Id : 289, {_}:
% 0.19/0.42 accept_team christiancountrychumanitarianorganization
% 0.19/0.42 countryccivilorganization towna n4
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_236
% 0.19/0.42 23697: Id : 290, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n6 =>= true
% 0.19/0.42 [] by event_237
% 0.19/0.42 23697: Id : 291, {_}:
% 0.19/0.42 accept_team christiancountrychumanitarianorganization
% 0.19/0.42 countrybcivilorganization towna n6
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_238
% 0.19/0.42 23697: Id : 292, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n6 =>= true
% 0.19/0.42 [] by event_239
% 0.19/0.42 23697: Id : 293, {_}:
% 0.19/0.42 accept_team christiancountrychumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization towna n6
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_240
% 0.19/0.42 23697: Id : 294, {_}:
% 0.19/0.42 accept_team christiancountrychumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n6
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_241
% 0.19/0.42 23697: Id : 295, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n6 =>= true
% 0.19/0.42 [] by event_242
% 0.19/0.42 23697: Id : 296, {_}:
% 0.19/0.42 the_agent_in_all_proposed_teams
% 0.19/0.42 christiancountrychumanitarianorganization sufferterragovernment
% 0.19/0.42 towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_243
% 0.19/0.42 23697: Id : 297, {_}:
% 0.19/0.42 any_agent_in_all_proposed_teams
% 0.19/0.42 christiancountrychumanitarianorganization sufferterragovernment
% 0.19/0.42 towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_244
% 0.19/0.42 23697: Id : 298, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n6 =>= true
% 0.19/0.42 [] by event_245
% 0.19/0.42 23697: Id : 299, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n6 =>= true
% 0.19/0.42 [] by event_247
% 0.19/0.42 23697: Id : 300, {_}:
% 0.19/0.42 the_agent_not_in_any_proposed_teams
% 0.19/0.42 muslimcountrybhumanitarianorganization sufferterragovernment towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_248
% 0.19/0.42 23697: Id : 301, {_}:
% 0.19/0.42 any_agent_in_all_proposed_teams
% 0.19/0.42 muslimcountrybhumanitarianorganization sufferterragovernment towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by event_249
% 0.19/0.42 23697: Id : 302, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_1
% 0.19/0.42 23697: Id : 303, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 muslimcountrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_2
% 0.19/0.42 23697: Id : 304, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization other n5
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_3
% 0.19/0.42 23697: Id : 305, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization muslim
% 0.19/0.42 n65
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_4
% 0.19/0.42 23697: Id : 306, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization christian
% 0.19/0.42 n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_5
% 0.19/0.42 23697: Id : 307, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization atheist
% 0.19/0.42 n30
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_6
% 0.19/0.42 23697: Id : 308, {_}:
% 0.19/0.42 accept_city christiancountrychumanitarianorganization townc =>= true
% 0.19/0.42 [] by deduced_7
% 0.19/0.42 23697: Id : 309, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_8
% 0.19/0.42 23697: Id : 310, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization other n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_9
% 0.19/0.42 23697: Id : 311, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization christian
% 0.19/0.42 n20
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_10
% 0.19/0.42 23697: Id : 312, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization atheist
% 0.19/0.42 n78
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_11
% 0.19/0.42 23697: Id : 313, {_}:
% 0.19/0.42 accept_city christiancountrychumanitarianorganization cityb =>= true
% 0.19/0.42 [] by deduced_12
% 0.19/0.42 23697: Id : 314, {_}:
% 0.19/0.42 accept_leader countryamedicalorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_14
% 0.19/0.42 23697: Id : 315, {_}:
% 0.19/0.42 accept_population countryamedicalorganization other n5 =>= true
% 0.19/0.42 [] by deduced_15
% 0.19/0.42 23697: Id : 316, {_}:
% 0.19/0.42 accept_population countryamedicalorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_16
% 0.19/0.42 23697: Id : 317, {_}:
% 0.19/0.42 accept_population countryamedicalorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_17
% 0.19/0.42 23697: Id : 318, {_}:
% 0.19/0.42 accept_population countryamedicalorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_18
% 0.19/0.42 23697: Id : 319, {_}:
% 0.19/0.42 accept_leader countryamedicalorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_19
% 0.19/0.42 23697: Id : 320, {_}:
% 0.19/0.42 accept_city countryamedicalorganization townc =>= true
% 0.19/0.42 [] by deduced_20
% 0.19/0.42 23697: Id : 321, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization
% 0.19/0.42 countryamedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_21
% 0.19/0.42 23697: Id : 322, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization
% 0.19/0.42 countryafirstaidorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_22
% 0.19/0.42 23697: Id : 323, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization native n85
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_23
% 0.19/0.42 23697: Id : 324, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_24
% 0.19/0.42 23697: Id : 325, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization christian n3
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_25
% 0.19/0.42 23697: Id : 326, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization atheist n12
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_26
% 0.19/0.42 23697: Id : 327, {_}:
% 0.19/0.42 accept_city countryahumanitarianorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_27
% 0.19/0.42 23697: Id : 328, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_28
% 0.19/0.42 23697: Id : 329, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization
% 0.19/0.42 countryamedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_29
% 0.19/0.42 23697: Id : 330, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 countryamedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_30
% 0.19/0.42 23697: Id : 331, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_31
% 0.19/0.42 23697: Id : 332, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization native n85 =>= true
% 0.19/0.42 [] by deduced_32
% 0.19/0.42 23697: Id : 333, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_33
% 0.19/0.42 23697: Id : 334, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization christian n3 =>= true
% 0.19/0.42 [] by deduced_34
% 0.19/0.42 23697: Id : 335, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization atheist n12 =>= true
% 0.19/0.42 [] by deduced_35
% 0.19/0.42 23697: Id : 336, {_}:
% 0.19/0.42 accept_city countrycmedicalorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_36
% 0.19/0.42 23697: Id : 337, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_37
% 0.19/0.42 23697: Id : 338, {_}:
% 0.19/0.42 accept_population countrybcivilorganization native n85 =>= true
% 0.19/0.42 [] by deduced_38
% 0.19/0.42 23697: Id : 339, {_}:
% 0.19/0.42 accept_population countrybcivilorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_39
% 0.19/0.42 23697: Id : 340, {_}:
% 0.19/0.42 accept_population countrybcivilorganization christian n3 =>= true
% 0.19/0.42 [] by deduced_40
% 0.19/0.42 23697: Id : 341, {_}:
% 0.19/0.42 accept_population countrybcivilorganization atheist n12 =>= true
% 0.19/0.42 [] by deduced_41
% 0.19/0.42 23697: Id : 342, {_}:
% 0.19/0.42 accept_city countrybcivilorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_42
% 0.19/0.42 23697: Id : 343, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization
% 0.19/0.42 muslimcountrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_43
% 0.19/0.42 23697: Id : 344, {_}:
% 0.19/0.42 accept_population countrybcivilorganization other n5 =>= true
% 0.19/0.42 [] by deduced_44
% 0.19/0.42 23697: Id : 345, {_}:
% 0.19/0.42 accept_population countrybcivilorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_45
% 0.19/0.42 23697: Id : 346, {_}:
% 0.19/0.42 accept_population countrybcivilorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_46
% 0.19/0.42 23697: Id : 347, {_}:
% 0.19/0.42 accept_population countrybcivilorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_47
% 0.19/0.42 23697: Id : 348, {_}:
% 0.19/0.42 accept_city countrybcivilorganization townc =>= true
% 0.19/0.42 [] by deduced_48
% 0.19/0.42 23697: Id : 349, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_49
% 0.19/0.42 23697: Id : 350, {_}:
% 0.19/0.42 accept_population countrybcivilorganization other n1 =>= true
% 0.19/0.42 [] by deduced_50
% 0.19/0.42 23697: Id : 351, {_}:
% 0.19/0.42 accept_population countrybcivilorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_51
% 0.19/0.42 23697: Id : 352, {_}:
% 0.19/0.42 accept_population countrybcivilorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_52
% 0.19/0.42 23697: Id : 353, {_}:
% 0.19/0.42 accept_city countrybcivilorganization cityb =>= true
% 0.19/0.42 [] by deduced_53
% 0.19/0.42 23697: Id : 354, {_}:
% 0.19/0.42 accept_leader sufferterragovernment countryamedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_54
% 0.19/0.42 23697: Id : 355, {_}:
% 0.19/0.42 accept_population sufferterragovernment christian n24 =>= true
% 0.19/0.42 [] by deduced_55
% 0.19/0.42 23697: Id : 356, {_}:
% 0.19/0.42 accept_population sufferterragovernment atheist n75 =>= true
% 0.19/0.42 [] by deduced_56
% 0.19/0.42 23697: Id : 357, {_}:
% 0.19/0.42 accept_city sufferterragovernment towna =>= true
% 0.19/0.42 [] by deduced_57
% 0.19/0.42 23697: Id : 358, {_}:
% 0.19/0.42 accept_population countryccivilorganization other n1 =>= true
% 0.19/0.42 [] by deduced_59
% 0.19/0.42 23697: Id : 359, {_}:
% 0.19/0.42 accept_population countryccivilorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_60
% 0.19/0.42 23697: Id : 360, {_}:
% 0.19/0.42 accept_population countryccivilorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_61
% 0.19/0.42 23697: Id : 361, {_}:
% 0.19/0.42 accept_leader countryccivilorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_63
% 0.19/0.42 23697: Id : 362, {_}:
% 0.19/0.42 accept_city countryccivilorganization cityb =>= true
% 0.19/0.42 [] by deduced_64
% 0.19/0.42 23697: Id : 363, {_}:
% 0.19/0.42 accept_leader countryccivilorganization countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_65
% 0.19/0.42 23697: Id : 364, {_}:
% 0.19/0.42 accept_leader countryacivilorganization countryamedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_66
% 0.19/0.42 23697: Id : 365, {_}:
% 0.19/0.42 accept_leader countryacivilorganization countryafirstaidorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_67
% 0.19/0.42 23697: Id : 366, {_}:
% 0.19/0.42 accept_population countryacivilorganization native n85 =>= true
% 0.19/0.42 [] by deduced_68
% 0.19/0.42 23697: Id : 367, {_}:
% 0.19/0.42 accept_population countryacivilorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_69
% 0.19/0.42 23697: Id : 368, {_}:
% 0.19/0.42 accept_population countryacivilorganization christian n3 =>= true
% 0.19/0.42 [] by deduced_70
% 0.19/0.42 23697: Id : 369, {_}:
% 0.19/0.42 accept_population countryacivilorganization atheist n12 =>= true
% 0.19/0.42 [] by deduced_71
% 0.19/0.42 23697: Id : 370, {_}:
% 0.19/0.42 accept_city countryacivilorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_72
% 0.19/0.42 23697: Id : 371, {_}:
% 0.19/0.42 accept_leader countryacivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_73
% 0.19/0.42 23697: Id : 372, {_}:
% 0.19/0.42 accept_population countryacivilorganization other n5 =>= true
% 0.19/0.42 [] by deduced_74
% 0.19/0.42 23697: Id : 373, {_}:
% 0.19/0.42 accept_population countryacivilorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_75
% 0.19/0.42 23697: Id : 374, {_}:
% 0.19/0.42 accept_population countryacivilorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_76
% 0.19/0.42 23697: Id : 375, {_}:
% 0.19/0.42 accept_population countryacivilorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_77
% 0.19/0.42 23697: Id : 376, {_}:
% 0.19/0.42 accept_leader countryacivilorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_78
% 0.19/0.42 23697: Id : 377, {_}:
% 0.19/0.42 accept_city countryacivilorganization townc =>= true
% 0.19/0.42 [] by deduced_79
% 0.19/0.42 23697: Id : 378, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 christian n24
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_80
% 0.19/0.42 23697: Id : 379, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 atheist n75
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_81
% 0.19/0.42 23697: Id : 380, {_}:
% 0.19/0.42 accept_city christiansufferterrahumanitarianorganization towna
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_83
% 0.19/0.42 23697: Id : 381, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 countryafirstaidorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_84
% 0.19/0.42 23697: Id : 382, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization other
% 0.19/0.42 n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_85
% 0.19/0.42 23697: Id : 383, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization native
% 0.19/0.42 n85
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_86
% 0.19/0.42 23697: Id : 384, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization muslim
% 0.19/0.42 n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_87
% 0.19/0.42 23697: Id : 385, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 christian n3
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_88
% 0.19/0.42 23697: Id : 386, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 atheist n12
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_89
% 0.19/0.42 23697: Id : 387, {_}:
% 0.19/0.42 accept_city christiansufferterrahumanitarianorganization coastvillage
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_90
% 0.19/0.42 23697: Id : 388, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_91
% 0.19/0.42 23697: Id : 389, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_92
% 0.19/0.42 23697: Id : 390, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization other n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_93
% 0.19/0.42 23697: Id : 391, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization native n85
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_94
% 0.19/0.42 23697: Id : 392, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization muslim n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_95
% 0.19/0.42 23697: Id : 393, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization christian n3
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_96
% 0.19/0.42 23697: Id : 394, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization atheist n12
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_97
% 0.19/0.42 23697: Id : 395, {_}:
% 0.19/0.42 accept_city muslimcountrybhumanitarianorganization coastvillage
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_98
% 0.19/0.42 23697: Id : 396, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization native n85 =>= true
% 0.19/0.42 [] by deduced_99
% 0.19/0.42 23697: Id : 397, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_100
% 0.19/0.42 23697: Id : 398, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization christian n3 =>= true
% 0.19/0.42 [] by deduced_101
% 0.19/0.42 23697: Id : 399, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization atheist n12 =>= true
% 0.19/0.42 [] by deduced_102
% 0.19/0.42 23697: Id : 400, {_}:
% 0.19/0.42 accept_city countryafirstaidorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_103
% 0.19/0.42 23697: Id : 401, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_104
% 0.19/0.42 23697: Id : 402, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization other n5 =>= true
% 0.19/0.42 [] by deduced_105
% 0.19/0.42 23697: Id : 403, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_106
% 0.19/0.42 23697: Id : 404, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_107
% 0.19/0.42 23697: Id : 405, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_108
% 0.19/0.42 23697: Id : 406, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_109
% 0.19/0.42 23697: Id : 407, {_}:
% 0.19/0.42 accept_city countryafirstaidorganization townc =>= true
% 0.19/0.42 [] by deduced_110
% 0.19/0.42 23697: Id : 408, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_111
% 0.19/0.42 23697: Id : 409, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization other n1 =>= true
% 0.19/0.42 [] by deduced_112
% 0.19/0.42 23697: Id : 410, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_113
% 0.19/0.42 23697: Id : 411, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_114
% 0.19/0.42 23697: Id : 412, {_}:
% 0.19/0.42 accept_city countryafirstaidorganization cityb =>= true
% 0.19/0.42 [] by deduced_115
% 0.19/0.42 23697: Id : 413, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_116
% 0.19/0.42 23697: Id : 414, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_117
% 0.19/0.42 23697: Id : 415, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization native n85
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_118
% 0.19/0.42 23697: Id : 416, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization muslim n0 =>= true
% 0.19/0.42 [] by deduced_119
% 0.19/0.42 23697: Id : 417, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization christian n3
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_120
% 0.19/0.42 23697: Id : 418, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization atheist n12
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_121
% 0.19/0.42 23697: Id : 419, {_}:
% 0.19/0.42 accept_city countrybhumanitarianorganization coastvillage =>= true
% 0.19/0.42 [] by deduced_122
% 0.19/0.42 23697: Id : 420, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 muslimcountrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_123
% 0.19/0.42 23697: Id : 421, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization other n5 =>= true
% 0.19/0.42 [] by deduced_124
% 0.19/0.42 23697: Id : 422, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization muslim n65
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_125
% 0.19/0.42 23697: Id : 423, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization christian n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_126
% 0.19/0.42 23697: Id : 424, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization atheist n30
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_127
% 0.19/0.42 23697: Id : 425, {_}:
% 0.19/0.42 accept_city countrybhumanitarianorganization townc =>= true
% 0.19/0.42 [] by deduced_128
% 0.19/0.42 23697: Id : 426, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_129
% 0.19/0.42 23697: Id : 427, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 countryccivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_130
% 0.19/0.42 23697: Id : 428, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 countrybcivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_131
% 0.19/0.42 23697: Id : 429, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_132
% 0.19/0.42 23697: Id : 430, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_133
% 0.19/0.42 23697: Id : 431, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization other n0 =>= true
% 0.19/0.42 [] by deduced_134
% 0.19/0.42 23697: Id : 432, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization native n0 =>= true
% 0.19/0.42 [] by deduced_135
% 0.19/0.42 23697: Id : 433, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_136
% 0.19/0.42 23697: Id : 434, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization christian n24
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_137
% 0.19/0.42 23697: Id : 435, {_}:
% 0.19/0.42 accept_population countrybhumanitarianorganization atheist n75
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_138
% 0.19/0.42 23697: Id : 436, {_}:
% 0.19/0.42 accept_city countrybhumanitarianorganization towna =>= true
% 0.19/0.42 [] by deduced_139
% 0.19/0.42 23697: Id : 437, {_}:
% 0.19/0.42 accept_leader countrybhumanitarianorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_140
% 0.19/0.42 23697: Id : 438, {_}:
% 0.19/0.42 accept_leader sufferterragovernment countryafirstaidorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_141
% 0.19/0.42 23697: Id : 439, {_}:
% 0.19/0.42 accept_population sufferterragovernment other n0 =>= true
% 0.19/0.42 [] by deduced_142
% 0.19/0.42 23697: Id : 440, {_}:
% 0.19/0.42 accept_population sufferterragovernment native n85 =>= true
% 0.19/0.42 [] by deduced_143
% 0.19/0.42 23697: Id : 441, {_}:
% 0.19/0.42 accept_population sufferterragovernment muslim n0 =>= true
% 0.19/0.42 [] by deduced_144
% 0.19/0.42 23697: Id : 442, {_}:
% 0.19/0.42 accept_population sufferterragovernment christian n3 =>= true
% 0.19/0.42 [] by deduced_145
% 0.19/0.42 23697: Id : 443, {_}:
% 0.19/0.42 accept_population sufferterragovernment atheist n12 =>= true
% 0.19/0.42 [] by deduced_146
% 0.19/0.42 23697: Id : 444, {_}:
% 0.19/0.42 accept_city sufferterragovernment coastvillage =>= true
% 0.19/0.42 [] by deduced_147
% 0.19/0.42 23697: Id : 445, {_}:
% 0.19/0.42 accept_leader sufferterragovernment
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_148
% 0.19/0.42 23697: Id : 446, {_}:
% 0.19/0.42 accept_population sufferterragovernment other n5 =>= true
% 0.19/0.42 [] by deduced_149
% 0.19/0.42 23697: Id : 447, {_}:
% 0.19/0.42 accept_population sufferterragovernment muslim n65 =>= true
% 0.19/0.42 [] by deduced_150
% 0.19/0.42 23697: Id : 448, {_}:
% 0.19/0.42 accept_population sufferterragovernment christian n0 =>= true
% 0.19/0.42 [] by deduced_151
% 0.19/0.42 23697: Id : 449, {_}:
% 0.19/0.42 accept_population sufferterragovernment atheist n30 =>= true
% 0.19/0.42 [] by deduced_152
% 0.19/0.42 23697: Id : 450, {_}:
% 0.19/0.42 accept_leader sufferterragovernment countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_153
% 0.19/0.42 23697: Id : 451, {_}:
% 0.19/0.42 accept_city sufferterragovernment townc =>= true
% 0.19/0.42 [] by deduced_154
% 0.19/0.42 23697: Id : 452, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countryccivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_155
% 0.19/0.42 23697: Id : 453, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybcivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_156
% 0.19/0.42 23697: Id : 454, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization other
% 0.19/0.42 n5
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_157
% 0.19/0.42 23697: Id : 455, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization muslim
% 0.19/0.42 n65
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_158
% 0.19/0.42 23697: Id : 456, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 christian n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_159
% 0.19/0.42 23697: Id : 457, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 atheist n30
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_160
% 0.19/0.42 23697: Id : 458, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_161
% 0.19/0.42 23697: Id : 459, {_}:
% 0.19/0.42 accept_city christiansufferterrahumanitarianorganization townc
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_162
% 0.19/0.42 23697: Id : 460, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_163
% 0.19/0.42 23697: Id : 461, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n5
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_164
% 0.19/0.42 23697: Id : 462, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n4
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_165
% 0.19/0.42 23697: Id : 463, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n3
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_166
% 0.19/0.42 23697: Id : 464, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n2
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_167
% 0.19/0.42 23697: Id : 465, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_168
% 0.19/0.42 23697: Id : 466, {_}:
% 0.19/0.42 accept_number christiansufferterrahumanitarianorganization n6
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_169
% 0.19/0.42 23697: Id : 467, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization other
% 0.19/0.42 n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_170
% 0.19/0.42 23697: Id : 468, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization native
% 0.19/0.42 n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_171
% 0.19/0.42 23697: Id : 469, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization muslim
% 0.19/0.42 n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_172
% 0.19/0.42 23697: Id : 470, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 christian n20
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_173
% 0.19/0.42 23697: Id : 471, {_}:
% 0.19/0.42 accept_population christiansufferterrahumanitarianorganization
% 0.19/0.42 atheist n78
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_174
% 0.19/0.42 23697: Id : 472, {_}:
% 0.19/0.42 accept_city christiansufferterrahumanitarianorganization cityb
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_175
% 0.19/0.42 23697: Id : 473, {_}:
% 0.19/0.42 accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_176
% 0.19/0.42 23697: Id : 474, {_}:
% 0.19/0.42 accept_population countryccivilorganization other n5 =>= true
% 0.19/0.42 [] by deduced_177
% 0.19/0.42 23697: Id : 475, {_}:
% 0.19/0.42 accept_population countryccivilorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_178
% 0.19/0.42 23697: Id : 476, {_}:
% 0.19/0.42 accept_population countryccivilorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_179
% 0.19/0.42 23697: Id : 477, {_}:
% 0.19/0.42 accept_population countryccivilorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_180
% 0.19/0.42 23697: Id : 478, {_}:
% 0.19/0.42 accept_city countryccivilorganization townc =>= true
% 0.19/0.42 [] by deduced_181
% 0.19/0.42 23697: Id : 479, {_}:
% 0.19/0.42 accept_leader countryccivilorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_182
% 0.19/0.42 23697: Id : 480, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization
% 0.19/0.42 muslimcountrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_183
% 0.19/0.42 23697: Id : 481, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization other n5 =>= true
% 0.19/0.42 [] by deduced_184
% 0.19/0.42 23697: Id : 482, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization muslim n65 =>= true
% 0.19/0.42 [] by deduced_185
% 0.19/0.42 23697: Id : 483, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization christian n0 =>= true
% 0.19/0.42 [] by deduced_186
% 0.19/0.42 23697: Id : 484, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization atheist n30 =>= true
% 0.19/0.42 [] by deduced_187
% 0.19/0.42 23697: Id : 485, {_}:
% 0.19/0.42 accept_city countrycmedicalorganization townc =>= true
% 0.19/0.42 [] by deduced_188
% 0.19/0.42 23697: Id : 486, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_189
% 0.19/0.42 23697: Id : 487, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization other n1 =>= true
% 0.19/0.42 [] by deduced_190
% 0.19/0.42 23697: Id : 488, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_191
% 0.19/0.42 23697: Id : 489, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_192
% 0.19/0.42 23697: Id : 490, {_}:
% 0.19/0.42 accept_city countrycmedicalorganization cityb =>= true
% 0.19/0.42 [] by deduced_193
% 0.19/0.42 23697: Id : 491, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_194
% 0.19/0.42 23697: Id : 492, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_195
% 0.19/0.42 23697: Id : 493, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization other n5
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_196
% 0.19/0.42 23697: Id : 494, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization muslim n65
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_197
% 0.19/0.42 23697: Id : 495, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization christian n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_198
% 0.19/0.42 23697: Id : 496, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization atheist n30
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_199
% 0.19/0.42 23697: Id : 497, {_}:
% 0.19/0.42 accept_city muslimcountrybhumanitarianorganization townc =>= true
% 0.19/0.42 [] by deduced_200
% 0.19/0.42 23697: Id : 498, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countryahumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_201
% 0.19/0.42 23697: Id : 499, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization other n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_202
% 0.19/0.42 23697: Id : 500, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization native n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_203
% 0.19/0.42 23697: Id : 501, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization muslim n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_204
% 0.19/0.42 23697: Id : 502, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization christian
% 0.19/0.42 n20
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_205
% 0.19/0.42 23697: Id : 503, {_}:
% 0.19/0.42 accept_population muslimcountrybhumanitarianorganization atheist n78
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_206
% 0.19/0.42 23697: Id : 504, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_207
% 0.19/0.42 23697: Id : 505, {_}:
% 0.19/0.42 accept_city muslimcountrybhumanitarianorganization cityb =>= true
% 0.19/0.42 [] by deduced_208
% 0.19/0.42 23697: Id : 506, {_}:
% 0.19/0.42 accept_leader countryamedicalorganization countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_209
% 0.19/0.42 23697: Id : 507, {_}:
% 0.19/0.42 accept_population countryamedicalorganization other n1 =>= true
% 0.19/0.42 [] by deduced_210
% 0.19/0.42 23697: Id : 508, {_}:
% 0.19/0.42 accept_population countryamedicalorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_211
% 0.19/0.42 23697: Id : 509, {_}:
% 0.19/0.42 accept_population countryamedicalorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_212
% 0.19/0.42 23697: Id : 510, {_}:
% 0.19/0.42 accept_city countryamedicalorganization cityb =>= true
% 0.19/0.42 [] by deduced_213
% 0.19/0.42 23697: Id : 511, {_}:
% 0.19/0.42 accept_leader countryamedicalorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_214
% 0.19/0.42 23697: Id : 512, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n5 =>= true
% 0.19/0.42 [] by deduced_215
% 0.19/0.42 23697: Id : 513, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n4 =>= true
% 0.19/0.42 [] by deduced_216
% 0.19/0.42 23697: Id : 514, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n3 =>= true
% 0.19/0.42 [] by deduced_217
% 0.19/0.42 23697: Id : 515, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n2 =>= true
% 0.19/0.42 [] by deduced_218
% 0.19/0.42 23697: Id : 516, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n1 =>= true
% 0.19/0.42 [] by deduced_219
% 0.19/0.42 23697: Id : 517, {_}:
% 0.19/0.42 accept_population countryamedicalorganization other n0 =>= true
% 0.19/0.42 [] by deduced_220
% 0.19/0.42 23697: Id : 518, {_}:
% 0.19/0.42 accept_population countryamedicalorganization native n0 =>= true
% 0.19/0.42 [] by deduced_221
% 0.19/0.42 23697: Id : 519, {_}:
% 0.19/0.42 accept_population countryamedicalorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_222
% 0.19/0.42 23697: Id : 520, {_}:
% 0.19/0.42 accept_population countryamedicalorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_223
% 0.19/0.42 23697: Id : 521, {_}:
% 0.19/0.42 accept_population countryamedicalorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_224
% 0.19/0.42 23697: Id : 522, {_}:
% 0.19/0.42 accept_number countryamedicalorganization n6 =>= true
% 0.19/0.42 [] by deduced_225
% 0.19/0.42 23697: Id : 523, {_}:
% 0.19/0.42 accept_leader countryamedicalorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_226
% 0.19/0.42 23697: Id : 524, {_}:
% 0.19/0.42 accept_city countryamedicalorganization towna =>= true
% 0.19/0.42 [] by deduced_227
% 0.19/0.42 23697: Id : 525, {_}:
% 0.19/0.42 accept_population countryacivilorganization other n1 =>= true
% 0.19/0.42 [] by deduced_228
% 0.19/0.42 23697: Id : 526, {_}:
% 0.19/0.42 accept_population countryacivilorganization christian n20 =>= true
% 0.19/0.42 [] by deduced_229
% 0.19/0.42 23697: Id : 527, {_}:
% 0.19/0.42 accept_population countryacivilorganization atheist n78 =>= true
% 0.19/0.42 [] by deduced_230
% 0.19/0.42 23697: Id : 528, {_}:
% 0.19/0.42 accept_city countryacivilorganization cityb =>= true
% 0.19/0.42 [] by deduced_231
% 0.19/0.42 23697: Id : 529, {_}:
% 0.19/0.42 accept_leader countryacivilorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_232
% 0.19/0.42 23697: Id : 530, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization
% 0.19/0.42 countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_233
% 0.19/0.42 23697: Id : 531, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization other n1 =>= true
% 0.19/0.42 [] by deduced_234
% 0.19/0.42 23697: Id : 532, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization christian n20
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_235
% 0.19/0.42 23697: Id : 533, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization atheist n78
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_236
% 0.19/0.42 23697: Id : 534, {_}:
% 0.19/0.42 accept_city countryahumanitarianorganization cityb =>= true
% 0.19/0.42 [] by deduced_237
% 0.19/0.42 23697: Id : 535, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_238
% 0.19/0.42 23697: Id : 536, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n5 =>= true
% 0.19/0.42 [] by deduced_239
% 0.19/0.42 23697: Id : 537, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n4 =>= true
% 0.19/0.42 [] by deduced_240
% 0.19/0.42 23697: Id : 538, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n3 =>= true
% 0.19/0.42 [] by deduced_241
% 0.19/0.42 23697: Id : 539, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n2 =>= true
% 0.19/0.42 [] by deduced_242
% 0.19/0.42 23697: Id : 540, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n1 =>= true
% 0.19/0.42 [] by deduced_243
% 0.19/0.42 23697: Id : 541, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization other n0 =>= true
% 0.19/0.42 [] by deduced_244
% 0.19/0.42 23697: Id : 542, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization native n0 =>= true
% 0.19/0.42 [] by deduced_245
% 0.19/0.42 23697: Id : 543, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_246
% 0.19/0.42 23697: Id : 544, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization christian n24
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_247
% 0.19/0.42 23697: Id : 545, {_}:
% 0.19/0.42 accept_population countryahumanitarianorganization atheist n75
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_248
% 0.19/0.42 23697: Id : 546, {_}:
% 0.19/0.42 accept_number countryahumanitarianorganization n6 =>= true
% 0.19/0.42 [] by deduced_249
% 0.19/0.42 23697: Id : 547, {_}:
% 0.19/0.42 accept_leader countryahumanitarianorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_250
% 0.19/0.42 23697: Id : 548, {_}:
% 0.19/0.42 accept_city countryahumanitarianorganization towna =>= true
% 0.19/0.42 [] by deduced_251
% 0.19/0.42 23697: Id : 549, {_}:
% 0.19/0.42 accept_leader sufferterragovernment countryacivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_252
% 0.19/0.42 23697: Id : 550, {_}:
% 0.19/0.42 accept_population sufferterragovernment other n1 =>= true
% 0.19/0.42 [] by deduced_253
% 0.19/0.42 23697: Id : 551, {_}:
% 0.19/0.42 accept_population sufferterragovernment native n0 =>= true
% 0.19/0.42 [] by deduced_254
% 0.19/0.42 23697: Id : 552, {_}:
% 0.19/0.42 accept_population sufferterragovernment muslim n1 =>= true
% 0.19/0.42 [] by deduced_255
% 0.19/0.42 23697: Id : 553, {_}:
% 0.19/0.42 accept_population sufferterragovernment christian n20 =>= true
% 0.19/0.42 [] by deduced_256
% 0.19/0.42 23697: Id : 554, {_}:
% 0.19/0.42 accept_population sufferterragovernment atheist n78 =>= true
% 0.19/0.42 [] by deduced_257
% 0.19/0.42 23697: Id : 555, {_}:
% 0.19/0.42 accept_city sufferterragovernment cityb =>= true
% 0.19/0.42 [] by deduced_258
% 0.19/0.42 23697: Id : 556, {_}:
% 0.19/0.42 accept_leader sufferterragovernment countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_259
% 0.19/0.42 23697: Id : 557, {_}:
% 0.19/0.42 accept_population countryccivilorganization other n0 =>= true
% 0.19/0.42 [] by deduced_260
% 0.19/0.42 23697: Id : 558, {_}:
% 0.19/0.42 accept_population countryccivilorganization native n0 =>= true
% 0.19/0.42 [] by deduced_261
% 0.19/0.42 23697: Id : 559, {_}:
% 0.19/0.42 accept_population countryccivilorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_262
% 0.19/0.42 23697: Id : 560, {_}:
% 0.19/0.42 accept_population countryccivilorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_263
% 0.19/0.42 23697: Id : 561, {_}:
% 0.19/0.42 accept_population countryccivilorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_264
% 0.19/0.42 23697: Id : 562, {_}:
% 0.19/0.42 accept_city countryccivilorganization towna =>= true
% 0.19/0.42 [] by deduced_265
% 0.19/0.42 23697: Id : 563, {_}:
% 0.19/0.42 accept_leader countryccivilorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_266
% 0.19/0.42 23697: Id : 564, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n5 =>= true
% 0.19/0.42 [] by deduced_267
% 0.19/0.42 23697: Id : 565, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n4 =>= true
% 0.19/0.42 [] by deduced_268
% 0.19/0.42 23697: Id : 566, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n3 =>= true
% 0.19/0.42 [] by deduced_269
% 0.19/0.42 23697: Id : 567, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n2 =>= true
% 0.19/0.42 [] by deduced_270
% 0.19/0.42 23697: Id : 568, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n1 =>= true
% 0.19/0.42 [] by deduced_271
% 0.19/0.42 23697: Id : 569, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization other n0 =>= true
% 0.19/0.42 [] by deduced_272
% 0.19/0.42 23697: Id : 570, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization native n0 =>= true
% 0.19/0.42 [] by deduced_273
% 0.19/0.42 23697: Id : 571, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_274
% 0.19/0.42 23697: Id : 572, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_275
% 0.19/0.42 23697: Id : 573, {_}:
% 0.19/0.42 accept_population countryafirstaidorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_276
% 0.19/0.42 23697: Id : 574, {_}:
% 0.19/0.42 accept_number countryafirstaidorganization n6 =>= true
% 0.19/0.42 [] by deduced_277
% 0.19/0.42 23697: Id : 575, {_}:
% 0.19/0.42 accept_leader countryafirstaidorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_278
% 0.19/0.42 23697: Id : 576, {_}:
% 0.19/0.42 accept_city countryafirstaidorganization towna =>= true
% 0.19/0.42 [] by deduced_279
% 0.19/0.42 23697: Id : 577, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization countryccivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_280
% 0.19/0.42 23697: Id : 578, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization countrybcivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_281
% 0.19/0.42 23697: Id : 579, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_282
% 0.19/0.42 23697: Id : 580, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_283
% 0.19/0.42 23697: Id : 581, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization other n0 =>= true
% 0.19/0.42 [] by deduced_284
% 0.19/0.42 23697: Id : 582, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization native n0 =>= true
% 0.19/0.42 [] by deduced_285
% 0.19/0.42 23697: Id : 583, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_286
% 0.19/0.42 23697: Id : 584, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_287
% 0.19/0.42 23697: Id : 585, {_}:
% 0.19/0.42 accept_population countrycmedicalorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_288
% 0.19/0.42 23697: Id : 586, {_}:
% 0.19/0.42 accept_city countrycmedicalorganization towna =>= true
% 0.19/0.42 [] by deduced_289
% 0.19/0.42 23697: Id : 587, {_}:
% 0.19/0.42 accept_leader countrycmedicalorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_290
% 0.19/0.42 23697: Id : 588, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization countryccivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_291
% 0.19/0.42 23697: Id : 589, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_292
% 0.19/0.42 23697: Id : 590, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_293
% 0.19/0.42 23697: Id : 591, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization countrycmedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_294
% 0.19/0.42 23697: Id : 592, {_}:
% 0.19/0.42 accept_population countrybcivilorganization other n0 =>= true
% 0.19/0.42 [] by deduced_295
% 0.19/0.42 23697: Id : 593, {_}:
% 0.19/0.42 accept_population countrybcivilorganization native n0 =>= true
% 0.19/0.42 [] by deduced_296
% 0.19/0.42 23697: Id : 594, {_}:
% 0.19/0.42 accept_population countrybcivilorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_297
% 0.19/0.42 23697: Id : 595, {_}:
% 0.19/0.42 accept_population countrybcivilorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_298
% 0.19/0.42 23697: Id : 596, {_}:
% 0.19/0.42 accept_population countrybcivilorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_299
% 0.19/0.42 23697: Id : 597, {_}:
% 0.19/0.42 accept_city countrybcivilorganization towna =>= true
% 0.19/0.42 [] by deduced_300
% 0.19/0.42 23697: Id : 598, {_}:
% 0.19/0.42 accept_leader countrybcivilorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_301
% 0.19/0.42 23697: Id : 599, {_}:
% 0.19/0.42 accept_number sufferterragovernment n5 =>= true
% 0.19/0.42 [] by deduced_302
% 0.19/0.42 23697: Id : 600, {_}:
% 0.19/0.42 accept_number sufferterragovernment n4 =>= true
% 0.19/0.42 [] by deduced_303
% 0.19/0.42 23697: Id : 601, {_}:
% 0.19/0.42 accept_number sufferterragovernment n3 =>= true
% 0.19/0.42 [] by deduced_304
% 0.19/0.42 23697: Id : 602, {_}:
% 0.19/0.42 accept_number sufferterragovernment n2 =>= true
% 0.19/0.42 [] by deduced_305
% 0.19/0.42 23697: Id : 603, {_}:
% 0.19/0.42 accept_number sufferterragovernment n1 =>= true
% 0.19/0.42 [] by deduced_306
% 0.19/0.42 23697: Id : 604, {_}:
% 0.19/0.42 accept_number sufferterragovernment n6 =>= true
% 0.19/0.42 [] by deduced_307
% 0.19/0.42 23697: Id : 605, {_}:
% 0.19/0.42 accept_number countryacivilorganization n5 =>= true
% 0.19/0.42 [] by deduced_308
% 0.19/0.42 23697: Id : 606, {_}:
% 0.19/0.42 accept_number countryacivilorganization n4 =>= true
% 0.19/0.42 [] by deduced_309
% 0.19/0.42 23697: Id : 607, {_}:
% 0.19/0.42 accept_number countryacivilorganization n3 =>= true
% 0.19/0.42 [] by deduced_310
% 0.19/0.42 23697: Id : 608, {_}:
% 0.19/0.42 accept_number countryacivilorganization n2 =>= true
% 0.19/0.42 [] by deduced_311
% 0.19/0.42 23697: Id : 609, {_}:
% 0.19/0.42 accept_number countryacivilorganization n1 =>= true
% 0.19/0.42 [] by deduced_312
% 0.19/0.42 23697: Id : 610, {_}:
% 0.19/0.42 accept_population countryacivilorganization other n0 =>= true
% 0.19/0.42 [] by deduced_313
% 0.19/0.42 23697: Id : 611, {_}:
% 0.19/0.42 accept_population countryacivilorganization native n0 =>= true
% 0.19/0.42 [] by deduced_314
% 0.19/0.42 23697: Id : 612, {_}:
% 0.19/0.42 accept_population countryacivilorganization muslim n1 =>= true
% 0.19/0.42 [] by deduced_315
% 0.19/0.42 23697: Id : 613, {_}:
% 0.19/0.42 accept_population countryacivilorganization christian n24 =>= true
% 0.19/0.42 [] by deduced_316
% 0.19/0.42 23697: Id : 614, {_}:
% 0.19/0.42 accept_population countryacivilorganization atheist n75 =>= true
% 0.19/0.42 [] by deduced_317
% 0.19/0.42 23697: Id : 615, {_}:
% 0.19/0.42 accept_number countryacivilorganization n6 =>= true
% 0.19/0.42 [] by deduced_318
% 0.19/0.42 23697: Id : 616, {_}:
% 0.19/0.42 accept_leader countryacivilorganization sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_319
% 0.19/0.42 23697: Id : 617, {_}:
% 0.19/0.42 accept_city countryacivilorganization towna =>= true
% 0.19/0.42 [] by deduced_320
% 0.19/0.42 23697: Id : 618, {_}:
% 0.19/0.42 accept_number countryccivilorganization n3 =>= true
% 0.19/0.42 [] by deduced_321
% 0.19/0.42 23697: Id : 619, {_}:
% 0.19/0.42 accept_number countryccivilorganization n2 =>= true
% 0.19/0.42 [] by deduced_322
% 0.19/0.42 23697: Id : 620, {_}:
% 0.19/0.42 accept_number countryccivilorganization n1 =>= true
% 0.19/0.42 [] by deduced_323
% 0.19/0.42 23697: Id : 621, {_}:
% 0.19/0.42 accept_number countryccivilorganization n4 =>= true
% 0.19/0.42 [] by deduced_324
% 0.19/0.42 23697: Id : 622, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countryccivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_325
% 0.19/0.42 23697: Id : 623, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n5 =>= true
% 0.19/0.42 [] by deduced_326
% 0.19/0.42 23697: Id : 624, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n4 =>= true
% 0.19/0.42 [] by deduced_327
% 0.19/0.42 23697: Id : 625, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n3 =>= true
% 0.19/0.42 [] by deduced_328
% 0.19/0.42 23697: Id : 626, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n2 =>= true
% 0.19/0.42 [] by deduced_329
% 0.19/0.42 23697: Id : 627, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n1 =>= true
% 0.19/0.42 [] by deduced_330
% 0.19/0.42 23697: Id : 628, {_}:
% 0.19/0.42 accept_number countrybcivilorganization n6 =>= true
% 0.19/0.42 [] by deduced_331
% 0.19/0.42 23697: Id : 629, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countrybcivilorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_332
% 0.19/0.42 23697: Id : 630, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n5 =>= true
% 0.19/0.42 [] by deduced_333
% 0.19/0.42 23697: Id : 631, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n4 =>= true
% 0.19/0.42 [] by deduced_334
% 0.19/0.42 23697: Id : 632, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n3 =>= true
% 0.19/0.42 [] by deduced_335
% 0.19/0.42 23697: Id : 633, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n2 =>= true
% 0.19/0.42 [] by deduced_336
% 0.19/0.42 23697: Id : 634, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n1 =>= true
% 0.19/0.42 [] by deduced_337
% 0.19/0.42 23697: Id : 635, {_}:
% 0.19/0.42 accept_number countrybhumanitarianorganization n6 =>= true
% 0.19/0.42 [] by deduced_338
% 0.19/0.42 23697: Id : 636, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_339
% 0.19/0.42 23697: Id : 637, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 countrycmedicalorganization
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_340
% 0.19/0.42 23697: Id : 638, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n5 =>= true
% 0.19/0.42 [] by deduced_341
% 0.19/0.42 23697: Id : 639, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n4 =>= true
% 0.19/0.42 [] by deduced_342
% 0.19/0.42 23697: Id : 640, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n3 =>= true
% 0.19/0.42 [] by deduced_343
% 0.19/0.42 23697: Id : 641, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n2 =>= true
% 0.19/0.42 [] by deduced_344
% 0.19/0.42 23697: Id : 642, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n1 =>= true
% 0.19/0.42 [] by deduced_345
% 0.19/0.42 23697: Id : 643, {_}:
% 0.19/0.42 accept_number christiancountrychumanitarianorganization n6 =>= true
% 0.19/0.42 [] by deduced_346
% 0.19/0.42 23697: Id : 644, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization other n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_347
% 0.19/0.42 23697: Id : 645, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization native n0
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_348
% 0.19/0.42 23697: Id : 646, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization muslim n1
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_349
% 0.19/0.42 23697: Id : 647, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization christian
% 0.19/0.42 n24
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_350
% 0.19/0.42 23697: Id : 648, {_}:
% 0.19/0.42 accept_population christiancountrychumanitarianorganization atheist
% 0.19/0.42 n75
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_351
% 0.19/0.42 23697: Id : 649, {_}:
% 0.19/0.42 accept_city christiancountrychumanitarianorganization towna =>= true
% 0.19/0.42 [] by deduced_352
% 0.19/0.42 23697: Id : 650, {_}:
% 0.19/0.42 accept_leader christiancountrychumanitarianorganization
% 0.19/0.42 sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_353
% 0.19/0.42 23697: Id : 651, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n5 =>= true
% 0.19/0.42 [] by deduced_354
% 0.19/0.42 23697: Id : 652, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n4 =>= true
% 0.19/0.42 [] by deduced_355
% 0.19/0.42 23697: Id : 653, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n3 =>= true
% 0.19/0.42 [] by deduced_356
% 0.19/0.42 23697: Id : 654, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n2 =>= true
% 0.19/0.42 [] by deduced_357
% 0.19/0.42 23697: Id : 655, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n1 =>= true
% 0.19/0.42 [] by deduced_358
% 0.19/0.42 23697: Id : 656, {_}:
% 0.19/0.42 accept_number countrycmedicalorganization n6 =>= true
% 0.19/0.42 [] by deduced_359
% 0.19/0.42 23697: Id : 657, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n5 =>= true
% 0.19/0.42 [] by deduced_360
% 0.19/0.42 23697: Id : 658, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n4 =>= true
% 0.19/0.42 [] by deduced_361
% 0.19/0.42 23697: Id : 659, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n3 =>= true
% 0.19/0.42 [] by deduced_362
% 0.19/0.42 23697: Id : 660, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n2 =>= true
% 0.19/0.42 [] by deduced_363
% 0.19/0.42 23697: Id : 661, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n1 =>= true
% 0.19/0.42 [] by deduced_364
% 0.19/0.42 23697: Id : 662, {_}:
% 0.19/0.42 accept_number muslimcountrybhumanitarianorganization n6 =>= true
% 0.19/0.42 [] by deduced_365
% 0.19/0.42 23697: Id : 663, {_}:
% 0.19/0.42 accept_leader muslimcountrybhumanitarianorganization
% 0.19/0.42 sufferterragovernment
% 0.19/0.42 =>=
% 0.19/0.42 true
% 0.19/0.42 [] by deduced_367
% 0.19/0.42 23697: Id : 664, {_}:
% 0.19/0.42 ifeq
% 0.19/0.42 (tuple (accept_city ?785 ?786) (accept_leader ?785 ?787)
% 0.19/0.42 (the_agent_not_in_any_proposed_teams ?785 ?787 ?786))
% 0.19/0.42 (tuple true true true) a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [787, 786, 785] by a1_6 ?785 ?786 ?787
% 0.19/0.42 23697: Id : 665, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n4) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_9
% 0.19/0.42 23697: Id : 666, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n5) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_10
% 0.19/0.42 23697: Id : 667, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization
% 0.19/0.42 countryahumanitarianorganization coastvillage n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_29
% 0.19/0.42 23697: Id : 668, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization
% 0.19/0.42 countryafirstaidorganization coastvillage n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_30
% 0.19/0.42 23697: Id : 669, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization countryacivilorganization
% 0.19/0.42 coastvillage n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_31
% 0.19/0.42 23697: Id : 670, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization
% 0.19/0.42 christiansufferterrahumanitarianorganization coastvillage n2)
% 0.19/0.42 true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_32
% 0.19/0.42 23697: Id : 671, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization sufferterragovernment
% 0.19/0.42 coastvillage n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_33
% 0.19/0.42 23697: Id : 672, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization
% 0.19/0.42 countryahumanitarianorganization coastvillage n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_34
% 0.19/0.42 23697: Id : 673, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization countryacivilorganization
% 0.19/0.42 coastvillage n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_35
% 0.19/0.42 23697: Id : 674, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryamedicalorganization
% 0.19/0.42 countryafirstaidorganization coastvillage n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_36
% 0.19/0.42 23697: Id : 675, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization countrycmedicalorganization
% 0.19/0.42 towna n5) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_40
% 0.19/0.42 23697: Id : 676, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization coastvillage n5) true a
% 0.19/0.42 b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_71
% 0.19/0.42 23697: Id : 677, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization coastvillage n6) true a
% 0.19/0.42 b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_72
% 0.19/0.42 23697: Id : 678, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 muslimcountrybhumanitarianorganization townc n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_115
% 0.19/0.42 23697: Id : 679, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization countrybcivilorganization
% 0.19/0.42 townc n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_116
% 0.19/0.42 23697: Id : 680, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 countrybhumanitarianorganization townc n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_117
% 0.19/0.42 23697: Id : 681, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization townc n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_118
% 0.19/0.42 23697: Id : 682, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization countrycmedicalorganization
% 0.19/0.42 townc n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_119
% 0.19/0.42 23697: Id : 683, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 countrybhumanitarianorganization cityb n5) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_143
% 0.19/0.42 23697: Id : 684, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 countrybhumanitarianorganization cityb n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_144
% 0.19/0.42 23697: Id : 685, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybcivilorganization towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_174
% 0.19/0.42 23697: Id : 686, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_175
% 0.19/0.42 23697: Id : 687, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_176
% 0.19/0.42 23697: Id : 688, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countryccivilorganization towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_177
% 0.19/0.42 23697: Id : 689, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybcivilorganization towna n3) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_178
% 0.19/0.42 23697: Id : 690, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization towna n3) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_179
% 0.19/0.42 23697: Id : 691, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n3) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_180
% 0.19/0.42 23697: Id : 692, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countryccivilorganization towna n3) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_181
% 0.19/0.42 23697: Id : 693, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_182
% 0.19/0.42 23697: Id : 694, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countryccivilorganization towna n4) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_184
% 0.19/0.42 23697: Id : 695, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybcivilorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_185
% 0.19/0.42 23697: Id : 696, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrybhumanitarianorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_186
% 0.19/0.42 23697: Id : 697, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 christiancountrychumanitarianorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_187
% 0.19/0.42 23697: Id : 698, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team christiansufferterrahumanitarianorganization
% 0.19/0.42 sufferterragovernment towna n2) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_212
% 0.19/0.42 23697: Id : 699, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team christiansufferterrahumanitarianorganization
% 0.19/0.42 sufferterragovernment towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_213
% 0.19/0.42 23697: Id : 700, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization countrybcivilorganization
% 0.19/0.42 towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_216
% 0.19/0.42 23697: Id : 701, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 countrybhumanitarianorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_217
% 0.19/0.42 23697: Id : 702, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization
% 0.19/0.42 christiancountrychumanitarianorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_218
% 0.19/0.42 23697: Id : 703, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team countryccivilorganization countrycmedicalorganization
% 0.19/0.42 towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_219
% 0.19/0.42 23697: Id : 704, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_team muslimcountrybhumanitarianorganization
% 0.19/0.42 countrycmedicalorganization towna n6) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by event_246
% 0.19/0.42 23697: Id : 705, {_}:
% 0.19/0.42 ifeq2 (accept_city countryamedicalorganization coastvillage) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by deduced_13
% 0.19/0.42 23697: Id : 706, {_}:
% 0.19/0.42 ifeq2 (accept_number countryccivilorganization n5) true a b =>= b
% 0.19/0.42 [] by deduced_58
% 0.19/0.42 23697: Id : 707, {_}:
% 0.19/0.42 ifeq2 (accept_number countryccivilorganization n6) true a b =>= b
% 0.19/0.42 [] by deduced_62
% 0.19/0.42 23697: Id : 708, {_}:
% 0.19/0.42 ifeq2
% 0.19/0.42 (accept_leader christiansufferterrahumanitarianorganization
% 0.19/0.42 sufferterragovernment) true a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by deduced_82
% 0.19/0.42 23697: Id : 709, {_}:
% 0.19/0.42 ifeq2 (accept_city muslimcountrybhumanitarianorganization towna) true
% 0.19/0.42 a b
% 0.19/0.42 =>=
% 0.19/0.42 b
% 0.19/0.42 [] by deduced_366
% 0.19/0.42 23697: Goal:
% 0.19/0.42 23697: Id : 1, {_}: a =>= b [] by goal
% 300.23/75.40 % SZS status Timeout for theBenchmark.p
% 300.23/75.40 % SZS status Timeout for theBenchmark.p
% 300.23/75.40 % SZS status Timeout for theBenchmark.p
% 300.23/75.40 % SZS status Timeout for theBenchmark.p
% 300.23/75.40 % SZS status Timeout for theBenchmark.p
%------------------------------------------------------------------------------