%-------------------------------------------------------------------------- % File : AGT001+2 : TPTP v7.2.0. Released v2.7.0. % Domain : Agents % Axioms : CPlanT lemmas % Version : [Bar03] axioms : Especial. % English : % Refs : [Bar03] Barta, J. (2003), Email to G. Sutcliffe % Source : [Bar03] % Names : % Status : Satisfiable % Syntax : Number of formulae : 367 ( 367 unit) % Number of atoms : 367 ( 0 equality) % Maximal formula depth : 2 ( 1 average) % Number of connectives : 5 ( 5 ~ ; 0 |; 0 &) % ( 0 <=>; 0 =>; 0 <=) % ( 0 <~>; 0 ~|; 0 ~&) % Number of predicates : 4 ( 0 propositional; 2-3 arity) % Number of functors : 36 ( 36 constant; 0-0 arity) % Number of variables : 0 ( 0 singleton; 0 !; 0 ?) % Maximal term depth : 1 ( 1 average) % SPC : % Comments : Requires AGT001+0.ax %-------------------------------------------------------------------------- fof(deduced_1,axiom, ( accept_leader(christiancountrychumanitarianorganization,countryacivilorganization) )). fof(deduced_2,axiom, ( accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization) )). fof(deduced_3,axiom, ( accept_population(christiancountrychumanitarianorganization,other,n5) )). fof(deduced_4,axiom, ( accept_population(christiancountrychumanitarianorganization,muslim,n65) )). fof(deduced_5,axiom, ( accept_population(christiancountrychumanitarianorganization,christian,n0) )). fof(deduced_6,axiom, ( accept_population(christiancountrychumanitarianorganization,atheist,n30) )). fof(deduced_7,axiom, ( accept_city(christiancountrychumanitarianorganization,townc) )). fof(deduced_8,axiom, ( accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization) )). fof(deduced_9,axiom, ( accept_population(christiancountrychumanitarianorganization,other,n1) )). fof(deduced_10,axiom, ( accept_population(christiancountrychumanitarianorganization,christian,n20) )). fof(deduced_11,axiom, ( accept_population(christiancountrychumanitarianorganization,atheist,n78) )). fof(deduced_12,axiom, ( accept_city(christiancountrychumanitarianorganization,cityb) )). fof(deduced_13,axiom, ( ~ accept_city(countryamedicalorganization,coastvillage) )). fof(deduced_14,axiom, ( accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization) )). fof(deduced_15,axiom, ( accept_population(countryamedicalorganization,other,n5) )). fof(deduced_16,axiom, ( accept_population(countryamedicalorganization,muslim,n65) )). fof(deduced_17,axiom, ( accept_population(countryamedicalorganization,christian,n0) )). fof(deduced_18,axiom, ( accept_population(countryamedicalorganization,atheist,n30) )). fof(deduced_19,axiom, ( accept_leader(countryamedicalorganization,countryahumanitarianorganization) )). fof(deduced_20,axiom, ( accept_city(countryamedicalorganization,townc) )). fof(deduced_21,axiom, ( accept_leader(countryahumanitarianorganization,countryamedicalorganization) )). fof(deduced_22,axiom, ( accept_leader(countryahumanitarianorganization,countryafirstaidorganization) )). fof(deduced_23,axiom, ( accept_population(countryahumanitarianorganization,native,n85) )). fof(deduced_24,axiom, ( accept_population(countryahumanitarianorganization,muslim,n0) )). fof(deduced_25,axiom, ( accept_population(countryahumanitarianorganization,christian,n3) )). fof(deduced_26,axiom, ( accept_population(countryahumanitarianorganization,atheist,n12) )). fof(deduced_27,axiom, ( accept_city(countryahumanitarianorganization,coastvillage) )). fof(deduced_28,axiom, ( accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization) )). fof(deduced_29,axiom, ( accept_leader(countryafirstaidorganization,countryamedicalorganization) )). fof(deduced_30,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization) )). fof(deduced_31,axiom, ( accept_leader(countrycmedicalorganization,countryacivilorganization) )). fof(deduced_32,axiom, ( accept_population(countrycmedicalorganization,native,n85) )). fof(deduced_33,axiom, ( accept_population(countrycmedicalorganization,muslim,n0) )). fof(deduced_34,axiom, ( accept_population(countrycmedicalorganization,christian,n3) )). fof(deduced_35,axiom, ( accept_population(countrycmedicalorganization,atheist,n12) )). fof(deduced_36,axiom, ( accept_city(countrycmedicalorganization,coastvillage) )). fof(deduced_37,axiom, ( accept_leader(countrybcivilorganization,countryacivilorganization) )). fof(deduced_38,axiom, ( accept_population(countrybcivilorganization,native,n85) )). fof(deduced_39,axiom, ( accept_population(countrybcivilorganization,muslim,n0) )). fof(deduced_40,axiom, ( accept_population(countrybcivilorganization,christian,n3) )). fof(deduced_41,axiom, ( accept_population(countrybcivilorganization,atheist,n12) )). fof(deduced_42,axiom, ( accept_city(countrybcivilorganization,coastvillage) )). fof(deduced_43,axiom, ( accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization) )). fof(deduced_44,axiom, ( accept_population(countrybcivilorganization,other,n5) )). fof(deduced_45,axiom, ( accept_population(countrybcivilorganization,muslim,n65) )). fof(deduced_46,axiom, ( accept_population(countrybcivilorganization,christian,n0) )). fof(deduced_47,axiom, ( accept_population(countrybcivilorganization,atheist,n30) )). fof(deduced_48,axiom, ( accept_city(countrybcivilorganization,townc) )). fof(deduced_49,axiom, ( accept_leader(countrybcivilorganization,countryahumanitarianorganization) )). fof(deduced_50,axiom, ( accept_population(countrybcivilorganization,other,n1) )). fof(deduced_51,axiom, ( accept_population(countrybcivilorganization,christian,n20) )). fof(deduced_52,axiom, ( accept_population(countrybcivilorganization,atheist,n78) )). fof(deduced_53,axiom, ( accept_city(countrybcivilorganization,cityb) )). fof(deduced_54,axiom, ( accept_leader(sufferterragovernment,countryamedicalorganization) )). fof(deduced_55,axiom, ( accept_population(sufferterragovernment,christian,n24) )). fof(deduced_56,axiom, ( accept_population(sufferterragovernment,atheist,n75) )). fof(deduced_57,axiom, ( accept_city(sufferterragovernment,towna) )). fof(deduced_58,axiom, ( ~ accept_number(countryccivilorganization,n5) )). fof(deduced_59,axiom, ( accept_population(countryccivilorganization,other,n1) )). fof(deduced_60,axiom, ( accept_population(countryccivilorganization,christian,n20) )). fof(deduced_61,axiom, ( accept_population(countryccivilorganization,atheist,n78) )). fof(deduced_62,axiom, ( ~ accept_number(countryccivilorganization,n6) )). fof(deduced_63,axiom, ( accept_leader(countryccivilorganization,countrybhumanitarianorganization) )). fof(deduced_64,axiom, ( accept_city(countryccivilorganization,cityb) )). fof(deduced_65,axiom, ( accept_leader(countryccivilorganization,countryacivilorganization) )). fof(deduced_66,axiom, ( accept_leader(countryacivilorganization,countryamedicalorganization) )). fof(deduced_67,axiom, ( accept_leader(countryacivilorganization,countryafirstaidorganization) )). fof(deduced_68,axiom, ( accept_population(countryacivilorganization,native,n85) )). fof(deduced_69,axiom, ( accept_population(countryacivilorganization,muslim,n0) )). fof(deduced_70,axiom, ( accept_population(countryacivilorganization,christian,n3) )). fof(deduced_71,axiom, ( accept_population(countryacivilorganization,atheist,n12) )). fof(deduced_72,axiom, ( accept_city(countryacivilorganization,coastvillage) )). fof(deduced_73,axiom, ( accept_leader(countryacivilorganization,christiancountrychumanitarianorganization) )). fof(deduced_74,axiom, ( accept_population(countryacivilorganization,other,n5) )). fof(deduced_75,axiom, ( accept_population(countryacivilorganization,muslim,n65) )). fof(deduced_76,axiom, ( accept_population(countryacivilorganization,christian,n0) )). fof(deduced_77,axiom, ( accept_population(countryacivilorganization,atheist,n30) )). fof(deduced_78,axiom, ( accept_leader(countryacivilorganization,countryahumanitarianorganization) )). fof(deduced_79,axiom, ( accept_city(countryacivilorganization,townc) )). fof(deduced_80,axiom, ( accept_population(christiansufferterrahumanitarianorganization,christian,n24) )). fof(deduced_81,axiom, ( accept_population(christiansufferterrahumanitarianorganization,atheist,n75) )). fof(deduced_82,axiom, ( ~ accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment) )). fof(deduced_83,axiom, ( accept_city(christiansufferterrahumanitarianorganization,towna) )). fof(deduced_84,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization) )). fof(deduced_85,axiom, ( accept_population(christiansufferterrahumanitarianorganization,other,n0) )). fof(deduced_86,axiom, ( accept_population(christiansufferterrahumanitarianorganization,native,n85) )). fof(deduced_87,axiom, ( accept_population(christiansufferterrahumanitarianorganization,muslim,n0) )). fof(deduced_88,axiom, ( accept_population(christiansufferterrahumanitarianorganization,christian,n3) )). fof(deduced_89,axiom, ( accept_population(christiansufferterrahumanitarianorganization,atheist,n12) )). fof(deduced_90,axiom, ( accept_city(christiansufferterrahumanitarianorganization,coastvillage) )). fof(deduced_91,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization) )). fof(deduced_92,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization) )). fof(deduced_93,axiom, ( accept_population(muslimcountrybhumanitarianorganization,other,n0) )). fof(deduced_94,axiom, ( accept_population(muslimcountrybhumanitarianorganization,native,n85) )). fof(deduced_95,axiom, ( accept_population(muslimcountrybhumanitarianorganization,muslim,n0) )). fof(deduced_96,axiom, ( accept_population(muslimcountrybhumanitarianorganization,christian,n3) )). fof(deduced_97,axiom, ( accept_population(muslimcountrybhumanitarianorganization,atheist,n12) )). fof(deduced_98,axiom, ( accept_city(muslimcountrybhumanitarianorganization,coastvillage) )). fof(deduced_99,axiom, ( accept_population(countryafirstaidorganization,native,n85) )). fof(deduced_100,axiom, ( accept_population(countryafirstaidorganization,muslim,n0) )). fof(deduced_101,axiom, ( accept_population(countryafirstaidorganization,christian,n3) )). fof(deduced_102,axiom, ( accept_population(countryafirstaidorganization,atheist,n12) )). fof(deduced_103,axiom, ( accept_city(countryafirstaidorganization,coastvillage) )). fof(deduced_104,axiom, ( accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization) )). fof(deduced_105,axiom, ( accept_population(countryafirstaidorganization,other,n5) )). fof(deduced_106,axiom, ( accept_population(countryafirstaidorganization,muslim,n65) )). fof(deduced_107,axiom, ( accept_population(countryafirstaidorganization,christian,n0) )). fof(deduced_108,axiom, ( accept_population(countryafirstaidorganization,atheist,n30) )). fof(deduced_109,axiom, ( accept_leader(countryafirstaidorganization,countryahumanitarianorganization) )). fof(deduced_110,axiom, ( accept_city(countryafirstaidorganization,townc) )). fof(deduced_111,axiom, ( accept_leader(countryafirstaidorganization,countryacivilorganization) )). fof(deduced_112,axiom, ( accept_population(countryafirstaidorganization,other,n1) )). fof(deduced_113,axiom, ( accept_population(countryafirstaidorganization,christian,n20) )). fof(deduced_114,axiom, ( accept_population(countryafirstaidorganization,atheist,n78) )). fof(deduced_115,axiom, ( accept_city(countryafirstaidorganization,cityb) )). fof(deduced_116,axiom, ( accept_leader(countryafirstaidorganization,countrybhumanitarianorganization) )). fof(deduced_117,axiom, ( accept_leader(countrybhumanitarianorganization,countryacivilorganization) )). fof(deduced_118,axiom, ( accept_population(countrybhumanitarianorganization,native,n85) )). fof(deduced_119,axiom, ( accept_population(countrybhumanitarianorganization,muslim,n0) )). fof(deduced_120,axiom, ( accept_population(countrybhumanitarianorganization,christian,n3) )). fof(deduced_121,axiom, ( accept_population(countrybhumanitarianorganization,atheist,n12) )). fof(deduced_122,axiom, ( accept_city(countrybhumanitarianorganization,coastvillage) )). fof(deduced_123,axiom, ( accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization) )). fof(deduced_124,axiom, ( accept_population(countrybhumanitarianorganization,other,n5) )). fof(deduced_125,axiom, ( accept_population(countrybhumanitarianorganization,muslim,n65) )). fof(deduced_126,axiom, ( accept_population(countrybhumanitarianorganization,christian,n0) )). fof(deduced_127,axiom, ( accept_population(countrybhumanitarianorganization,atheist,n30) )). fof(deduced_128,axiom, ( accept_city(countrybhumanitarianorganization,townc) )). fof(deduced_129,axiom, ( accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization) )). fof(deduced_130,axiom, ( accept_leader(countrybhumanitarianorganization,countryccivilorganization) )). fof(deduced_131,axiom, ( accept_leader(countrybhumanitarianorganization,countrybcivilorganization) )). fof(deduced_132,axiom, ( accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization) )). fof(deduced_133,axiom, ( accept_leader(countrybhumanitarianorganization,countrycmedicalorganization) )). fof(deduced_134,axiom, ( accept_population(countrybhumanitarianorganization,other,n0) )). fof(deduced_135,axiom, ( accept_population(countrybhumanitarianorganization,native,n0) )). fof(deduced_136,axiom, ( accept_population(countrybhumanitarianorganization,muslim,n1) )). fof(deduced_137,axiom, ( accept_population(countrybhumanitarianorganization,christian,n24) )). fof(deduced_138,axiom, ( accept_population(countrybhumanitarianorganization,atheist,n75) )). fof(deduced_139,axiom, ( accept_city(countrybhumanitarianorganization,towna) )). fof(deduced_140,axiom, ( accept_leader(countrybhumanitarianorganization,sufferterragovernment) )). fof(deduced_141,axiom, ( accept_leader(sufferterragovernment,countryafirstaidorganization) )). fof(deduced_142,axiom, ( accept_population(sufferterragovernment,other,n0) )). fof(deduced_143,axiom, ( accept_population(sufferterragovernment,native,n85) )). fof(deduced_144,axiom, ( accept_population(sufferterragovernment,muslim,n0) )). fof(deduced_145,axiom, ( accept_population(sufferterragovernment,christian,n3) )). fof(deduced_146,axiom, ( accept_population(sufferterragovernment,atheist,n12) )). fof(deduced_147,axiom, ( accept_city(sufferterragovernment,coastvillage) )). fof(deduced_148,axiom, ( accept_leader(sufferterragovernment,christiancountrychumanitarianorganization) )). fof(deduced_149,axiom, ( accept_population(sufferterragovernment,other,n5) )). fof(deduced_150,axiom, ( accept_population(sufferterragovernment,muslim,n65) )). fof(deduced_151,axiom, ( accept_population(sufferterragovernment,christian,n0) )). fof(deduced_152,axiom, ( accept_population(sufferterragovernment,atheist,n30) )). fof(deduced_153,axiom, ( accept_leader(sufferterragovernment,countryahumanitarianorganization) )). fof(deduced_154,axiom, ( accept_city(sufferterragovernment,townc) )). fof(deduced_155,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization) )). fof(deduced_156,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization) )). fof(deduced_157,axiom, ( accept_population(christiansufferterrahumanitarianorganization,other,n5) )). fof(deduced_158,axiom, ( accept_population(christiansufferterrahumanitarianorganization,muslim,n65) )). fof(deduced_159,axiom, ( accept_population(christiansufferterrahumanitarianorganization,christian,n0) )). fof(deduced_160,axiom, ( accept_population(christiansufferterrahumanitarianorganization,atheist,n30) )). fof(deduced_161,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization) )). fof(deduced_162,axiom, ( accept_city(christiansufferterrahumanitarianorganization,townc) )). fof(deduced_163,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization) )). fof(deduced_164,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n5) )). fof(deduced_165,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n4) )). fof(deduced_166,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n3) )). fof(deduced_167,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n2) )). fof(deduced_168,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n1) )). fof(deduced_169,axiom, ( accept_number(christiansufferterrahumanitarianorganization,n6) )). fof(deduced_170,axiom, ( accept_population(christiansufferterrahumanitarianorganization,other,n1) )). fof(deduced_171,axiom, ( accept_population(christiansufferterrahumanitarianorganization,native,n0) )). fof(deduced_172,axiom, ( accept_population(christiansufferterrahumanitarianorganization,muslim,n1) )). fof(deduced_173,axiom, ( accept_population(christiansufferterrahumanitarianorganization,christian,n20) )). fof(deduced_174,axiom, ( accept_population(christiansufferterrahumanitarianorganization,atheist,n78) )). fof(deduced_175,axiom, ( accept_city(christiansufferterrahumanitarianorganization,cityb) )). fof(deduced_176,axiom, ( accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization) )). fof(deduced_177,axiom, ( accept_population(countryccivilorganization,other,n5) )). fof(deduced_178,axiom, ( accept_population(countryccivilorganization,muslim,n65) )). fof(deduced_179,axiom, ( accept_population(countryccivilorganization,christian,n0) )). fof(deduced_180,axiom, ( accept_population(countryccivilorganization,atheist,n30) )). fof(deduced_181,axiom, ( accept_city(countryccivilorganization,townc) )). fof(deduced_182,axiom, ( accept_leader(countryccivilorganization,countryahumanitarianorganization) )). fof(deduced_183,axiom, ( accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization) )). fof(deduced_184,axiom, ( accept_population(countrycmedicalorganization,other,n5) )). fof(deduced_185,axiom, ( accept_population(countrycmedicalorganization,muslim,n65) )). fof(deduced_186,axiom, ( accept_population(countrycmedicalorganization,christian,n0) )). fof(deduced_187,axiom, ( accept_population(countrycmedicalorganization,atheist,n30) )). fof(deduced_188,axiom, ( accept_city(countrycmedicalorganization,townc) )). fof(deduced_189,axiom, ( accept_leader(countrycmedicalorganization,countryahumanitarianorganization) )). fof(deduced_190,axiom, ( accept_population(countrycmedicalorganization,other,n1) )). fof(deduced_191,axiom, ( accept_population(countrycmedicalorganization,christian,n20) )). fof(deduced_192,axiom, ( accept_population(countrycmedicalorganization,atheist,n78) )). fof(deduced_193,axiom, ( accept_city(countrycmedicalorganization,cityb) )). fof(deduced_194,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization) )). fof(deduced_195,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization) )). fof(deduced_196,axiom, ( accept_population(muslimcountrybhumanitarianorganization,other,n5) )). fof(deduced_197,axiom, ( accept_population(muslimcountrybhumanitarianorganization,muslim,n65) )). fof(deduced_198,axiom, ( accept_population(muslimcountrybhumanitarianorganization,christian,n0) )). fof(deduced_199,axiom, ( accept_population(muslimcountrybhumanitarianorganization,atheist,n30) )). fof(deduced_200,axiom, ( accept_city(muslimcountrybhumanitarianorganization,townc) )). fof(deduced_201,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization) )). fof(deduced_202,axiom, ( accept_population(muslimcountrybhumanitarianorganization,other,n1) )). fof(deduced_203,axiom, ( accept_population(muslimcountrybhumanitarianorganization,native,n0) )). fof(deduced_204,axiom, ( accept_population(muslimcountrybhumanitarianorganization,muslim,n1) )). fof(deduced_205,axiom, ( accept_population(muslimcountrybhumanitarianorganization,christian,n20) )). fof(deduced_206,axiom, ( accept_population(muslimcountrybhumanitarianorganization,atheist,n78) )). fof(deduced_207,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization) )). fof(deduced_208,axiom, ( accept_city(muslimcountrybhumanitarianorganization,cityb) )). fof(deduced_209,axiom, ( accept_leader(countryamedicalorganization,countryacivilorganization) )). fof(deduced_210,axiom, ( accept_population(countryamedicalorganization,other,n1) )). fof(deduced_211,axiom, ( accept_population(countryamedicalorganization,christian,n20) )). fof(deduced_212,axiom, ( accept_population(countryamedicalorganization,atheist,n78) )). fof(deduced_213,axiom, ( accept_city(countryamedicalorganization,cityb) )). fof(deduced_214,axiom, ( accept_leader(countryamedicalorganization,countrybhumanitarianorganization) )). fof(deduced_215,axiom, ( accept_number(countryamedicalorganization,n5) )). fof(deduced_216,axiom, ( accept_number(countryamedicalorganization,n4) )). fof(deduced_217,axiom, ( accept_number(countryamedicalorganization,n3) )). fof(deduced_218,axiom, ( accept_number(countryamedicalorganization,n2) )). fof(deduced_219,axiom, ( accept_number(countryamedicalorganization,n1) )). fof(deduced_220,axiom, ( accept_population(countryamedicalorganization,other,n0) )). fof(deduced_221,axiom, ( accept_population(countryamedicalorganization,native,n0) )). fof(deduced_222,axiom, ( accept_population(countryamedicalorganization,muslim,n1) )). fof(deduced_223,axiom, ( accept_population(countryamedicalorganization,christian,n24) )). fof(deduced_224,axiom, ( accept_population(countryamedicalorganization,atheist,n75) )). fof(deduced_225,axiom, ( accept_number(countryamedicalorganization,n6) )). fof(deduced_226,axiom, ( accept_leader(countryamedicalorganization,sufferterragovernment) )). fof(deduced_227,axiom, ( accept_city(countryamedicalorganization,towna) )). fof(deduced_228,axiom, ( accept_population(countryacivilorganization,other,n1) )). fof(deduced_229,axiom, ( accept_population(countryacivilorganization,christian,n20) )). fof(deduced_230,axiom, ( accept_population(countryacivilorganization,atheist,n78) )). fof(deduced_231,axiom, ( accept_city(countryacivilorganization,cityb) )). fof(deduced_232,axiom, ( accept_leader(countryacivilorganization,countrybhumanitarianorganization) )). fof(deduced_233,axiom, ( accept_leader(countryahumanitarianorganization,countryacivilorganization) )). fof(deduced_234,axiom, ( accept_population(countryahumanitarianorganization,other,n1) )). fof(deduced_235,axiom, ( accept_population(countryahumanitarianorganization,christian,n20) )). fof(deduced_236,axiom, ( accept_population(countryahumanitarianorganization,atheist,n78) )). fof(deduced_237,axiom, ( accept_city(countryahumanitarianorganization,cityb) )). fof(deduced_238,axiom, ( accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization) )). fof(deduced_239,axiom, ( accept_number(countryahumanitarianorganization,n5) )). fof(deduced_240,axiom, ( accept_number(countryahumanitarianorganization,n4) )). fof(deduced_241,axiom, ( accept_number(countryahumanitarianorganization,n3) )). fof(deduced_242,axiom, ( accept_number(countryahumanitarianorganization,n2) )). fof(deduced_243,axiom, ( accept_number(countryahumanitarianorganization,n1) )). fof(deduced_244,axiom, ( accept_population(countryahumanitarianorganization,other,n0) )). fof(deduced_245,axiom, ( accept_population(countryahumanitarianorganization,native,n0) )). fof(deduced_246,axiom, ( accept_population(countryahumanitarianorganization,muslim,n1) )). fof(deduced_247,axiom, ( accept_population(countryahumanitarianorganization,christian,n24) )). fof(deduced_248,axiom, ( accept_population(countryahumanitarianorganization,atheist,n75) )). fof(deduced_249,axiom, ( accept_number(countryahumanitarianorganization,n6) )). fof(deduced_250,axiom, ( accept_leader(countryahumanitarianorganization,sufferterragovernment) )). fof(deduced_251,axiom, ( accept_city(countryahumanitarianorganization,towna) )). fof(deduced_252,axiom, ( accept_leader(sufferterragovernment,countryacivilorganization) )). fof(deduced_253,axiom, ( accept_population(sufferterragovernment,other,n1) )). fof(deduced_254,axiom, ( accept_population(sufferterragovernment,native,n0) )). fof(deduced_255,axiom, ( accept_population(sufferterragovernment,muslim,n1) )). fof(deduced_256,axiom, ( accept_population(sufferterragovernment,christian,n20) )). fof(deduced_257,axiom, ( accept_population(sufferterragovernment,atheist,n78) )). fof(deduced_258,axiom, ( accept_city(sufferterragovernment,cityb) )). fof(deduced_259,axiom, ( accept_leader(sufferterragovernment,countrybhumanitarianorganization) )). fof(deduced_260,axiom, ( accept_population(countryccivilorganization,other,n0) )). fof(deduced_261,axiom, ( accept_population(countryccivilorganization,native,n0) )). fof(deduced_262,axiom, ( accept_population(countryccivilorganization,muslim,n1) )). fof(deduced_263,axiom, ( accept_population(countryccivilorganization,christian,n24) )). fof(deduced_264,axiom, ( accept_population(countryccivilorganization,atheist,n75) )). fof(deduced_265,axiom, ( accept_city(countryccivilorganization,towna) )). fof(deduced_266,axiom, ( accept_leader(countryccivilorganization,sufferterragovernment) )). fof(deduced_267,axiom, ( accept_number(countryafirstaidorganization,n5) )). fof(deduced_268,axiom, ( accept_number(countryafirstaidorganization,n4) )). fof(deduced_269,axiom, ( accept_number(countryafirstaidorganization,n3) )). fof(deduced_270,axiom, ( accept_number(countryafirstaidorganization,n2) )). fof(deduced_271,axiom, ( accept_number(countryafirstaidorganization,n1) )). fof(deduced_272,axiom, ( accept_population(countryafirstaidorganization,other,n0) )). fof(deduced_273,axiom, ( accept_population(countryafirstaidorganization,native,n0) )). fof(deduced_274,axiom, ( accept_population(countryafirstaidorganization,muslim,n1) )). fof(deduced_275,axiom, ( accept_population(countryafirstaidorganization,christian,n24) )). fof(deduced_276,axiom, ( accept_population(countryafirstaidorganization,atheist,n75) )). fof(deduced_277,axiom, ( accept_number(countryafirstaidorganization,n6) )). fof(deduced_278,axiom, ( accept_leader(countryafirstaidorganization,sufferterragovernment) )). fof(deduced_279,axiom, ( accept_city(countryafirstaidorganization,towna) )). fof(deduced_280,axiom, ( accept_leader(countrycmedicalorganization,countryccivilorganization) )). fof(deduced_281,axiom, ( accept_leader(countrycmedicalorganization,countrybcivilorganization) )). fof(deduced_282,axiom, ( accept_leader(countrycmedicalorganization,countrybhumanitarianorganization) )). fof(deduced_283,axiom, ( accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization) )). fof(deduced_284,axiom, ( accept_population(countrycmedicalorganization,other,n0) )). fof(deduced_285,axiom, ( accept_population(countrycmedicalorganization,native,n0) )). fof(deduced_286,axiom, ( accept_population(countrycmedicalorganization,muslim,n1) )). fof(deduced_287,axiom, ( accept_population(countrycmedicalorganization,christian,n24) )). fof(deduced_288,axiom, ( accept_population(countrycmedicalorganization,atheist,n75) )). fof(deduced_289,axiom, ( accept_city(countrycmedicalorganization,towna) )). fof(deduced_290,axiom, ( accept_leader(countrycmedicalorganization,sufferterragovernment) )). fof(deduced_291,axiom, ( accept_leader(countrybcivilorganization,countryccivilorganization) )). fof(deduced_292,axiom, ( accept_leader(countrybcivilorganization,countrybhumanitarianorganization) )). fof(deduced_293,axiom, ( accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization) )). fof(deduced_294,axiom, ( accept_leader(countrybcivilorganization,countrycmedicalorganization) )). fof(deduced_295,axiom, ( accept_population(countrybcivilorganization,other,n0) )). fof(deduced_296,axiom, ( accept_population(countrybcivilorganization,native,n0) )). fof(deduced_297,axiom, ( accept_population(countrybcivilorganization,muslim,n1) )). fof(deduced_298,axiom, ( accept_population(countrybcivilorganization,christian,n24) )). fof(deduced_299,axiom, ( accept_population(countrybcivilorganization,atheist,n75) )). fof(deduced_300,axiom, ( accept_city(countrybcivilorganization,towna) )). fof(deduced_301,axiom, ( accept_leader(countrybcivilorganization,sufferterragovernment) )). fof(deduced_302,axiom, ( accept_number(sufferterragovernment,n5) )). fof(deduced_303,axiom, ( accept_number(sufferterragovernment,n4) )). fof(deduced_304,axiom, ( accept_number(sufferterragovernment,n3) )). fof(deduced_305,axiom, ( accept_number(sufferterragovernment,n2) )). fof(deduced_306,axiom, ( accept_number(sufferterragovernment,n1) )). fof(deduced_307,axiom, ( accept_number(sufferterragovernment,n6) )). fof(deduced_308,axiom, ( accept_number(countryacivilorganization,n5) )). fof(deduced_309,axiom, ( accept_number(countryacivilorganization,n4) )). fof(deduced_310,axiom, ( accept_number(countryacivilorganization,n3) )). fof(deduced_311,axiom, ( accept_number(countryacivilorganization,n2) )). fof(deduced_312,axiom, ( accept_number(countryacivilorganization,n1) )). fof(deduced_313,axiom, ( accept_population(countryacivilorganization,other,n0) )). fof(deduced_314,axiom, ( accept_population(countryacivilorganization,native,n0) )). fof(deduced_315,axiom, ( accept_population(countryacivilorganization,muslim,n1) )). fof(deduced_316,axiom, ( accept_population(countryacivilorganization,christian,n24) )). fof(deduced_317,axiom, ( accept_population(countryacivilorganization,atheist,n75) )). fof(deduced_318,axiom, ( accept_number(countryacivilorganization,n6) )). fof(deduced_319,axiom, ( accept_leader(countryacivilorganization,sufferterragovernment) )). fof(deduced_320,axiom, ( accept_city(countryacivilorganization,towna) )). fof(deduced_321,axiom, ( accept_number(countryccivilorganization,n3) )). fof(deduced_322,axiom, ( accept_number(countryccivilorganization,n2) )). fof(deduced_323,axiom, ( accept_number(countryccivilorganization,n1) )). fof(deduced_324,axiom, ( accept_number(countryccivilorganization,n4) )). fof(deduced_325,axiom, ( accept_leader(christiancountrychumanitarianorganization,countryccivilorganization) )). fof(deduced_326,axiom, ( accept_number(countrybcivilorganization,n5) )). fof(deduced_327,axiom, ( accept_number(countrybcivilorganization,n4) )). fof(deduced_328,axiom, ( accept_number(countrybcivilorganization,n3) )). fof(deduced_329,axiom, ( accept_number(countrybcivilorganization,n2) )). fof(deduced_330,axiom, ( accept_number(countrybcivilorganization,n1) )). fof(deduced_331,axiom, ( accept_number(countrybcivilorganization,n6) )). fof(deduced_332,axiom, ( accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization) )). fof(deduced_333,axiom, ( accept_number(countrybhumanitarianorganization,n5) )). fof(deduced_334,axiom, ( accept_number(countrybhumanitarianorganization,n4) )). fof(deduced_335,axiom, ( accept_number(countrybhumanitarianorganization,n3) )). fof(deduced_336,axiom, ( accept_number(countrybhumanitarianorganization,n2) )). fof(deduced_337,axiom, ( accept_number(countrybhumanitarianorganization,n1) )). fof(deduced_338,axiom, ( accept_number(countrybhumanitarianorganization,n6) )). fof(deduced_339,axiom, ( accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization) )). fof(deduced_340,axiom, ( accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization) )). fof(deduced_341,axiom, ( accept_number(christiancountrychumanitarianorganization,n5) )). fof(deduced_342,axiom, ( accept_number(christiancountrychumanitarianorganization,n4) )). fof(deduced_343,axiom, ( accept_number(christiancountrychumanitarianorganization,n3) )). fof(deduced_344,axiom, ( accept_number(christiancountrychumanitarianorganization,n2) )). fof(deduced_345,axiom, ( accept_number(christiancountrychumanitarianorganization,n1) )). fof(deduced_346,axiom, ( accept_number(christiancountrychumanitarianorganization,n6) )). fof(deduced_347,axiom, ( accept_population(christiancountrychumanitarianorganization,other,n0) )). fof(deduced_348,axiom, ( accept_population(christiancountrychumanitarianorganization,native,n0) )). fof(deduced_349,axiom, ( accept_population(christiancountrychumanitarianorganization,muslim,n1) )). fof(deduced_350,axiom, ( accept_population(christiancountrychumanitarianorganization,christian,n24) )). fof(deduced_351,axiom, ( accept_population(christiancountrychumanitarianorganization,atheist,n75) )). fof(deduced_352,axiom, ( accept_city(christiancountrychumanitarianorganization,towna) )). fof(deduced_353,axiom, ( accept_leader(christiancountrychumanitarianorganization,sufferterragovernment) )). fof(deduced_354,axiom, ( accept_number(countrycmedicalorganization,n5) )). fof(deduced_355,axiom, ( accept_number(countrycmedicalorganization,n4) )). fof(deduced_356,axiom, ( accept_number(countrycmedicalorganization,n3) )). fof(deduced_357,axiom, ( accept_number(countrycmedicalorganization,n2) )). fof(deduced_358,axiom, ( accept_number(countrycmedicalorganization,n1) )). fof(deduced_359,axiom, ( accept_number(countrycmedicalorganization,n6) )). fof(deduced_360,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n5) )). fof(deduced_361,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n4) )). fof(deduced_362,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n3) )). fof(deduced_363,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n2) )). fof(deduced_364,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n1) )). fof(deduced_365,axiom, ( accept_number(muslimcountrybhumanitarianorganization,n6) )). fof(deduced_366,axiom, ( ~ accept_city(muslimcountrybhumanitarianorganization,towna) )). fof(deduced_367,axiom, ( accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment) )). %--------------------------------------------------------------------------