0.06/0.12	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.06/0.12	% Command    : Drodi3.1.5 -learnfrom(drodi.lrn) -timeout(%d) %s
0.12/0.33	% Computer   : n027.cluster.edu
0.12/0.33	% Model      : x86_64 x86_64
0.12/0.33	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.12/0.33	% Memory     : 8042.1875MB
0.12/0.33	% OS         : Linux 3.10.0-693.el7.x86_64
0.12/0.33	% CPULimit   : 1200
0.12/0.33	% WCLimit    : 120
0.12/0.33	% DateTime   : Tue Jul 13 11:00:25 EDT 2021
0.12/0.33	% CPUTime    : 
262.22/47.88	% Drodi V3.1.5
262.22/47.88	% Refutation found
262.22/47.88	% SZS status Theorem for theBenchmark: Theorem is valid
262.22/47.88	% SZS output start CNFRefutation for theBenchmark
262.22/47.88	fof(f2765,axiom,(
262.22/47.88	  ((! [X] :( amoeba_1(X)=> ( original_name_2(X,'Amoeba')& user_description_2(X,'A type of protist characterized by great flexibility and the presence of pseudopodia.')& concept2words_2(X,ameboae)& concept2words_2(X,rhizopods)& concept2words_2(X,rhizopoda)& concept2words_2(X,amoebozoan)& concept2words_2(X,amoebozoan)& concept2words_2(X,rhizopods)& concept2words_2(X,amoeba)& unicellular_organism_1(X)& protist_cell_1(X)& protist_1(X)& ~ alveolate_1(X)& ~ charophycean_1(X)& ~ chlorophyta_1(X)& ~ dinoflagellate_1(X)& ~ diplomonad_1(X)& ~ foraminiferan_1(X)& ~ freshwater_protist_1(X)& ~ oomycete_1(X)& ~ parabasalid_1(X)& ~ radiolarian_1(X)& ~ rhizaria_1(X)& ~ rhodophyte_1(X)& ~ seaweed_1(X)& ~ stramenopile_1(X)& protein_enzyme_1(fn_amoeba_1(X))& glycoprotein_1(fn_amoeba_2(X))& transfer_1(fn_amoeba_3(X))& exchange_1(fn_amoeba_4(X))& carbon_skeleton_1(fn_amoeba_5(X))& lipid_1(fn_amoeba_6(X))& glycolipid_1(fn_amoeba_6(X))& golgi_apparatus_1(fn_amoeba_7(X))& water_1(fn_amoeba_8(X))& temperature_value_1(fn_amoeba_9(X))& specific_heat_value_1(fn_amoeba_10(X))& locomotion_1(fn_amoeba_11(X))& tangible_entity_1(fn_amoeba_12(X))& pseudopodium_1(fn_amoeba_12(X))& tangible_entity_1(fn_amoeba_13(X))& phospholipid_bilayer_1(fn_amoeba_13(X))& size_value_1(fn_amoeba_14(X))& surface_1(fn_amoeba_15(X))& volume_value_1(fn_amoeba_16(X))& eukaryotic_ribosome_1(fn_amoeba_17(X))& tangible_entity_1(fn_amoeba_18(X))& spatial_entity_1(fn_amoeba_18(X))& biomembrane_1(fn_amoeba_18(X))& plasma_membrane_1(fn_amoeba_18(X))& suspension_1(fn_amoeba_19(X))& colloid_1(fn_amoeba_19(X))& mixture_1(fn_amoeba_19(X))& cytoplasm_1(fn_amoeba_19(X))& er_membrane_1(fn_amoeba_20(X))& substance_1(fn_amoeba_21(X))& cytosol_1(fn_amoeba_21(X))& eukaryotic_cellular_respiration_1(fn_amoeba_22(X))& synthesis_reaction_1(fn_amoeba_23(X))& chemical_reaction_1(fn_amoeba_23(X))& anabolic_pathway_1(fn_amoeba_23(X))& endergonic_reaction_1(fn_amoeba_23(X))& metabolic_pathway_1(fn_amoeba_23(X))& synthesis_of_lipid_1(fn_amoeba_23(X))& endoplasmic_reticulum_1(fn_amoeba_24(X))& smooth_endoplasmic_reticulum_1(fn_amoeba_24(X))& semiautonomous_organelle_1(fn_amoeba_25(X))& organelle_1(fn_amoeba_25(X))& mitochondrion_1(fn_amoeba_25(X))& tangible_entity_1(fn_amoeba_26(X))& nucleus_1(fn_amoeba_26(X))& rough_endoplasmic_reticulum_1(fn_amoeba_27(X))& chromosome_1(fn_amoeba_28(X))& eukaryotic_chromosome_1(fn_amoeba_28(X))& attach_1(fn_amoeba_29(X))& surface_1(fn_amoeba_30(X))& outside_face_1(fn_amoeba_30(X))& extracellular_side_1(fn_amoeba_30(X))& hydrophobic_core_1(fn_amoeba_31(X))& spatial_entity_1(fn_amoeba_32(X))& polymer_1(fn_amoeba_32(X))& tangible_entity_1(fn_amoeba_32(X))& membrane_protein_1(fn_amoeba_32(X))& protein_1(fn_amoeba_32(X))& spatial_entity_1(fn_amoeba_33(X))& membrane_protein_1(fn_amoeba_33(X))& tangible_entity_1(fn_amoeba_33(X))& transmembrane_protein_1(fn_amoeba_33(X))& integral_protein_1(fn_amoeba_33(X))& transport_protein_1(fn_amoeba_33(X))& synthesis_of_endomembranous_system_membrane_1(fn_amoeba_34(X))& tangible_entity_1(fn_amoeba_35(X))& spatial_entity_1(fn_amoeba_35(X))& biomembrane_1(fn_amoeba_35(X))& nuclear_membrane_1(fn_amoeba_35(X))& aqueous_solution_1(fn_amoeba_40(X))& nuclear_lamina_1(fn_amoeba_41(X))& cellular_work_1(fn_amoeba_42(X))& phagocytosis_1(fn_amoeba_42(X))& fusion_1(fn_amoeba_43(X))& entity_1(fn_amoeba_44(X))& atom_1(fn_amoeba_44(X))& chemical_entity_1(fn_amoeba_44(X))& carbon_1(fn_amoeba_44(X))& carbon_skeleton_1(fn_amoeba_45(X))& move_through_1(fn_amoeba_46(X))& move_1(fn_amoeba_46(X))& tangible_entity_1(fn_amoeba_47(X))& membrane_protein_1(fn_amoeba_47(X))& protein_1(fn_amoeba_47(X))& spatial_entity_1(fn_amoeba_47(X))& polymer_1(fn_amoeba_47(X))& barrier_1(fn_amoeba_48(X))& container_1(fn_amoeba_48(X))& extracellular_side_1(fn_amoeba_49(X))& intracellular_digestion_1(fn_amoeba_50(X))& move_1(fn_amoeba_51(X))& move_into_1(fn_amoeba_51(X))& take_in_1(fn_amoeba_51(X))& spatial_entity_1(fn_amoeba_52(X))& lysosome_1(fn_amoeba_52(X))& spatial_entity_1(fn_amoeba_53(X))& tangible_entity_1(fn_amoeba_53(X))& vesicle_1(fn_amoeba_53(X))& vacuole_1(fn_amoeba_53(X))& entity_1(fn_amoeba_53(X))& food_vacuole_1(fn_amoeba_53(X))& attach_1(fn_amoeba_54(X))& inside_face_1(fn_amoeba_55(X))& cytoplasmic_side_1(fn_amoeba_55(X))& fusion_1(fn_phagocytosis_76(fn_amoeba_42(X)))& intracellular_digestion_1(fn_phagocytosis_77(fn_amoeba_42(X)))& barrier_1(fn_phagocytosis_88(fn_amoeba_42(X)))& container_1(fn_phagocytosis_88(fn_amoeba_42(X)))& extracellular_side_1(fn_phagocytosis_66(fn_amoeba_42(X)))& move_1(fn_phagocytosis_82(fn_amoeba_42(X)))& move_into_1(fn_phagocytosis_82(fn_amoeba_42(X)))& take_in_1(fn_phagocytosis_82(fn_amoeba_42(X)))& spatial_entity_1(fn_phagocytosis_79(fn_amoeba_42(X)))& tangible_entity_1(fn_phagocytosis_79(fn_amoeba_42(X)))& vesicle_1(fn_phagocytosis_79(fn_amoeba_42(X)))& vacuole_1(fn_phagocytosis_79(fn_amoeba_42(X)))& entity_1(fn_phagocytosis_79(fn_amoeba_42(X)))& food_vacuole_1(fn_phagocytosis_79(fn_amoeba_42(X)))& tangible_entity_1(fn_phagocytosis_81(fn_amoeba_42(X)))& pseudopodium_1(fn_phagocytosis_81(fn_amoeba_42(X)))& hydrophobic_core_1(fn_plasma_membrane_6(fn_amoeba_18(X)))& eukaryotic_ribosome_1(fn_rough_endoplasmic_reticulum_56(fn_amoeba_27(X)))& transfer_1(fn_exchange_3(fn_amoeba_4(X)))& transfer_1(fn_exchange_4(fn_amoeba_4(X)))& transfer_1(fn_endoplasmic_reticulum_25(fn_amoeba_24(X)))& entity_1(fn_transport_protein_17(fn_amoeba_33(X)))& atom_1(fn_transport_protein_17(fn_amoeba_33(X)))& chemical_entity_1(fn_transport_protein_17(fn_amoeba_33(X)))& carbon_1(fn_transport_protein_14(fn_amoeba_33(X)))& inside_face_1(fn_transmembrane_protein_6(fn_amoeba_33(X)))& cytoplasmic_side_1(fn_plasma_membrane_66(fn_amoeba_18(X)))& carbon_skeleton_1(fn_transport_protein_18(fn_amoeba_33(X)))& carbon_skeleton_1(fn_plasma_membrane_57(fn_amoeba_18(X)))& surface_1(fn_integral_protein_29(fn_amoeba_33(X)))& outside_face_1(fn_biomembrane_41(fn_amoeba_18(X)))& extracellular_side_1(fn_plasma_membrane_65(fn_amoeba_18(X)))& move_through_1(fn_transport_protein_10(fn_amoeba_33(X)))& move_through_1(fn_plasma_membrane_74(fn_amoeba_18(X)))& move_1(fn_plasma_membrane_74(fn_amoeba_18(X)))& tangible_entity_1(fn_plasma_membrane_54(fn_amoeba_18(X)))& membrane_protein_1(fn_plasma_membrane_54(fn_amoeba_18(X)))& protein_1(fn_plasma_membrane_54(fn_amoeba_18(X)))& spatial_entity_1(fn_plasma_membrane_54(fn_amoeba_18(X)))& polymer_1(fn_plasma_membrane_54(fn_amoeba_18(X)))& tangible_entity_1(fn_plasma_membrane_68(fn_amoeba_18(X)))& membrane_protein_1(fn_plasma_membrane_68(fn_amoeba_18(X)))& protein_1(fn_plasma_membrane_68(fn_amoeba_18(X)))& glycoprotein_1(fn_integral_protein_9(fn_amoeba_33(X)))& glycoprotein_1(fn_plasma_membrane_34(fn_amoeba_18(X)))& spatial_entity_1(fn_attach_1(fn_amoeba_29(X)))& spatial_entity_1(fn_attach_1(fn_amoeba_54(X)))& membrane_protein_1(fn_plasma_membrane_4(fn_amoeba_18(X)))& membrane_protein_1(fn_plasma_membrane_3(fn_amoeba_18(X)))& tangible_entity_1(fn_plasma_membrane_55(fn_amoeba_18(X)))& transmembrane_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X)))& integral_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X)))& transport_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X)))& glycolipid_1(fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X)))& tangible_entity_1(fn_biomembrane_63(fn_amoeba_18(X)))& phospholipid_bilayer_1(fn_biomembrane_63(fn_amoeba_18(X)))& tangible_entity_1(fn_integral_protein_27(fn_amoeba_33(X)))& phospholipid_bilayer_1(fn_integral_protein_27(fn_amoeba_33(X)))& tangible_entity_1(fn_transport_protein_12(fn_amoeba_33(X)))& phospholipid_bilayer_1(fn_transport_protein_12(fn_amoeba_33(X)))& tangible_entity_1(fn_plasma_membrane_71(fn_amoeba_18(X)))& phospholipid_bilayer_1(fn_plasma_membrane_71(fn_amoeba_18(X)))& spatial_entity_1(fn_attach_2(fn_amoeba_29(X)))& spatial_entity_1(fn_attach_2(fn_amoeba_54(X)))& biomembrane_1(fn_transmembrane_protein_4(fn_amoeba_33(X)))& biomembrane_1(fn_integral_protein_24(fn_amoeba_33(X)))& spatial_entity_1(fn_transport_protein_35(fn_amoeba_33(X)))& biomembrane_1(fn_transport_protein_35(fn_amoeba_33(X)))& tangible_entity_1(fn_phagocytosis_19(fn_amoeba_42(X)))& spatial_entity_1(fn_phagocytosis_19(fn_amoeba_42(X)))& biomembrane_1(fn_phagocytosis_19(fn_amoeba_42(X)))& plasma_membrane_1(fn_phagocytosis_19(fn_amoeba_42(X)))& golgi_apparatus_1(fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X)))& synthesis_reaction_1(fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X)))& synthesis_reaction_1(fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)))& chemical_reaction_1(fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)))& synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)))& chemical_reaction_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))& synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))& anabolic_pathway_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))& synthesis_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& chemical_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& anabolic_pathway_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& metabolic_pathway_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& endergonic_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& synthesis_of_lipid_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))& synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)))& synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)))& metabolic_pathway_1(fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X)))& synthesis_of_lipid_1(fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X)))& spatial_entity_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))& tangible_entity_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))& biomembrane_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))& spatial_entity_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)))& biomembrane_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)))& nuclear_membrane_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)))& spatial_entity_1(fn_phagocytosis_12(fn_amoeba_42(X)))& lysosome_1(fn_phagocytosis_12(fn_amoeba_42(X)))& lysosome_1(fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X)))& tangible_entity_1(fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)))& nucleus_1(fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)))& cytoplasm_1(fn_cytoplasmic_side_1(fn_amoeba_55(X)))& suspension_1(fn_phagocytosis_71(fn_amoeba_42(X)))& colloid_1(fn_phagocytosis_71(fn_amoeba_42(X)))& cytoplasm_1(fn_phagocytosis_71(fn_amoeba_42(X)))& mixture_1(fn_phagocytosis_71(fn_amoeba_42(X)))& mixture_1(fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)))& cytoplasm_1(fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)))& spatial_entity_1(fn_locomotion_1(fn_amoeba_11(X)))& tangible_entity_1(fn_phagocytosis_70(fn_amoeba_42(X)))& eukaryotic_cell_1(fn_phagocytosis_70(fn_amoeba_42(X)))& cell_1(fn_phagocytosis_70(fn_amoeba_42(X)))& eukaryotic_cell_1(fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)))& cell_1(fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)))& tangible_entity_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))& eukaryotic_cell_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))& cell_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))& substance_1(fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)))& cytosol_1(fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)))& substance_1(fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)))& cytosol_1(fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)))& recipient_2(fn_amoeba_3(X),fn_amoeba_27(X))& instrument_2(fn_amoeba_11(X),fn_amoeba_12(X))& has_function_2(fn_amoeba_12(X),fn_amoeba_11(X))& called_2(fn_amoeba_32(X),'MP1')& is_oriented_toward_2(fn_amoeba_55(X),fn_amoeba_19(X))& object_2(fn_amoeba_29(X),fn_amoeba_33(X))& object_2(fn_amoeba_54(X),fn_amoeba_33(X))& base_2(fn_amoeba_29(X),fn_amoeba_18(X))& base_2(fn_amoeba_54(X),fn_amoeba_18(X))& has_function_2(X,fn_amoeba_42(X))& subevent_2(fn_amoeba_4(X),fn_amoeba_3(X))& result_2(fn_amoeba_34(X),fn_amoeba_35(X))& abuts_2(fn_amoeba_27(X),fn_amoeba_24(X))& abuts_2(fn_amoeba_24(X),fn_amoeba_27(X))& fn_amoeba_27(X) != fn_amoeba_24(X)& fn_amoeba_24(X) != fn_amoeba_27(X)& agent_2(fn_amoeba_3(X),fn_amoeba_24(X))& is_facing_2(fn_amoeba_55(X),fn_amoeba_19(X))& subevent_2(fn_amoeba_34(X),fn_amoeba_23(X))& first_subevent_2(fn_amoeba_34(X),fn_amoeba_23(X))& has_part_2(fn_amoeba_33(X),fn_amoeba_44(X))& is_inside_2(fn_amoeba_44(X),fn_amoeba_45(X))& object_2(fn_amoeba_11(X),X)& agent_2(fn_amoeba_11(X),X)& has_part_2(X,fn_amoeba_8(X))& specific_heat_2(fn_amoeba_8(X),fn_amoeba_10(X))& correspondence_2(fn_amoeba_9(X),fn_amoeba_10(X))& temperature_2(X,fn_amoeba_9(X))& destination_2(fn_amoeba_42(X),fn_amoeba_19(X))& subevent_2(fn_amoeba_50(X),fn_amoeba_43(X))& base_2(fn_amoeba_43(X),fn_amoeba_52(X))& subevent_2(fn_amoeba_42(X),fn_amoeba_50(X))& path_2(fn_amoeba_42(X),fn_amoeba_18(X))& first_subevent_2(fn_amoeba_50(X),fn_amoeba_43(X))& object_2(fn_amoeba_43(X),fn_amoeba_53(X))& instrument_2(fn_amoeba_42(X),fn_amoeba_53(X))& subevent_2(fn_amoeba_42(X),fn_amoeba_51(X))& origin_2(fn_amoeba_51(X),fn_amoeba_49(X))& plays_2(X,fn_amoeba_48(X))& in_event_2(fn_amoeba_48(X),fn_amoeba_51(X))& destination_2(fn_amoeba_51(X),fn_amoeba_19(X))& is_inside_2(fn_amoeba_19(X),X)& base_2(fn_amoeba_50(X),X)& base_2(fn_amoeba_51(X),X)& agent_2(fn_amoeba_51(X),X)& is_between_2(X,fn_amoeba_49(X))& is_outside_2(fn_amoeba_49(X),X)& is_between_2(X,fn_amoeba_19(X))& agent_2(fn_amoeba_42(X),X)& has_part_2(X,fn_amoeba_12(X))& facilitates_2(fn_amoeba_12(X),fn_amoeba_42(X))& base_2(fn_amoeba_42(X),X)& has_part_2(X,fn_amoeba_53(X))& fn_amoeba_33(X) != fn_amoeba_32(X)& fn_amoeba_32(X) != fn_amoeba_33(X)& has_region_2(fn_amoeba_18(X),fn_amoeba_55(X))& called_2(fn_amoeba_47(X),'MP2')& has_region_2(fn_amoeba_18(X),fn_amoeba_30(X))& is_outside_2(fn_amoeba_30(X),fn_amoeba_18(X))& is_inside_2(fn_amoeba_45(X),fn_amoeba_18(X))& has_region_2(fn_amoeba_33(X),fn_amoeba_45(X))& has_region_2(fn_amoeba_33(X),fn_amoeba_30(X))& base_2(fn_amoeba_46(X),fn_amoeba_18(X))& has_function_2(fn_amoeba_18(X),fn_amoeba_46(X))& has_region_2(fn_amoeba_18(X),fn_amoeba_31(X))& is_across_2(fn_amoeba_33(X),fn_amoeba_31(X))& is_at_2(fn_amoeba_33(X),fn_amoeba_18(X))& has_part_2(fn_amoeba_18(X),fn_amoeba_47(X))& fn_amoeba_47(X) != fn_amoeba_33(X)& is_across_2(fn_amoeba_33(X),fn_amoeba_18(X))& fn_amoeba_32(X) != fn_amoeba_47(X)& fn_amoeba_47(X) != fn_amoeba_32(X)& fn_amoeba_33(X) != fn_amoeba_47(X)& has_part_2(fn_amoeba_18(X),fn_amoeba_33(X))& is_inside_2(fn_amoeba_33(X),fn_amoeba_13(X))& is_inside_2(fn_amoeba_2(X),fn_amoeba_13(X))& has_part_2(fn_amoeba_18(X),fn_amoeba_2(X))& has_part_2(fn_amoeba_18(X),fn_amoeba_32(X))& the_scalar_value_2(fn_amoeba_14(X),big_0)& scalar_unit_class_2(fn_amoeba_14(X),prokaryote_0)& base_2(fn_amoeba_22(X),X)& has_function_2(X,fn_amoeba_22(X))& has_part_2(fn_amoeba_26(X),fn_amoeba_40(X))& is_between_2(fn_amoeba_35(X),fn_amoeba_40(X))& is_inside_2(fn_amoeba_5(X),fn_amoeba_35(X))& abuts_2(fn_amoeba_35(X),fn_amoeba_20(X))& is_inside_2(fn_amoeba_1(X),fn_amoeba_20(X))& has_part_2(fn_amoeba_19(X),fn_amoeba_1(X))& is_inside_2(fn_amoeba_19(X),fn_amoeba_18(X))& is_between_2(fn_amoeba_19(X),fn_amoeba_18(X))& abuts_2(fn_amoeba_20(X),fn_amoeba_35(X))& volume_2(X,fn_amoeba_16(X))& directly_proportional_2(fn_amoeba_14(X),fn_amoeba_16(X))& size_2(X,fn_amoeba_14(X))& has_part_2(X,fn_amoeba_25(X))& is_inside_2(fn_amoeba_25(X),fn_amoeba_21(X))& is_inside_2(fn_amoeba_28(X),fn_amoeba_26(X))& has_part_2(fn_amoeba_26(X),fn_amoeba_41(X))& is_along_2(fn_amoeba_41(X),fn_amoeba_35(X))& has_part_2(fn_amoeba_35(X),fn_amoeba_6(X))& has_region_2(fn_amoeba_6(X),fn_amoeba_5(X))& is_along_2(fn_amoeba_35(X),fn_amoeba_41(X))& has_part_2(X,fn_amoeba_18(X))& has_part_2(fn_amoeba_18(X),fn_amoeba_13(X))& is_at_2(fn_amoeba_13(X),fn_amoeba_15(X))& has_region_2(X,fn_amoeba_15(X))& has_part_2(X,fn_amoeba_28(X))& site_2(fn_amoeba_23(X),fn_amoeba_24(X))& is_inside_2(fn_amoeba_24(X),fn_amoeba_21(X))& is_inside_2(fn_amoeba_7(X),fn_amoeba_21(X))& has_part_2(X,fn_amoeba_7(X))& has_part_2(X,fn_amoeba_24(X))& has_function_2(fn_amoeba_24(X),fn_amoeba_23(X))& base_2(fn_amoeba_23(X),X)& is_between_2(fn_amoeba_19(X),fn_amoeba_26(X))& has_part_2(fn_amoeba_26(X),fn_amoeba_35(X))& has_part_2(X,fn_amoeba_52(X))& is_inside_2(fn_amoeba_26(X),fn_amoeba_21(X))& has_part_2(X,fn_amoeba_26(X))& has_part_2(X,fn_amoeba_27(X))& is_inside_2(fn_amoeba_27(X),fn_amoeba_21(X))& is_inside_2(fn_amoeba_17(X),fn_amoeba_21(X))& has_part_2(X,fn_amoeba_17(X))& has_part_2(X,fn_amoeba_19(X))& has_part_2(fn_amoeba_19(X),fn_amoeba_21(X))& fn_amoeba_33(X) = fn_attach_1(fn_amoeba_29(X))& fn_amoeba_33(X) = fn_attach_1(fn_amoeba_54(X))& fn_amoeba_18(X) = fn_attach_2(fn_amoeba_29(X))& fn_amoeba_18(X) = fn_attach_2(fn_amoeba_54(X))& fn_amoeba_3(X) = fn_exchange_3(fn_amoeba_4(X))& fn_amoeba_3(X) = fn_exchange_4(fn_amoeba_4(X))& fn_amoeba_27(X) = fn_protist_cell_25(X)& fn_amoeba_3(X) = fn_endoplasmic_reticulum_25(fn_amoeba_24(X))& fn_amoeba_19(X) = fn_cytoplasmic_side_1(fn_amoeba_55(X))& fn_amoeba_23(X) = fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))& fn_amoeba_44(X) = fn_transport_protein_17(fn_amoeba_33(X))& fn_amoeba_44(X) = fn_transport_protein_14(fn_amoeba_33(X))& X = fn_locomotion_1(fn_amoeba_11(X))& fn_amoeba_39(X) = fn_organism_1(X)& fn_amoeba_36(X) = fn_organism_6(X)& fn_amoeba_9(X) = fn_organism_2(X)& fn_amoeba_10(X) = fn_organism_5(X)& fn_amoeba_8(X) = fn_organism_4(X)& fn_amoeba_52(X) = fn_phagocytosis_12(fn_amoeba_42(X))& fn_amoeba_18(X) = fn_phagocytosis_19(fn_amoeba_42(X))& fn_amoeba_43(X) = fn_phagocytosis_76(fn_amoeba_42(X))& fn_amoeba_50(X) = fn_phagocytosis_77(fn_amoeba_42(X))& fn_amoeba_48(X) = fn_phagocytosis_88(fn_amoeba_42(X))& fn_amoeba_19(X) = fn_phagocytosis_71(fn_amoeba_42(X))& fn_amoeba_49(X) = fn_phagocytosis_66(fn_amoeba_42(X))& fn_amoeba_51(X) = fn_phagocytosis_82(fn_amoeba_42(X))& fn_amoeba_53(X) = fn_phagocytosis_79(fn_amoeba_42(X))& fn_amoeba_42(X) = fn_protist_cell_9(X)& fn_amoeba_12(X) = fn_phagocytosis_81(fn_amoeba_42(X))& X = fn_phagocytosis_70(fn_amoeba_42(X))& fn_amoeba_32(X) = fn_plasma_membrane_54(fn_amoeba_18(X))& fn_amoeba_55(X) = fn_transmembrane_protein_6(fn_amoeba_33(X))& fn_amoeba_55(X) = fn_plasma_membrane_66(fn_amoeba_18(X))& fn_amoeba_30(X) = fn_integral_protein_29(fn_amoeba_33(X))& fn_amoeba_45(X) = fn_transport_protein_18(fn_amoeba_33(X))& fn_amoeba_45(X) = fn_plasma_membrane_57(fn_amoeba_18(X))& fn_amoeba_30(X) = fn_biomembrane_41(fn_amoeba_18(X))& fn_amoeba_30(X) = fn_plasma_membrane_65(fn_amoeba_18(X))& fn_amoeba_33(X) = fn_plasma_membrane_4(fn_amoeba_18(X))& fn_amoeba_33(X) = fn_plasma_membrane_3(fn_amoeba_18(X))& fn_amoeba_31(X) = fn_plasma_membrane_6(fn_amoeba_18(X))& fn_amoeba_46(X) = fn_transport_protein_10(fn_amoeba_33(X))& fn_amoeba_46(X) = fn_plasma_membrane_74(fn_amoeba_18(X))& fn_amoeba_47(X) = fn_plasma_membrane_54(fn_amoeba_18(X))& fn_amoeba_32(X) = fn_plasma_membrane_68(fn_amoeba_18(X))& fn_amoeba_2(X) = fn_integral_protein_9(fn_amoeba_33(X))& fn_amoeba_2(X) = fn_plasma_membrane_34(fn_amoeba_18(X))& fn_amoeba_18(X) = fn_transmembrane_protein_4(fn_amoeba_33(X))& fn_amoeba_33(X) = fn_plasma_membrane_55(fn_amoeba_18(X))& fn_amoeba_37(X) = fn_protist_cell_13(X)& fn_amoeba_38(X) = fn_protist_cell_12(X)& fn_amoeba_22(X) = fn_protist_cell_32(X)& fn_amoeba_40(X) = fn_protist_cell_11(X)& fn_amoeba_19(X) = fn_protist_cell_35(X)& fn_amoeba_1(X) = fn_protist_cell_33(X)& fn_amoeba_20(X) = fn_protist_cell_31(X)& fn_amoeba_25(X) = fn_protist_cell_34(X)& fn_amoeba_14(X) = fn_protist_cell_16(X)& fn_amoeba_16(X) = fn_protist_cell_17(X)& fn_amoeba_5(X) = fn_protist_cell_21(X)& fn_amoeba_35(X) = fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))& fn_amoeba_6(X) = fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X))& fn_amoeba_6(X) = fn_protist_cell_26(X)& fn_amoeba_35(X) = fn_protist_cell_27(X)& fn_amoeba_41(X) = fn_protist_cell_10(X)& fn_amoeba_26(X) = fn_protist_cell_24(X)& fn_amoeba_28(X) = fn_protist_cell_19(X)& fn_amoeba_15(X) = fn_protist_cell_15(X)& fn_amoeba_13(X) = fn_biomembrane_63(fn_amoeba_18(X))& fn_amoeba_18(X) = fn_integral_protein_24(fn_amoeba_33(X))& fn_amoeba_13(X) = fn_integral_protein_27(fn_amoeba_33(X))& fn_amoeba_18(X) = fn_transport_protein_35(fn_amoeba_33(X))& fn_amoeba_13(X) = fn_transport_protein_12(fn_amoeba_33(X))& fn_amoeba_13(X) = fn_plasma_membrane_71(fn_amoeba_18(X))& fn_amoeba_13(X) = fn_protist_cell_18(X)& fn_amoeba_18(X) = fn_protist_cell_22(X)& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_protist_cell_28(X)& fn_amoeba_23(X) = fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))& X = fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))& fn_amoeba_7(X) = fn_protist_cell_14(X)& fn_amoeba_7(X) = fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X))& fn_amoeba_24(X) = fn_protist_cell_23(X)& fn_amoeba_21(X) = fn_protist_cell_29(X)& fn_amoeba_21(X) = fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))& fn_amoeba_23(X) = fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X))& fn_amoeba_35(X) = fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))& fn_amoeba_52(X) = fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X))& fn_amoeba_26(X) = fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))& fn_amoeba_19(X) = fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))& X = fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))& fn_amoeba_17(X) = fn_rough_endoplasmic_reticulum_56(fn_amoeba_27(X))& fn_amoeba_21(X) = fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X))& fn_exchange_3(fn_amoeba_4(X)) = fn_exchange_4(fn_amoeba_4(X))& fn_exchange_4(fn_amoeba_4(X)) = fn_exchange_4(fn_amoeba_4(X))& fn_exchange_4(fn_amoeba_4(X)) = fn_endoplasmic_reticulum_25(fn_amoeba_24(X))& fn_endoplasmic_reticulum_25(fn_amoeba_24(X)) = fn_transport_protein_14(fn_amoeba_33(X))& fn_transport_protein_14(fn_amoeba_33(X)) = fn_transport_protein_17(fn_amoeba_33(X))& fn_transport_protein_17(fn_amoeba_33(X)) = fn_transport_protein_14(fn_amoeba_33(X))& fn_transport_protein_14(fn_amoeba_33(X)) = fn_transmembrane_protein_6(fn_amoeba_33(X))& fn_transmembrane_protein_6(fn_amoeba_33(X)) = fn_plasma_membrane_66(fn_amoeba_18(X))& fn_plasma_membrane_66(fn_amoeba_18(X)) = fn_transport_protein_18(fn_amoeba_33(X))& fn_transport_protein_18(fn_amoeba_33(X)) = fn_transport_protein_18(fn_amoeba_33(X))& fn_transport_protein_18(fn_amoeba_33(X)) = fn_plasma_membrane_57(fn_amoeba_18(X))& fn_plasma_membrane_57(fn_amoeba_18(X)) = fn_plasma_membrane_57(fn_amoeba_18(X))& fn_plasma_membrane_57(fn_amoeba_18(X)) = fn_integral_protein_29(fn_amoeba_33(X))& fn_integral_protein_29(fn_amoeba_33(X)) = fn_biomembrane_41(fn_amoeba_18(X))& fn_plasma_membrane_65(fn_amoeba_18(X)) = fn_plasma_membrane_65(fn_amoeba_18(X))& fn_plasma_membrane_65(fn_amoeba_18(X)) = fn_biomembrane_41(fn_amoeba_18(X))& fn_biomembrane_41(fn_amoeba_18(X)) = fn_plasma_membrane_65(fn_amoeba_18(X))& fn_plasma_membrane_65(fn_amoeba_18(X)) = fn_transport_protein_10(fn_amoeba_33(X))& fn_transport_protein_10(fn_amoeba_33(X)) = fn_plasma_membrane_74(fn_amoeba_18(X))& fn_plasma_membrane_74(fn_amoeba_18(X)) = fn_plasma_membrane_74(fn_amoeba_18(X))& fn_plasma_membrane_74(fn_amoeba_18(X)) = fn_plasma_membrane_54(fn_amoeba_18(X))& fn_plasma_membrane_54(fn_amoeba_18(X)) = fn_plasma_membrane_68(fn_amoeba_18(X))& fn_plasma_membrane_68(fn_amoeba_18(X)) = fn_plasma_membrane_68(fn_amoeba_18(X))& fn_plasma_membrane_68(fn_amoeba_18(X)) = fn_integral_protein_9(fn_amoeba_33(X))& fn_plasma_membrane_34(fn_amoeba_18(X)) = fn_integral_protein_9(fn_amoeba_33(X))& fn_integral_protein_9(fn_amoeba_33(X)) = fn_plasma_membrane_34(fn_amoeba_18(X))& fn_plasma_membrane_34(fn_amoeba_18(X)) = fn_attach_1(fn_amoeba_29(X))& fn_attach_1(fn_amoeba_29(X)) = fn_attach_1(fn_amoeba_54(X))& fn_attach_1(fn_amoeba_54(X)) = fn_plasma_membrane_4(fn_amoeba_18(X))& fn_plasma_membrane_4(fn_amoeba_18(X)) = fn_plasma_membrane_4(fn_amoeba_18(X))& fn_plasma_membrane_4(fn_amoeba_18(X)) = fn_plasma_membrane_3(fn_amoeba_18(X))& fn_plasma_membrane_55(fn_amoeba_18(X)) = fn_plasma_membrane_3(fn_amoeba_18(X))& fn_plasma_membrane_3(fn_amoeba_18(X)) = fn_plasma_membrane_55(fn_amoeba_18(X))& fn_plasma_membrane_55(fn_amoeba_18(X)) = fn_plasma_membrane_55(fn_amoeba_18(X))& fn_plasma_membrane_55(fn_amoeba_18(X)) = fn_protist_cell_26(X)& fn_protist_cell_26(X) = fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X))& fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X)) = fn_protist_cell_26(X)& fn_protist_cell_26(X) = fn_integral_protein_27(fn_amoeba_33(X))& fn_integral_protein_27(fn_amoeba_33(X)) = fn_biomembrane_63(fn_amoeba_18(X))& fn_biomembrane_63(fn_amoeba_18(X)) = fn_integral_protein_27(fn_amoeba_33(X))& fn_integral_protein_27(fn_amoeba_33(X)) = fn_integral_protein_27(fn_amoeba_33(X))& fn_transport_protein_12(fn_amoeba_33(X)) = fn_integral_protein_27(fn_amoeba_33(X))& fn_integral_protein_27(fn_amoeba_33(X)) = fn_transport_protein_12(fn_amoeba_33(X))& fn_plasma_membrane_71(fn_amoeba_18(X)) = fn_transport_protein_12(fn_amoeba_33(X))& fn_transport_protein_12(fn_amoeba_33(X)) = fn_plasma_membrane_71(fn_amoeba_18(X))& fn_plasma_membrane_71(fn_amoeba_18(X)) = fn_plasma_membrane_71(fn_amoeba_18(X))& fn_protist_cell_18(X) = fn_plasma_membrane_71(fn_amoeba_18(X))& fn_plasma_membrane_71(fn_amoeba_18(X)) = fn_protist_cell_18(X)& fn_protist_cell_18(X) = fn_attach_2(fn_amoeba_29(X))& fn_attach_2(fn_amoeba_29(X)) = fn_attach_2(fn_amoeba_54(X))& fn_attach_2(fn_amoeba_54(X)) = fn_transmembrane_protein_4(fn_amoeba_33(X))& fn_transmembrane_protein_4(fn_amoeba_33(X)) = fn_transmembrane_protein_4(fn_amoeba_33(X))& fn_integral_protein_24(fn_amoeba_33(X)) = fn_transmembrane_protein_4(fn_amoeba_33(X))& fn_transmembrane_protein_4(fn_amoeba_33(X)) = fn_integral_protein_24(fn_amoeba_33(X))& fn_integral_protein_24(fn_amoeba_33(X)) = fn_integral_protein_24(fn_amoeba_33(X))& fn_transport_protein_35(fn_amoeba_33(X)) = fn_integral_protein_24(fn_amoeba_33(X))& fn_integral_protein_24(fn_amoeba_33(X)) = fn_transport_protein_35(fn_amoeba_33(X))& fn_phagocytosis_19(fn_amoeba_42(X)) = fn_transport_protein_35(fn_amoeba_33(X))& fn_transport_protein_35(fn_amoeba_33(X)) = fn_transport_protein_35(fn_amoeba_33(X))& fn_transport_protein_35(fn_amoeba_33(X)) = fn_phagocytosis_19(fn_amoeba_42(X))& fn_phagocytosis_19(fn_amoeba_42(X)) = fn_protist_cell_22(X)& fn_protist_cell_22(X) = fn_protist_cell_22(X)& fn_protist_cell_22(X) = fn_protist_cell_14(X)& fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X)) = fn_protist_cell_14(X)& fn_protist_cell_14(X) = fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)) = fn_protist_cell_28(X)& fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)) = fn_protist_cell_28(X)& fn_protist_cell_28(X) = fn_protist_cell_28(X)& fn_protist_cell_28(X) = fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))& fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)) = fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))& fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)) = fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)) = fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X)) = fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))& fn_protist_cell_27(X) = fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))& fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)) = fn_protist_cell_27(X)& fn_protist_cell_27(X) = fn_protist_cell_27(X)& fn_protist_cell_27(X) = fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)) = fn_phagocytosis_12(fn_amoeba_42(X))& fn_phagocytosis_12(fn_amoeba_42(X)) = fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X)) = fn_protist_cell_24(X)& fn_protist_cell_24(X) = fn_protist_cell_24(X)& fn_protist_cell_24(X) = fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)) = fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)) = fn_cytoplasmic_side_1(fn_amoeba_55(X))& fn_cytoplasmic_side_1(fn_amoeba_55(X)) = fn_phagocytosis_71(fn_amoeba_42(X))& fn_phagocytosis_71(fn_amoeba_42(X)) = fn_phagocytosis_71(fn_amoeba_42(X))& fn_phagocytosis_71(fn_amoeba_42(X)) = fn_protist_cell_35(X)& fn_protist_cell_35(X) = fn_protist_cell_35(X)& fn_protist_cell_35(X) = fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)) = fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)) = fn_locomotion_1(fn_amoeba_11(X))& fn_locomotion_1(fn_amoeba_11(X)) = fn_locomotion_1(fn_amoeba_11(X))& fn_locomotion_1(fn_amoeba_11(X)) = fn_phagocytosis_70(fn_amoeba_42(X))& fn_phagocytosis_70(fn_amoeba_42(X)) = fn_phagocytosis_70(fn_amoeba_42(X))& fn_phagocytosis_70(fn_amoeba_42(X)) = fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)) = fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)) = fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)) = fn_protist_cell_29(X)& fn_protist_cell_29(X) = fn_protist_cell_29(X)& fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)) = fn_protist_cell_29(X)& fn_protist_cell_29(X) = fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)) = fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))& fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)) = fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X))& fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)) = fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)) ) ) ))),
262.22/47.88	  file('/export/starexec/sandbox/benchmark/theBenchmark')).
262.22/47.88	fof(f3216,axiom,(
262.22/47.88	  ((! [X] :( biomembrane_1(X)=> ( original_name_2(X,'Biomembrane')& user_description_2(X,'A biological membrane or biomembrane is an enclosing or separating membrane that acts as a selective barrier, within or around a cell.')& concept2words_2(X,'biological membrane')& concept2words_2(X,'biological-membrane')& concept2words_2(X,'cellular membrane')& concept2words_2(X,'cellular-membrane')& concept2words_2(X,membrane)& concept2words_2(X,biomembrane)& membrane_1(X)& ~ aster_1(X)& ~ axon_hillock_1(X)& ~ axon_1(X)& ~ cell_body_1(X)& ~ chromosomal_arrangement_1(X)& ~ dendrite_1(X)& ~ fertilization_envelope_1(X)& ~ fimbria_1(X)& ~ growth_cone_1(X)& ~ i_band_filament_1(X)& ~ myelin_sheath_1(X)& ~ node_of_ranvier_1(X)& ~ phospholipid_bilayer_1(X)& ~ phospholipid_layer_1(X)& ~ phragmoplast_1(X)& ~ platelet_1(X)& ~ preprophase_band_1(X)& ~ primary_cell_wall_1(X)& ~ pseudopodium_1(X)& ~ root_hair_1(X)& ~ sarcomere_1(X)& ~ sex_pilus_1(X)& ~ statocyst_1(X)& ~ synaptic_terminal_1(X)& ~ transverse_tubule_1(X)& ~ z_line_filament_1(X)& phospholipid_1(fn_biomembrane_1(X))& density_value_1(fn_biomembrane_4(X))& membrane_potential_1(fn_biomembrane_8(X))& voltage_value_1(fn_biomembrane_9(X))& voltage_value_1(fn_biomembrane_10(X))& voltage_value_1(fn_biomembrane_11(X))& rate_value_1(fn_biomembrane_13(X))& aqueous_solution_1(fn_biomembrane_14(X))& aqueous_solution_1(fn_biomembrane_15(X))& quantity_value_1(fn_biomembrane_16(X))& quantity_value_1(fn_biomembrane_17(X))& fluidity_value_1(fn_biomembrane_18(X))& quantity_value_1(fn_biomembrane_20(X))& rate_value_1(fn_biomembrane_21(X))& rate_value_1(fn_biomembrane_22(X))& kinetic_energy_1(fn_biomembrane_23(X))& quantity_value_1(fn_biomembrane_24(X))& temperature_value_1(fn_biomembrane_25(X))& glycolipid_1(fn_biomembrane_29(X))& glycoprotein_1(fn_biomembrane_30(X))& quantity_value_1(fn_biomembrane_31(X))& saturated_fatty_acid_1(fn_biomembrane_32(X))& share_1(fn_biomembrane_33(X))& unequal_sharing_1(fn_biomembrane_34(X))& hydrophobic_compound_1(fn_biomembrane_35(X))& hydrophobic_compound_1(fn_biomembrane_36(X))& outside_face_1(fn_biomembrane_41(X))& inside_face_1(fn_biomembrane_42(X))& chemical_polarity_value_1(fn_biomembrane_43(X))& size_value_1(fn_biomembrane_44(X))& surface_1(fn_biomembrane_47(X))& hydrophobic_compound_1(fn_biomembrane_48(X))& barrier_1(fn_biomembrane_49(X))& block_1(fn_biomembrane_50(X))& chemical_bond_1(fn_biomembrane_51(X))& ester_linkage_1(fn_biomembrane_51(X))& move_through_1(fn_biomembrane_52(X))& move_1(fn_biomembrane_53(X))& tangible_entity_1(fn_biomembrane_54(X))& membrane_protein_1(fn_biomembrane_54(X))& protein_1(fn_biomembrane_54(X))& chemical_entity_1(fn_biomembrane_55(X))& size_value_1(fn_biomembrane_56(X))& hold_together_1(fn_biomembrane_57(X))& phospholipid_1(fn_biomembrane_58(X))& tangible_entity_1(fn_biomembrane_59(X))& entity_1(fn_biomembrane_59(X))& chemical_entity_1(fn_biomembrane_59(X))& atom_1(fn_biomembrane_59(X))& carbon_1(fn_biomembrane_59(X))& hydrogen_1(fn_biomembrane_60(X))& phospholipid_layer_1(fn_biomembrane_61(X))& phospholipid_layer_1(fn_biomembrane_62(X))& tangible_entity_1(fn_biomembrane_63(X))& phospholipid_bilayer_1(fn_biomembrane_63(X))& hold_together_1(fn_biomembrane_64(X))& lipid_1(fn_biomembrane_65(X))& spatial_entity_1(fn_biomembrane_65(X))& phospholipid_1(fn_biomembrane_65(X))& spatial_entity_1(fn_biomembrane_66(X))& tangible_entity_1(fn_biomembrane_66(X))& organic_molecule_1(fn_biomembrane_66(X))& phospholipid_1(fn_biomembrane_66(X))& phospholipid_1(fn_biomembrane_67(X))& move_apart_1(fn_biomembrane_68(X))& move_together_1(fn_biomembrane_69(X))& carbohydrate_side_chain_1(fn_biomembrane_70(X))& carbon_skeleton_1(fn_biomembrane_71(X))& hydrophilic_compound_1(fn_biomembrane_72(X))& attach_1(fn_biomembrane_73(X))& hold_together_1(fn_biomembrane_74(X))& hydrophobic_core_1(fn_biomembrane_75(X))& fatty_acid_tail_1(fn_biomembrane_77(X))& fatty_acid_tail_1(fn_biomembrane_78(X))& fatty_acid_tail_1(fn_biomembrane_79(X))& hydrophilic_head_1(fn_biomembrane_80(X))& hydrophilic_face_1(fn_biomembrane_81(X))& hydrophilic_head_1(fn_biomembrane_82(X))& hydrophilic_face_1(fn_biomembrane_83(X))& speed_value_1(fn_biomembrane_84(X))& quantity_value_1(fn_biomembrane_85(X))& chemical_bond_1(fn_biomembrane_86(X))& ester_linkage_1(fn_biomembrane_86(X))& kinetic_energy_1(fn_biomembrane_87(X))& constant_motion_1(fn_biomembrane_88(X))& carbon_skeleton_1(fn_biomembrane_89(X))& repel_1(fn_biomembrane_90(X))& tangible_entity_1(fn_biomembrane_91(X))& entity_1(fn_biomembrane_91(X))& chemical_entity_1(fn_biomembrane_91(X))& atom_1(fn_biomembrane_91(X))& carbon_1(fn_biomembrane_91(X))& fatty_acid_1(fn_biomembrane_92(X))& spatial_entity_1(fn_biomembrane_93(X))& chemical_entity_1(fn_biomembrane_93(X))& hydrophobic_compound_1(fn_biomembrane_93(X))& organic_acid_1(fn_biomembrane_93(X))& carboxylic_acid_1(fn_biomembrane_93(X))& fatty_acid_1(fn_biomembrane_93(X))& entity_1(fn_biomembrane_94(X))& atom_1(fn_biomembrane_94(X))& chemical_entity_1(fn_biomembrane_94(X))& phosphorus_1(fn_biomembrane_94(X))& entity_1(fn_biomembrane_95(X))& chemical_entity_1(fn_biomembrane_95(X))& atom_1(fn_biomembrane_95(X))& oxygen_1(fn_biomembrane_95(X))& spatial_entity_1(fn_biomembrane_96(X))& functional_group_1(fn_biomembrane_96(X))& phosphate_group_1(fn_biomembrane_96(X))& entity_1(fn_biomembrane_97(X))& spatial_entity_1(fn_biomembrane_97(X))& tangible_entity_1(fn_biomembrane_97(X))& chemical_entity_1(fn_biomembrane_97(X))& glycerol_1(fn_biomembrane_97(X))& alcohol_1(fn_biomembrane_97(X))& hydrophobic_compound_1(fn_biomembrane_98(X))& hydrophobic_compound_1(fn_biomembrane_99(X))& block_1(fn_biomembrane_100(X))& block_1(fn_biomembrane_101(X))& block_1(fn_biomembrane_102(X))& hydrophilic_compound_1(fn_biomembrane_105(X))& spatial_entity_1(fn_move_apart_2(fn_biomembrane_68(X)))& spatial_entity_1(fn_attach_1(fn_biomembrane_73(X)))& tangible_entity_1(fn_hold_2(fn_biomembrane_57(X)))& tangible_entity_1(fn_hold_1(fn_biomembrane_57(X)))& spatial_entity_1(fn_block_1(fn_biomembrane_100(X)))& spatial_entity_1(fn_block_1(fn_biomembrane_101(X)))& spatial_entity_1(fn_block_1(fn_biomembrane_102(X)))& spatial_entity_1(fn_attach_2(fn_biomembrane_73(X)))& atom_1(fn_organic_molecule_2(fn_biomembrane_66(X)))& chemical_entity_1(fn_organic_molecule_2(fn_biomembrane_66(X)))& property_node_1(fn_protein_10(fn_biomembrane_54(X)))& size_value_1(fn_protein_9(fn_biomembrane_54(X)))& tangible_entity_1(fn_phospholipid_98(fn_biomembrane_66(X)))& entity_1(fn_phospholipid_98(fn_biomembrane_66(X)))& chemical_entity_1(fn_phospholipid_98(fn_biomembrane_66(X)))& atom_1(fn_phospholipid_98(fn_biomembrane_66(X)))& carbon_1(fn_phospholipid_98(fn_biomembrane_66(X)))& chemical_bond_1(fn_phospholipid_94(fn_biomembrane_66(X)))& ester_linkage_1(fn_phospholipid_94(fn_biomembrane_66(X)))& hydrophilic_face_1(fn_phospholipid_bilayer_39(fn_biomembrane_63(X)))& hydrophobic_core_1(fn_phospholipid_bilayer_3(fn_biomembrane_63(X)))& phospholipid_layer_1(fn_phospholipid_bilayer_34(fn_biomembrane_63(X)))& hydrophilic_face_1(fn_phospholipid_bilayer_38(fn_biomembrane_63(X)))& phospholipid_layer_1(fn_phospholipid_bilayer_33(fn_biomembrane_63(X)))& entity_1(fn_phospholipid_89(fn_biomembrane_65(X)))& spatial_entity_1(fn_phospholipid_89(fn_biomembrane_65(X)))& tangible_entity_1(fn_phospholipid_89(fn_biomembrane_65(X)))& chemical_entity_1(fn_phospholipid_89(fn_biomembrane_65(X)))& glycerol_1(fn_phospholipid_89(fn_biomembrane_65(X)))& alcohol_1(fn_phospholipid_89(fn_biomembrane_65(X)))& entity_1(fn_phospholipid_99(fn_biomembrane_65(X)))& chemical_entity_1(fn_phospholipid_99(fn_biomembrane_65(X)))& atom_1(fn_phospholipid_99(fn_biomembrane_65(X)))& oxygen_1(fn_phospholipid_99(fn_biomembrane_65(X)))& kinetic_energy_1(fn_phospholipid_105(fn_biomembrane_65(X)))& constant_motion_1(fn_phospholipid_104(fn_biomembrane_65(X)))& property_node_1(fn_phospholipid_43(fn_biomembrane_65(X)))& speed_value_1(fn_phospholipid_103(fn_biomembrane_65(X)))& tangible_entity_1(fn_phospholipid_98(fn_biomembrane_65(X)))& entity_1(fn_phospholipid_98(fn_biomembrane_65(X)))& chemical_entity_1(fn_phospholipid_98(fn_biomembrane_65(X)))& atom_1(fn_phospholipid_98(fn_biomembrane_65(X)))& carbon_1(fn_phospholipid_98(fn_biomembrane_65(X)))& property_node_1(fn_phospholipid_44(fn_biomembrane_65(X)))& quantity_value_1(fn_phospholipid_102(fn_biomembrane_65(X)))& chemical_bond_1(fn_phospholipid_94(fn_biomembrane_65(X)))& ester_linkage_1(fn_phospholipid_94(fn_biomembrane_65(X)))& entity_1(fn_phospholipid_84(fn_biomembrane_65(X)))& atom_1(fn_phospholipid_84(fn_biomembrane_65(X)))& chemical_entity_1(fn_phospholipid_84(fn_biomembrane_65(X)))& phosphorus_1(fn_phospholipid_84(fn_biomembrane_65(X)))& spatial_entity_1(fn_phospholipid_83(fn_biomembrane_65(X)))& functional_group_1(fn_phospholipid_83(fn_biomembrane_65(X)))& phosphate_group_1(fn_phospholipid_83(fn_biomembrane_65(X)))& spatial_entity_1(fn_phospholipid_91(fn_biomembrane_65(X)))& chemical_entity_1(fn_phospholipid_91(fn_biomembrane_65(X)))& hydrophobic_compound_1(fn_phospholipid_91(fn_biomembrane_65(X)))& organic_acid_1(fn_phospholipid_91(fn_biomembrane_65(X)))& carboxylic_acid_1(fn_phospholipid_91(fn_biomembrane_65(X)))& fatty_acid_1(fn_phospholipid_91(fn_biomembrane_65(X)))& fatty_acid_1(fn_phospholipid_87(fn_biomembrane_65(X)))& hydrophilic_head_1(fn_phospholipid_88(fn_biomembrane_66(X)))& hydrophilic_head_1(fn_phospholipid_bilayer_26(fn_biomembrane_63(X)))& fatty_acid_tail_1(fn_phospholipid_92(fn_biomembrane_66(X)))& fatty_acid_tail_1(fn_phospholipid_90(fn_biomembrane_66(X)))& fatty_acid_tail_1(fn_phospholipid_bilayer_23(fn_biomembrane_63(X)))& spatial_entity_1(fn_move_apart_1(fn_biomembrane_68(X)))& spatial_entity_1(fn_move_together_2(fn_biomembrane_69(X)))& spatial_entity_1(fn_move_1(fn_biomembrane_53(X)))& tangible_entity_1(fn_hold_2(fn_biomembrane_64(X)))& phospholipid_1(fn_phospholipid_bilayer_24(fn_biomembrane_63(X)))& tangible_entity_1(fn_hold_2(fn_biomembrane_74(X)))& phospholipid_bilayer_1(fn_membrane_protein_2(fn_biomembrane_54(X)))& hydrophilic_head_1(fn_phospholipid_bilayer_37(fn_biomembrane_63(X)))& hydrophilic_head_1(fn_phospholipid_88(fn_biomembrane_65(X)))& carbon_skeleton_1(fn_lipid_14(fn_biomembrane_65(X)))& carbon_skeleton_1(fn_phospholipid_97(fn_biomembrane_65(X)))& spatial_entity_1(fn_move_together_1(fn_biomembrane_69(X)))& spatial_entity_1(fn_phospholipid_bilayer_32(fn_biomembrane_63(X)))& phospholipid_1(fn_phospholipid_bilayer_32(fn_biomembrane_63(X)))& fatty_acid_tail_1(fn_phospholipid_90(fn_biomembrane_65(X)))& fatty_acid_tail_1(fn_phospholipid_bilayer_19(fn_biomembrane_63(X)))& fatty_acid_tail_1(fn_phospholipid_92(fn_biomembrane_65(X)))& repel_1(fn_phospholipid_116(fn_biomembrane_65(X)))& repel_1(fn_phospholipid_80(fn_biomembrane_65(X)))& biomembrane_1(fn_membrane_protein_1(fn_biomembrane_54(X)))& called_2(fn_biomembrane_102(X),"1")& fn_biomembrane_102(X) != fn_biomembrane_101(X)& fn_biomembrane_102(X) != fn_biomembrane_100(X)& instrument_2(fn_biomembrane_102(X),fn_biomembrane_77(X))& agent_2(fn_biomembrane_102(X),fn_biomembrane_75(X))& called_2(fn_biomembrane_101(X),"2")& fn_biomembrane_101(X) != fn_biomembrane_102(X)& fn_biomembrane_101(X) != fn_biomembrane_100(X)& agent_2(fn_biomembrane_101(X),fn_biomembrane_83(X))& instrument_2(fn_biomembrane_101(X),fn_biomembrane_82(X))& called_2(fn_biomembrane_100(X),"3")& fn_biomembrane_100(X) != fn_biomembrane_101(X)& fn_biomembrane_100(X) != fn_biomembrane_102(X)& agent_2(fn_biomembrane_100(X),fn_biomembrane_81(X))& instrument_2(fn_biomembrane_100(X),fn_biomembrane_80(X))& the_scalar_value_2(fn_biomembrane_44(X),small_0)& scalar_unit_class_2(fn_biomembrane_44(X),physical_object_0)& the_categorical_value_2(fn_biomembrane_43(X),nonpolar_0)& is_inside_2(fn_biomembrane_83(X),fn_biomembrane_41(X))& is_inside_2(fn_biomembrane_81(X),fn_biomembrane_42(X))& is_inside_2(fn_biomembrane_41(X),fn_biomembrane_15(X))& object_2(fn_biomembrane_74(X),fn_biomembrane_36(X))& object_2(fn_biomembrane_74(X),fn_biomembrane_35(X))& result_2(fn_biomembrane_34(X),fn_biomembrane_65(X))& result_2(fn_biomembrane_33(X),fn_biomembrane_65(X))& fn_biomembrane_72(X) != fn_biomembrane_55(X)& quantity_2(fn_biomembrane_32(X),fn_biomembrane_31(X))& directly_proportional_2(fn_biomembrane_31(X),fn_biomembrane_18(X))& is_inside_2(fn_biomembrane_30(X),fn_biomembrane_63(X))& is_inside_2(fn_biomembrane_71(X),X)& is_outside_2(fn_biomembrane_70(X),X)& correspondence_2(fn_biomembrane_25(X),fn_biomembrane_24(X))& directly_proportional_2(fn_biomembrane_25(X),fn_biomembrane_24(X))& directly_proportional_2(fn_biomembrane_25(X),fn_biomembrane_18(X))& positive_influence_2(fn_biomembrane_24(X),fn_biomembrane_22(X))& negative_influence_2(fn_biomembrane_24(X),fn_biomembrane_21(X))& quantity_2(fn_biomembrane_23(X),fn_biomembrane_24(X))& directly_proportional_2(fn_biomembrane_22(X),fn_biomembrane_18(X))& inversely_proportional_2(fn_biomembrane_21(X),fn_biomembrane_18(X))& rate_2(fn_biomembrane_69(X),fn_biomembrane_21(X))& rate_2(fn_biomembrane_68(X),fn_biomembrane_22(X))& called_2(fn_biomembrane_67(X),'P2')& is_inside_2(fn_biomembrane_67(X),fn_biomembrane_62(X))& quantity_2(fn_biomembrane_67(X),fn_biomembrane_16(X))& called_2(fn_biomembrane_66(X),'P1')& called_2(fn_biomembrane_65(X),'P4')& object_2(fn_biomembrane_64(X),fn_biomembrane_1(X))& has_region_2(X,fn_biomembrane_41(X))& has_region_2(X,fn_biomembrane_42(X))& has_region_2(X,fn_biomembrane_47(X))& density_2(X,fn_biomembrane_4(X))& is_impermeable_to_2(X,fn_biomembrane_48(X))& possesses_2(X,fn_biomembrane_8(X))& temperature_2(X,fn_biomembrane_25(X))& is_between_2(X,fn_biomembrane_15(X))& is_between_2(X,fn_biomembrane_14(X))& fluidity_2(X,fn_biomembrane_18(X))& has_function_2(X,fn_biomembrane_100(X))& has_function_2(X,fn_biomembrane_101(X))& has_function_2(X,fn_biomembrane_102(X))& has_part_2(X,fn_biomembrane_32(X))& has_part_2(X,fn_biomembrane_29(X))& has_part_2(X,fn_biomembrane_30(X))& fn_biomembrane_62(X) != fn_biomembrane_61(X)& directly_proportional_2(fn_biomembrane_18(X),fn_biomembrane_13(X))& fn_biomembrane_61(X) != fn_biomembrane_62(X)& greater_than_2(fn_biomembrane_16(X),fn_biomembrane_17(X))& greater_than_2(fn_biomembrane_16(X),fn_biomembrane_20(X))& is_inside_2(fn_biomembrane_14(X),fn_biomembrane_42(X))& fn_biomembrane_55(X) != fn_biomembrane_72(X)& chemical_polarity_2(fn_biomembrane_55(X),fn_biomembrane_43(X))& size_2(fn_biomembrane_55(X),fn_biomembrane_44(X))& rate_2(fn_biomembrane_53(X),fn_biomembrane_13(X))& the_cardinal_value_2(fn_biomembrane_11(X),"-50.0e0")& cardinal_unit_class_2(fn_biomembrane_11(X),volt_0)& greater_than_or_equal_to_2(fn_biomembrane_11(X),fn_biomembrane_9(X))& the_cardinal_value_2(fn_biomembrane_10(X),"-200.0e0")& cardinal_unit_class_2(fn_biomembrane_10(X),volt_0)& greater_than_or_equal_to_2(fn_biomembrane_9(X),fn_biomembrane_10(X))& voltage_2(fn_biomembrane_8(X),fn_biomembrane_9(X))& inversely_proportional_2(fn_biomembrane_4(X),fn_biomembrane_18(X))& path_2(fn_biomembrane_52(X),fn_biomembrane_75(X))& object_2(fn_biomembrane_68(X),fn_biomembrane_67(X))& object_2(fn_biomembrane_68(X),fn_biomembrane_66(X))& object_2(fn_biomembrane_69(X),fn_biomembrane_66(X))& object_2(fn_biomembrane_53(X),fn_biomembrane_66(X))& object_2(fn_biomembrane_69(X),fn_biomembrane_65(X))& object_2(fn_biomembrane_64(X),fn_biomembrane_66(X))& object_2(fn_biomembrane_73(X),fn_biomembrane_70(X))& object_2(fn_biomembrane_57(X),fn_biomembrane_58(X))& agent_2(fn_biomembrane_57(X),fn_biomembrane_54(X))& object_2(fn_biomembrane_100(X),fn_biomembrane_98(X))& object_2(fn_biomembrane_101(X),fn_biomembrane_99(X))& object_2(fn_biomembrane_102(X),fn_biomembrane_105(X))& object_2(fn_biomembrane_74(X),fn_biomembrane_63(X))& base_2(fn_biomembrane_73(X),fn_biomembrane_71(X))& is_impermeable_to_2(X,fn_biomembrane_72(X))& object_2(fn_biomembrane_50(X),fn_biomembrane_72(X))& is_permeable_to_2(X,fn_biomembrane_55(X))& object_2(fn_biomembrane_52(X),fn_biomembrane_55(X))& fn_biomembrane_48(X) != fn_biomembrane_55(X)& fn_biomembrane_55(X) != fn_biomembrane_48(X)& has_part_2(X,fn_biomembrane_54(X))& has_part_2(X,fn_biomembrane_63(X))& has_function_2(X,fn_biomembrane_52(X))& base_2(fn_biomembrane_52(X),X)& plays_2(X,fn_biomembrane_49(X))& in_event_2(fn_biomembrane_49(X),fn_biomembrane_50(X))& fn_biomembrane_94(X) != fn_biomembrane_95(X)& fn_biomembrane_95(X) != fn_biomembrane_94(X)& has_part_2(fn_biomembrane_65(X),fn_biomembrane_95(X))& has_region_2(fn_biomembrane_65(X),fn_biomembrane_80(X))& is_at_2(fn_biomembrane_97(X),fn_biomembrane_80(X))& has_part_2(fn_biomembrane_65(X),fn_biomembrane_97(X))& fn_biomembrane_91(X) != fn_biomembrane_94(X)& is_at_2(fn_biomembrane_91(X),fn_biomembrane_78(X))& fn_biomembrane_94(X) != fn_biomembrane_91(X)& has_part_2(fn_biomembrane_65(X),fn_biomembrane_94(X))& has_region_2(fn_biomembrane_65(X),fn_biomembrane_96(X))& is_at_2(fn_biomembrane_96(X),fn_biomembrane_80(X))& fn_biomembrane_92(X) != fn_biomembrane_93(X)& is_inside_2(fn_biomembrane_91(X),fn_biomembrane_89(X))& has_part_2(fn_biomembrane_65(X),fn_biomembrane_91(X))& has_part_2(fn_biomembrane_65(X),fn_biomembrane_92(X))& fn_biomembrane_93(X) != fn_biomembrane_92(X)& has_part_2(fn_biomembrane_65(X),fn_biomembrane_93(X))& facilitates_2(fn_biomembrane_78(X),fn_biomembrane_90(X))& has_region_2(fn_biomembrane_65(X),fn_biomembrane_78(X))& possesses_2(fn_biomembrane_65(X),fn_biomembrane_86(X))& is_between_2(fn_biomembrane_86(X),fn_biomembrane_95(X))& is_inside_2(fn_biomembrane_95(X),fn_biomembrane_96(X))& directly_proportional_2(fn_biomembrane_84(X),fn_biomembrane_85(X))& quantity_2(fn_biomembrane_87(X),fn_biomembrane_85(X))& possesses_2(fn_biomembrane_65(X),fn_biomembrane_87(X))& agent_2(fn_biomembrane_90(X),fn_biomembrane_65(X))& has_function_2(fn_biomembrane_65(X),fn_biomembrane_90(X))& has_region_2(fn_biomembrane_65(X),fn_biomembrane_89(X))& object_2(fn_biomembrane_88(X),fn_biomembrane_65(X))& speed_2(fn_biomembrane_88(X),fn_biomembrane_84(X))& has_region_2(fn_biomembrane_65(X),fn_biomembrane_77(X))& is_between_2(fn_biomembrane_86(X),fn_biomembrane_91(X))& called_2(fn_biomembrane_86(X),'EL1')& is_inside_2(fn_biomembrane_94(X),fn_biomembrane_96(X))& site_2(fn_biomembrane_90(X),fn_biomembrane_78(X))& called_2(fn_biomembrane_93(X),"2")& called_2(fn_biomembrane_92(X),"1")& has_region_2(fn_biomembrane_62(X),fn_biomembrane_83(X))& is_between_2(fn_biomembrane_75(X),fn_biomembrane_83(X))& is_between_2(fn_biomembrane_75(X),fn_biomembrane_81(X))& has_region_2(fn_biomembrane_61(X),fn_biomembrane_81(X))& has_region_2(fn_biomembrane_63(X),fn_biomembrane_61(X))& is_along_2(fn_biomembrane_62(X),fn_biomembrane_61(X))& is_inside_2(fn_biomembrane_82(X),fn_biomembrane_83(X))& is_at_2(fn_biomembrane_82(X),fn_biomembrane_83(X))& has_region_2(fn_biomembrane_66(X),fn_biomembrane_82(X))& element_2(fn_biomembrane_62(X),fn_biomembrane_66(X))& is_along_2(fn_biomembrane_61(X),fn_biomembrane_62(X))& abuts_2(fn_biomembrane_79(X),fn_biomembrane_78(X))& abuts_2(fn_biomembrane_78(X),fn_biomembrane_79(X))& has_region_2(fn_biomembrane_66(X),fn_biomembrane_79(X))& has_region_2(fn_biomembrane_63(X),fn_biomembrane_75(X))& has_region_2(fn_biomembrane_63(X),fn_biomembrane_62(X))& is_inside_2(fn_biomembrane_80(X),fn_biomembrane_81(X))& element_2(fn_biomembrane_61(X),fn_biomembrane_65(X))& has_part_2(fn_biomembrane_66(X),fn_biomembrane_59(X))& is_between_2(fn_biomembrane_51(X),fn_biomembrane_59(X))& possesses_2(fn_biomembrane_66(X),fn_biomembrane_51(X))& called_2(fn_biomembrane_51(X),'EL1')& has_part_2(fn_biomembrane_66(X),fn_biomembrane_60(X))& fn_biomembrane_67(X) = fn_move_apart_2(fn_biomembrane_68(X))& fn_biomembrane_66(X) = fn_move_apart_1(fn_biomembrane_68(X))& fn_biomembrane_66(X) = fn_move_together_2(fn_biomembrane_69(X))& fn_biomembrane_66(X) = fn_move_1(fn_biomembrane_53(X))& fn_biomembrane_65(X) = fn_move_together_1(fn_biomembrane_69(X))& fn_biomembrane_66(X) = fn_hold_2(fn_biomembrane_64(X))& fn_biomembrane_70(X) = fn_attach_1(fn_biomembrane_73(X))& fn_biomembrane_58(X) = fn_hold_2(fn_biomembrane_57(X))& fn_biomembrane_54(X) = fn_hold_1(fn_biomembrane_57(X))& fn_biomembrane_98(X) = fn_block_1(fn_biomembrane_100(X))& fn_biomembrane_99(X) = fn_block_1(fn_biomembrane_101(X))& fn_biomembrane_105(X) = fn_block_1(fn_biomembrane_102(X))& fn_biomembrane_63(X) = fn_hold_2(fn_biomembrane_74(X))& fn_biomembrane_71(X) = fn_attach_2(fn_biomembrane_73(X))& fn_biomembrane_72(X) = fn_membrane_5(X)& fn_biomembrane_48(X) = fn_membrane_5(X)& fn_biomembrane_55(X) = fn_membrane_4(X)& fn_biomembrane_63(X) = fn_membrane_protein_2(fn_biomembrane_54(X))& X = fn_membrane_protein_1(fn_biomembrane_54(X))& fn_biomembrane_50(X) = fn_membrane_2(X)& fn_biomembrane_49(X) = fn_membrane_1(X)& fn_biomembrane_52(X) = fn_membrane_3(X)& fn_biomembrane_60(X) = fn_organic_molecule_2(fn_biomembrane_66(X))& fn_biomembrane_76(X) = fn_protein_10(fn_biomembrane_54(X))& fn_biomembrane_56(X) = fn_protein_9(fn_biomembrane_54(X))& fn_biomembrane_59(X) = fn_phospholipid_98(fn_biomembrane_66(X))& fn_biomembrane_51(X) = fn_phospholipid_94(fn_biomembrane_66(X))& fn_biomembrane_83(X) = fn_phospholipid_bilayer_39(fn_biomembrane_63(X))& fn_biomembrane_82(X) = fn_phospholipid_88(fn_biomembrane_66(X))& fn_biomembrane_82(X) = fn_phospholipid_bilayer_26(fn_biomembrane_63(X))& fn_biomembrane_78(X) = fn_phospholipid_bilayer_19(fn_biomembrane_63(X))& fn_biomembrane_79(X) = fn_phospholipid_92(fn_biomembrane_66(X))& fn_biomembrane_79(X) = fn_phospholipid_90(fn_biomembrane_66(X))& fn_biomembrane_66(X) = fn_phospholipid_bilayer_24(fn_biomembrane_63(X))& fn_biomembrane_79(X) = fn_phospholipid_bilayer_23(fn_biomembrane_63(X))& fn_biomembrane_75(X) = fn_phospholipid_bilayer_3(fn_biomembrane_63(X))& fn_biomembrane_62(X) = fn_phospholipid_bilayer_34(fn_biomembrane_63(X))& fn_biomembrane_80(X) = fn_phospholipid_bilayer_37(fn_biomembrane_63(X))& fn_biomembrane_81(X) = fn_phospholipid_bilayer_38(fn_biomembrane_63(X))& fn_biomembrane_61(X) = fn_phospholipid_bilayer_33(fn_biomembrane_63(X))& fn_biomembrane_65(X) = fn_phospholipid_bilayer_32(fn_biomembrane_63(X))& fn_biomembrane_97(X) = fn_phospholipid_89(fn_biomembrane_65(X))& fn_biomembrane_80(X) = fn_phospholipid_88(fn_biomembrane_65(X))& fn_biomembrane_95(X) = fn_phospholipid_99(fn_biomembrane_65(X))& fn_biomembrane_87(X) = fn_phospholipid_105(fn_biomembrane_65(X))& fn_biomembrane_89(X) = fn_lipid_14(fn_biomembrane_65(X))& fn_biomembrane_89(X) = fn_phospholipid_97(fn_biomembrane_65(X))& fn_biomembrane_88(X) = fn_phospholipid_104(fn_biomembrane_65(X))& fn_biomembrane_77(X) = fn_phospholipid_90(fn_biomembrane_65(X))& fn_biomembrane_104(X) = fn_phospholipid_43(fn_biomembrane_65(X))& fn_biomembrane_84(X) = fn_phospholipid_103(fn_biomembrane_65(X))& fn_biomembrane_91(X) = fn_phospholipid_98(fn_biomembrane_65(X))& fn_biomembrane_103(X) = fn_phospholipid_44(fn_biomembrane_65(X))& fn_biomembrane_85(X) = fn_phospholipid_102(fn_biomembrane_65(X))& fn_biomembrane_86(X) = fn_phospholipid_94(fn_biomembrane_65(X))& fn_biomembrane_94(X) = fn_phospholipid_84(fn_biomembrane_65(X))& fn_biomembrane_96(X) = fn_phospholipid_83(fn_biomembrane_65(X))& fn_biomembrane_90(X) = fn_phospholipid_116(fn_biomembrane_65(X))& fn_biomembrane_78(X) = fn_phospholipid_90(fn_biomembrane_65(X))& fn_biomembrane_90(X) = fn_phospholipid_80(fn_biomembrane_65(X))& fn_biomembrane_78(X) = fn_phospholipid_92(fn_biomembrane_65(X))& fn_biomembrane_93(X) = fn_phospholipid_91(fn_biomembrane_65(X))& fn_biomembrane_92(X) = fn_phospholipid_87(fn_biomembrane_65(X))& fn_phospholipid_bilayer_26(fn_biomembrane_63(X)) = fn_phospholipid_bilayer_26(fn_biomembrane_63(X))& fn_phospholipid_bilayer_26(fn_biomembrane_63(X)) = fn_phospholipid_88(fn_biomembrane_66(X))& fn_phospholipid_88(fn_biomembrane_66(X)) = fn_phospholipid_bilayer_26(fn_biomembrane_63(X))& fn_phospholipid_bilayer_26(fn_biomembrane_63(X)) = fn_phospholipid_92(fn_biomembrane_66(X))& fn_phospholipid_92(fn_biomembrane_66(X)) = fn_phospholipid_90(fn_biomembrane_66(X))& fn_phospholipid_bilayer_23(fn_biomembrane_63(X)) = fn_phospholipid_bilayer_23(fn_biomembrane_63(X))& fn_phospholipid_bilayer_23(fn_biomembrane_63(X)) = fn_phospholipid_90(fn_biomembrane_66(X))& fn_phospholipid_90(fn_biomembrane_66(X)) = fn_phospholipid_bilayer_23(fn_biomembrane_63(X))& fn_phospholipid_bilayer_23(fn_biomembrane_63(X)) = fn_move_apart_1(fn_biomembrane_68(X))& fn_move_apart_1(fn_biomembrane_68(X)) = fn_move_together_2(fn_biomembrane_69(X))& fn_move_together_2(fn_biomembrane_69(X)) = fn_move_together_2(fn_biomembrane_69(X))& fn_move_together_2(fn_biomembrane_69(X)) = fn_move_1(fn_biomembrane_53(X))& fn_move_1(fn_biomembrane_53(X)) = fn_move_1(fn_biomembrane_53(X))& fn_move_1(fn_biomembrane_53(X)) = fn_hold_2(fn_biomembrane_64(X))& fn_hold_2(fn_biomembrane_64(X)) = fn_hold_2(fn_biomembrane_64(X))& fn_hold_2(fn_biomembrane_64(X)) = fn_phospholipid_bilayer_24(fn_biomembrane_63(X))& fn_phospholipid_bilayer_24(fn_biomembrane_63(X)) = fn_phospholipid_bilayer_24(fn_biomembrane_63(X))& fn_phospholipid_bilayer_24(fn_biomembrane_63(X)) = fn_hold_2(fn_biomembrane_74(X))& fn_hold_2(fn_biomembrane_74(X)) = fn_membrane_protein_2(fn_biomembrane_54(X))& fn_membrane_protein_2(fn_biomembrane_54(X)) = fn_phospholipid_bilayer_37(fn_biomembrane_63(X))& fn_phospholipid_bilayer_37(fn_biomembrane_63(X)) = fn_phospholipid_88(fn_biomembrane_65(X))& fn_phospholipid_88(fn_biomembrane_65(X)) = fn_phospholipid_88(fn_biomembrane_65(X))& fn_phospholipid_88(fn_biomembrane_65(X)) = fn_phospholipid_97(fn_biomembrane_65(X))& fn_phospholipid_97(fn_biomembrane_65(X)) = fn_lipid_14(fn_biomembrane_65(X))& fn_lipid_14(fn_biomembrane_65(X)) = fn_phospholipid_97(fn_biomembrane_65(X))& fn_phospholipid_97(fn_biomembrane_65(X)) = fn_move_together_1(fn_biomembrane_69(X))& fn_move_together_1(fn_biomembrane_69(X)) = fn_phospholipid_bilayer_32(fn_biomembrane_63(X))& fn_phospholipid_bilayer_32(fn_biomembrane_63(X)) = fn_phospholipid_bilayer_19(fn_biomembrane_63(X))& fn_phospholipid_bilayer_19(fn_biomembrane_63(X)) = fn_phospholipid_90(fn_biomembrane_65(X))& fn_phospholipid_90(fn_biomembrane_65(X)) = fn_phospholipid_90(fn_biomembrane_65(X))& fn_phospholipid_90(fn_biomembrane_65(X)) = fn_phospholipid_bilayer_19(fn_biomembrane_63(X))& fn_phospholipid_bilayer_19(fn_biomembrane_63(X)) = fn_phospholipid_bilayer_19(fn_biomembrane_63(X))& fn_phospholipid_bilayer_19(fn_biomembrane_63(X)) = fn_phospholipid_92(fn_biomembrane_65(X))& fn_phospholipid_92(fn_biomembrane_65(X)) = fn_phospholipid_92(fn_biomembrane_65(X))& fn_phospholipid_92(fn_biomembrane_65(X)) = fn_phospholipid_116(fn_biomembrane_65(X))& fn_phospholipid_80(fn_biomembrane_65(X)) = fn_phospholipid_116(fn_biomembrane_65(X))& fn_phospholipid_116(fn_biomembrane_65(X)) = fn_phospholipid_80(fn_biomembrane_65(X))& fn_membrane_protein_1(fn_biomembrane_54(X)) = fn_membrane_protein_1(fn_biomembrane_54(X)) ) ) ))),
262.22/47.88	  file('/export/starexec/sandbox/benchmark/theBenchmark')).
262.22/47.88	fof(f6481,axiom,(
262.22/47.88	  ((! [X] :( mycetozoa_1(X)=> ( original_name_2(X,'Mycetozoa')& user_description_2(X,'A phylum within the kingdom Amoebozoa.')& concept2words_2(X,mycetozoa)& amoeba_1(X) ) ) ))),
262.22/47.88	  file('/export/starexec/sandbox/benchmark/theBenchmark')).
262.22/47.88	fof(f7159,axiom,(
262.22/47.88	  ((! [X] :( plasmodial_slime_mold_1(X)=> ( original_name_2(X,'Plasmodial-Slime-Mold')& user_description_2(X,'Any of a group of organisms of uncertain affinity, characterized by a life cycle with several morphologic phases, amoeboid cells, flagellated cells, and a multinucleate phase.')& concept2words_2(X,'plasmodial slime mold')& concept2words_2(X,'plasmodial-slime-mold')& mycetozoa_1(X)& ~ cellular_slime_mold_1(X) ) ) ))),
262.22/47.88	  file('/export/starexec/sandbox/benchmark/theBenchmark')).
262.22/47.88	fof(f9161,conjecture,(
262.22/47.88	  (~ (? [X] : plasmodial_slime_mold_1(X) ))),
262.22/47.88	  file('/export/starexec/sandbox/benchmark/theBenchmark')).
262.22/47.88	fof(f9162,negated_conjecture,(
262.22/47.88	  ~((~ (? [X] : plasmodial_slime_mold_1(X) )))),
262.22/47.88	  inference(negated_conjecture,[status(cth)],[f9161])).
262.22/47.88	fof(f32609,plain,(
262.22/47.88	  ![X,Amoeba,A,MP1,MP2]: (![X]: (~amoeba_1(X)|((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((original_name_2(X,'Amoeba')&user_description_2(X,'A type of protist characterized by great flexibility and the presence of pseudopodia.'))&concept2words_2(X,ameboae))&concept2words_2(X,rhizopods))&concept2words_2(X,rhizopoda))&concept2words_2(X,amoebozoan))&concept2words_2(X,amoebozoan))&concept2words_2(X,rhizopods))&concept2words_2(X,amoeba))&unicellular_organism_1(X))&protist_cell_1(X))&protist_1(X))&~alveolate_1(X))&~charophycean_1(X))&~chlorophyta_1(X))&~dinoflagellate_1(X))&~diplomonad_1(X))&~foraminiferan_1(X))&~freshwater_protist_1(X))&~oomycete_1(X))&~parabasalid_1(X))&~radiolarian_1(X))&~rhizaria_1(X))&~rhodophyte_1(X))&~seaweed_1(X))&~stramenopile_1(X))&protein_enzyme_1(fn_amoeba_1(X)))&glycoprotein_1(fn_amoeba_2(X)))&transfer_1(fn_amoeba_3(X)))&exchange_1(fn_amoeba_4(X)))&carbon_skeleton_1(fn_amoeba_5(X)))&lipid_1(fn_amoeba_6(X)))&glycolipid_1(fn_amoeba_6(X)))&golgi_apparatus_1(fn_amoeba_7(X)))&water_1(fn_amoeba_8(X)))&temperature_value_1(fn_amoeba_9(X)))&specific_heat_value_1(fn_amoeba_10(X)))&locomotion_1(fn_amoeba_11(X)))&tangible_entity_1(fn_amoeba_12(X)))&pseudopodium_1(fn_amoeba_12(X)))&tangible_entity_1(fn_amoeba_13(X)))&phospholipid_bilayer_1(fn_amoeba_13(X)))&size_value_1(fn_amoeba_14(X)))&surface_1(fn_amoeba_15(X)))&volume_value_1(fn_amoeba_16(X)))&eukaryotic_ribosome_1(fn_amoeba_17(X)))&tangible_entity_1(fn_amoeba_18(X)))&spatial_entity_1(fn_amoeba_18(X)))&biomembrane_1(fn_amoeba_18(X)))&plasma_membrane_1(fn_amoeba_18(X)))&suspension_1(fn_amoeba_19(X)))&colloid_1(fn_amoeba_19(X)))&mixture_1(fn_amoeba_19(X)))&cytoplasm_1(fn_amoeba_19(X)))&er_membrane_1(fn_amoeba_20(X)))&substance_1(fn_amoeba_21(X)))&cytosol_1(fn_amoeba_21(X)))&eukaryotic_cellular_respiration_1(fn_amoeba_22(X)))&synthesis_reaction_1(fn_amoeba_23(X)))&chemical_reaction_1(fn_amoeba_23(X)))&anabolic_pathway_1(fn_amoeba_23(X)))&endergonic_reaction_1(fn_amoeba_23(X)))&metabolic_pathway_1(fn_amoeba_23(X)))&synthesis_of_lipid_1(fn_amoeba_23(X)))&endoplasmic_reticulum_1(fn_amoeba_24(X)))&smooth_endoplasmic_reticulum_1(fn_amoeba_24(X)))&semiautonomous_organelle_1(fn_amoeba_25(X)))&organelle_1(fn_amoeba_25(X)))&mitochondrion_1(fn_amoeba_25(X)))&tangible_entity_1(fn_amoeba_26(X)))&nucleus_1(fn_amoeba_26(X)))&rough_endoplasmic_reticulum_1(fn_amoeba_27(X)))&chromosome_1(fn_amoeba_28(X)))&eukaryotic_chromosome_1(fn_amoeba_28(X)))&attach_1(fn_amoeba_29(X)))&surface_1(fn_amoeba_30(X)))&outside_face_1(fn_amoeba_30(X)))&extracellular_side_1(fn_amoeba_30(X)))&hydrophobic_core_1(fn_amoeba_31(X)))&spatial_entity_1(fn_amoeba_32(X)))&polymer_1(fn_amoeba_32(X)))&tangible_entity_1(fn_amoeba_32(X)))&membrane_protein_1(fn_amoeba_32(X)))&protein_1(fn_amoeba_32(X)))&spatial_entity_1(fn_amoeba_33(X)))&membrane_protein_1(fn_amoeba_33(X)))&tangible_entity_1(fn_amoeba_33(X)))&transmembrane_protein_1(fn_amoeba_33(X)))&integral_protein_1(fn_amoeba_33(X)))&transport_protein_1(fn_amoeba_33(X)))&synthesis_of_endomembranous_system_membrane_1(fn_amoeba_34(X)))&tangible_entity_1(fn_amoeba_35(X)))&spatial_entity_1(fn_amoeba_35(X)))&biomembrane_1(fn_amoeba_35(X)))&nuclear_membrane_1(fn_amoeba_35(X)))&aqueous_solution_1(fn_amoeba_40(X)))&nuclear_lamina_1(fn_amoeba_41(X)))&cellular_work_1(fn_amoeba_42(X)))&phagocytosis_1(fn_amoeba_42(X)))&fusion_1(fn_amoeba_43(X)))&entity_1(fn_amoeba_44(X)))&atom_1(fn_amoeba_44(X)))&chemical_entity_1(fn_amoeba_44(X)))&carbon_1(fn_amoeba_44(X)))&carbon_skeleton_1(fn_amoeba_45(X)))&move_through_1(fn_amoeba_46(X)))&move_1(fn_amoeba_46(X)))&tangible_entity_1(fn_amoeba_47(X)))&membrane_protein_1(fn_amoeba_47(X)))&protein_1(fn_amoeba_47(X)))&spatial_entity_1(fn_amoeba_47(X)))&polymer_1(fn_amoeba_47(X)))&barrier_1(fn_amoeba_48(X)))&container_1(fn_amoeba_48(X)))&extracellular_side_1(fn_amoeba_49(X)))&intracellular_digestion_1(fn_amoeba_50(X)))&move_1(fn_amoeba_51(X)))&move_into_1(fn_amoeba_51(X)))&take_in_1(fn_amoeba_51(X)))&spatial_entity_1(fn_amoeba_52(X)))&lysosome_1(fn_amoeba_52(X)))&spatial_entity_1(fn_amoeba_53(X)))&tangible_entity_1(fn_amoeba_53(X)))&vesicle_1(fn_amoeba_53(X)))&vacuole_1(fn_amoeba_53(X)))&entity_1(fn_amoeba_53(X)))&food_vacuole_1(fn_amoeba_53(X)))&attach_1(fn_amoeba_54(X)))&inside_face_1(fn_amoeba_55(X)))&cytoplasmic_side_1(fn_amoeba_55(X)))&fusion_1(fn_phagocytosis_76(fn_amoeba_42(X))))&intracellular_digestion_1(fn_phagocytosis_77(fn_amoeba_42(X))))&barrier_1(fn_phagocytosis_88(fn_amoeba_42(X))))&container_1(fn_phagocytosis_88(fn_amoeba_42(X))))&extracellular_side_1(fn_phagocytosis_66(fn_amoeba_42(X))))&move_1(fn_phagocytosis_82(fn_amoeba_42(X))))&move_into_1(fn_phagocytosis_82(fn_amoeba_42(X))))&take_in_1(fn_phagocytosis_82(fn_amoeba_42(X))))&spatial_entity_1(fn_phagocytosis_79(fn_amoeba_42(X))))&tangible_entity_1(fn_phagocytosis_79(fn_amoeba_42(X))))&vesicle_1(fn_phagocytosis_79(fn_amoeba_42(X))))&vacuole_1(fn_phagocytosis_79(fn_amoeba_42(X))))&entity_1(fn_phagocytosis_79(fn_amoeba_42(X))))&food_vacuole_1(fn_phagocytosis_79(fn_amoeba_42(X))))&tangible_entity_1(fn_phagocytosis_81(fn_amoeba_42(X))))&pseudopodium_1(fn_phagocytosis_81(fn_amoeba_42(X))))&hydrophobic_core_1(fn_plasma_membrane_6(fn_amoeba_18(X))))&eukaryotic_ribosome_1(fn_rough_endoplasmic_reticulum_56(fn_amoeba_27(X))))&transfer_1(fn_exchange_3(fn_amoeba_4(X))))&transfer_1(fn_exchange_4(fn_amoeba_4(X))))&transfer_1(fn_endoplasmic_reticulum_25(fn_amoeba_24(X))))&entity_1(fn_transport_protein_17(fn_amoeba_33(X))))&atom_1(fn_transport_protein_17(fn_amoeba_33(X))))&chemical_entity_1(fn_transport_protein_17(fn_amoeba_33(X))))&carbon_1(fn_transport_protein_14(fn_amoeba_33(X))))&inside_face_1(fn_transmembrane_protein_6(fn_amoeba_33(X))))&cytoplasmic_side_1(fn_plasma_membrane_66(fn_amoeba_18(X))))&carbon_skeleton_1(fn_transport_protein_18(fn_amoeba_33(X))))&carbon_skeleton_1(fn_plasma_membrane_57(fn_amoeba_18(X))))&surface_1(fn_integral_protein_29(fn_amoeba_33(X))))&outside_face_1(fn_biomembrane_41(fn_amoeba_18(X))))&extracellular_side_1(fn_plasma_membrane_65(fn_amoeba_18(X))))&move_through_1(fn_transport_protein_10(fn_amoeba_33(X))))&move_through_1(fn_plasma_membrane_74(fn_amoeba_18(X))))&move_1(fn_plasma_membrane_74(fn_amoeba_18(X))))&tangible_entity_1(fn_plasma_membrane_54(fn_amoeba_18(X))))&membrane_protein_1(fn_plasma_membrane_54(fn_amoeba_18(X))))&protein_1(fn_plasma_membrane_54(fn_amoeba_18(X))))&spatial_entity_1(fn_plasma_membrane_54(fn_amoeba_18(X))))&polymer_1(fn_plasma_membrane_54(fn_amoeba_18(X))))&tangible_entity_1(fn_plasma_membrane_68(fn_amoeba_18(X))))&membrane_protein_1(fn_plasma_membrane_68(fn_amoeba_18(X))))&protein_1(fn_plasma_membrane_68(fn_amoeba_18(X))))&glycoprotein_1(fn_integral_protein_9(fn_amoeba_33(X))))&glycoprotein_1(fn_plasma_membrane_34(fn_amoeba_18(X))))&spatial_entity_1(fn_attach_1(fn_amoeba_29(X))))&spatial_entity_1(fn_attach_1(fn_amoeba_54(X))))&membrane_protein_1(fn_plasma_membrane_4(fn_amoeba_18(X))))&membrane_protein_1(fn_plasma_membrane_3(fn_amoeba_18(X))))&tangible_entity_1(fn_plasma_membrane_55(fn_amoeba_18(X))))&transmembrane_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X))))&integral_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X))))&transport_protein_1(fn_plasma_membrane_55(fn_amoeba_18(X))))&glycolipid_1(fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X))))&tangible_entity_1(fn_biomembrane_63(fn_amoeba_18(X))))&phospholipid_bilayer_1(fn_biomembrane_63(fn_amoeba_18(X))))&tangible_entity_1(fn_integral_protein_27(fn_amoeba_33(X))))&phospholipid_bilayer_1(fn_integral_protein_27(fn_amoeba_33(X))))&tangible_entity_1(fn_transport_protein_12(fn_amoeba_33(X))))&phospholipid_bilayer_1(fn_transport_protein_12(fn_amoeba_33(X))))&tangible_entity_1(fn_plasma_membrane_71(fn_amoeba_18(X))))&phospholipid_bilayer_1(fn_plasma_membrane_71(fn_amoeba_18(X))))&spatial_entity_1(fn_attach_2(fn_amoeba_29(X))))&spatial_entity_1(fn_attach_2(fn_amoeba_54(X))))&biomembrane_1(fn_transmembrane_protein_4(fn_amoeba_33(X))))&biomembrane_1(fn_integral_protein_24(fn_amoeba_33(X))))&spatial_entity_1(fn_transport_protein_35(fn_amoeba_33(X))))&biomembrane_1(fn_transport_protein_35(fn_amoeba_33(X))))&tangible_entity_1(fn_phagocytosis_19(fn_amoeba_42(X))))&spatial_entity_1(fn_phagocytosis_19(fn_amoeba_42(X))))&biomembrane_1(fn_phagocytosis_19(fn_amoeba_42(X))))&plasma_membrane_1(fn_phagocytosis_19(fn_amoeba_42(X))))&golgi_apparatus_1(fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X))))&synthesis_reaction_1(fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X))))&synthesis_reaction_1(fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))))&chemical_reaction_1(fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))))&synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))))&chemical_reaction_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))))&synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))))&anabolic_pathway_1(fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))))&synthesis_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&chemical_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&anabolic_pathway_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&metabolic_pathway_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&endergonic_reaction_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&synthesis_of_lipid_1(fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))))&synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))))&synthesis_of_lipid_1(fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))))&metabolic_pathway_1(fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X))))&synthesis_of_lipid_1(fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X))))&spatial_entity_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))))&tangible_entity_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))))&biomembrane_1(fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))))&spatial_entity_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))))&biomembrane_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))))&nuclear_membrane_1(fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))))&spatial_entity_1(fn_phagocytosis_12(fn_amoeba_42(X))))&lysosome_1(fn_phagocytosis_12(fn_amoeba_42(X))))&lysosome_1(fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X))))&tangible_entity_1(fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))))&nucleus_1(fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))))&cytoplasm_1(fn_cytoplasmic_side_1(fn_amoeba_55(X))))&suspension_1(fn_phagocytosis_71(fn_amoeba_42(X))))&colloid_1(fn_phagocytosis_71(fn_amoeba_42(X))))&cytoplasm_1(fn_phagocytosis_71(fn_amoeba_42(X))))&mixture_1(fn_phagocytosis_71(fn_amoeba_42(X))))&mixture_1(fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))))&cytoplasm_1(fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))))&spatial_entity_1(fn_locomotion_1(fn_amoeba_11(X))))&tangible_entity_1(fn_phagocytosis_70(fn_amoeba_42(X))))&eukaryotic_cell_1(fn_phagocytosis_70(fn_amoeba_42(X))))&cell_1(fn_phagocytosis_70(fn_amoeba_42(X))))&eukaryotic_cell_1(fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))))&cell_1(fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))))&tangible_entity_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))))&eukaryotic_cell_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))))&cell_1(fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))))&substance_1(fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))))&cytosol_1(fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))))&substance_1(fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X))))&cytosol_1(fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X))))&recipient_2(fn_amoeba_3(X),fn_amoeba_27(X)))&instrument_2(fn_amoeba_11(X),fn_amoeba_12(X)))&has_function_2(fn_amoeba_12(X),fn_amoeba_11(X)))&called_2(fn_amoeba_32(X),'MP1'))&is_oriented_toward_2(fn_amoeba_55(X),fn_amoeba_19(X)))&object_2(fn_amoeba_29(X),fn_amoeba_33(X)))&object_2(fn_amoeba_54(X),fn_amoeba_33(X)))&base_2(fn_amoeba_29(X),fn_amoeba_18(X)))&base_2(fn_amoeba_54(X),fn_amoeba_18(X)))&has_function_2(X,fn_amoeba_42(X)))&subevent_2(fn_amoeba_4(X),fn_amoeba_3(X)))&result_2(fn_amoeba_34(X),fn_amoeba_35(X)))&abuts_2(fn_amoeba_27(X),fn_amoeba_24(X)))&abuts_2(fn_amoeba_24(X),fn_amoeba_27(X)))&~fn_amoeba_27(X)=fn_amoeba_24(X))&~fn_amoeba_24(X)=fn_amoeba_27(X))&agent_2(fn_amoeba_3(X),fn_amoeba_24(X)))&is_facing_2(fn_amoeba_55(X),fn_amoeba_19(X)))&subevent_2(fn_amoeba_34(X),fn_amoeba_23(X)))&first_subevent_2(fn_amoeba_34(X),fn_amoeba_23(X)))&has_part_2(fn_amoeba_33(X),fn_amoeba_44(X)))&is_inside_2(fn_amoeba_44(X),fn_amoeba_45(X)))&object_2(fn_amoeba_11(X),X))&agent_2(fn_amoeba_11(X),X))&has_part_2(X,fn_amoeba_8(X)))&specific_heat_2(fn_amoeba_8(X),fn_amoeba_10(X)))&correspondence_2(fn_amoeba_9(X),fn_amoeba_10(X)))&temperature_2(X,fn_amoeba_9(X)))&destination_2(fn_amoeba_42(X),fn_amoeba_19(X)))&subevent_2(fn_amoeba_50(X),fn_amoeba_43(X)))&base_2(fn_amoeba_43(X),fn_amoeba_52(X)))&subevent_2(fn_amoeba_42(X),fn_amoeba_50(X)))&path_2(fn_amoeba_42(X),fn_amoeba_18(X)))&first_subevent_2(fn_amoeba_50(X),fn_amoeba_43(X)))&object_2(fn_amoeba_43(X),fn_amoeba_53(X)))&instrument_2(fn_amoeba_42(X),fn_amoeba_53(X)))&subevent_2(fn_amoeba_42(X),fn_amoeba_51(X)))&origin_2(fn_amoeba_51(X),fn_amoeba_49(X)))&plays_2(X,fn_amoeba_48(X)))&in_event_2(fn_amoeba_48(X),fn_amoeba_51(X)))&destination_2(fn_amoeba_51(X),fn_amoeba_19(X)))&is_inside_2(fn_amoeba_19(X),X))&base_2(fn_amoeba_50(X),X))&base_2(fn_amoeba_51(X),X))&agent_2(fn_amoeba_51(X),X))&is_between_2(X,fn_amoeba_49(X)))&is_outside_2(fn_amoeba_49(X),X))&is_between_2(X,fn_amoeba_19(X)))&agent_2(fn_amoeba_42(X),X))&has_part_2(X,fn_amoeba_12(X)))&facilitates_2(fn_amoeba_12(X),fn_amoeba_42(X)))&base_2(fn_amoeba_42(X),X))&has_part_2(X,fn_amoeba_53(X)))&~fn_amoeba_33(X)=fn_amoeba_32(X))&~fn_amoeba_32(X)=fn_amoeba_33(X))&has_region_2(fn_amoeba_18(X),fn_amoeba_55(X)))&called_2(fn_amoeba_47(X),'MP2'))&has_region_2(fn_amoeba_18(X),fn_amoeba_30(X)))&is_outside_2(fn_amoeba_30(X),fn_amoeba_18(X)))&is_inside_2(fn_amoeba_45(X),fn_amoeba_18(X)))&has_region_2(fn_amoeba_33(X),fn_amoeba_45(X)))&has_region_2(fn_amoeba_33(X),fn_amoeba_30(X)))&base_2(fn_amoeba_46(X),fn_amoeba_18(X)))&has_function_2(fn_amoeba_18(X),fn_amoeba_46(X)))&has_region_2(fn_amoeba_18(X),fn_amoeba_31(X)))&is_across_2(fn_amoeba_33(X),fn_amoeba_31(X)))&is_at_2(fn_amoeba_33(X),fn_amoeba_18(X)))&has_part_2(fn_amoeba_18(X),fn_amoeba_47(X)))&~fn_amoeba_47(X)=fn_amoeba_33(X))&is_across_2(fn_amoeba_33(X),fn_amoeba_18(X)))&~fn_amoeba_32(X)=fn_amoeba_47(X))&~fn_amoeba_47(X)=fn_amoeba_32(X))&~fn_amoeba_33(X)=fn_amoeba_47(X))&has_part_2(fn_amoeba_18(X),fn_amoeba_33(X)))&is_inside_2(fn_amoeba_33(X),fn_amoeba_13(X)))&is_inside_2(fn_amoeba_2(X),fn_amoeba_13(X)))&has_part_2(fn_amoeba_18(X),fn_amoeba_2(X)))&has_part_2(fn_amoeba_18(X),fn_amoeba_32(X)))&the_scalar_value_2(fn_amoeba_14(X),big_0))&scalar_unit_class_2(fn_amoeba_14(X),prokaryote_0))&base_2(fn_amoeba_22(X),X))&has_function_2(X,fn_amoeba_22(X)))&has_part_2(fn_amoeba_26(X),fn_amoeba_40(X)))&is_between_2(fn_amoeba_35(X),fn_amoeba_40(X)))&is_inside_2(fn_amoeba_5(X),fn_amoeba_35(X)))&abuts_2(fn_amoeba_35(X),fn_amoeba_20(X)))&is_inside_2(fn_amoeba_1(X),fn_amoeba_20(X)))&has_part_2(fn_amoeba_19(X),fn_amoeba_1(X)))&is_inside_2(fn_amoeba_19(X),fn_amoeba_18(X)))&is_between_2(fn_amoeba_19(X),fn_amoeba_18(X)))&abuts_2(fn_amoeba_20(X),fn_amoeba_35(X)))&volume_2(X,fn_amoeba_16(X)))&directly_proportional_2(fn_amoeba_14(X),fn_amoeba_16(X)))&size_2(X,fn_amoeba_14(X)))&has_part_2(X,fn_amoeba_25(X)))&is_inside_2(fn_amoeba_25(X),fn_amoeba_21(X)))&is_inside_2(fn_amoeba_28(X),fn_amoeba_26(X)))&has_part_2(fn_amoeba_26(X),fn_amoeba_41(X)))&is_along_2(fn_amoeba_41(X),fn_amoeba_35(X)))&has_part_2(fn_amoeba_35(X),fn_amoeba_6(X)))&has_region_2(fn_amoeba_6(X),fn_amoeba_5(X)))&is_along_2(fn_amoeba_35(X),fn_amoeba_41(X)))&has_part_2(X,fn_amoeba_18(X)))&has_part_2(fn_amoeba_18(X),fn_amoeba_13(X)))&is_at_2(fn_amoeba_13(X),fn_amoeba_15(X)))&has_region_2(X,fn_amoeba_15(X)))&has_part_2(X,fn_amoeba_28(X)))&site_2(fn_amoeba_23(X),fn_amoeba_24(X)))&is_inside_2(fn_amoeba_24(X),fn_amoeba_21(X)))&is_inside_2(fn_amoeba_7(X),fn_amoeba_21(X)))&has_part_2(X,fn_amoeba_7(X)))&has_part_2(X,fn_amoeba_24(X)))&has_function_2(fn_amoeba_24(X),fn_amoeba_23(X)))&base_2(fn_amoeba_23(X),X))&is_between_2(fn_amoeba_19(X),fn_amoeba_26(X)))&has_part_2(fn_amoeba_26(X),fn_amoeba_35(X)))&has_part_2(X,fn_amoeba_52(X)))&is_inside_2(fn_amoeba_26(X),fn_amoeba_21(X)))&has_part_2(X,fn_amoeba_26(X)))&has_part_2(X,fn_amoeba_27(X)))&is_inside_2(fn_amoeba_27(X),fn_amoeba_21(X)))&is_inside_2(fn_amoeba_17(X),fn_amoeba_21(X)))&has_part_2(X,fn_amoeba_17(X)))&has_part_2(X,fn_amoeba_19(X)))&has_part_2(fn_amoeba_19(X),fn_amoeba_21(X)))&fn_amoeba_33(X)=fn_attach_1(fn_amoeba_29(X)))&fn_amoeba_33(X)=fn_attach_1(fn_amoeba_54(X)))&fn_amoeba_18(X)=fn_attach_2(fn_amoeba_29(X)))&fn_amoeba_18(X)=fn_attach_2(fn_amoeba_54(X)))&fn_amoeba_3(X)=fn_exchange_3(fn_amoeba_4(X)))&fn_amoeba_3(X)=fn_exchange_4(fn_amoeba_4(X)))&fn_amoeba_27(X)=fn_protist_cell_25(X))&fn_amoeba_3(X)=fn_endoplasmic_reticulum_25(fn_amoeba_24(X)))&fn_amoeba_19(X)=fn_cytoplasmic_side_1(fn_amoeba_55(X)))&fn_amoeba_23(X)=fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))&fn_amoeba_44(X)=fn_transport_protein_17(fn_amoeba_33(X)))&fn_amoeba_44(X)=fn_transport_protein_14(fn_amoeba_33(X)))&X=fn_locomotion_1(fn_amoeba_11(X)))&fn_amoeba_39(X)=fn_organism_1(X))&fn_amoeba_36(X)=fn_organism_6(X))&fn_amoeba_9(X)=fn_organism_2(X))&fn_amoeba_10(X)=fn_organism_5(X))&fn_amoeba_8(X)=fn_organism_4(X))&fn_amoeba_52(X)=fn_phagocytosis_12(fn_amoeba_42(X)))&fn_amoeba_18(X)=fn_phagocytosis_19(fn_amoeba_42(X)))&fn_amoeba_43(X)=fn_phagocytosis_76(fn_amoeba_42(X)))&fn_amoeba_50(X)=fn_phagocytosis_77(fn_amoeba_42(X)))&fn_amoeba_48(X)=fn_phagocytosis_88(fn_amoeba_42(X)))&fn_amoeba_19(X)=fn_phagocytosis_71(fn_amoeba_42(X)))&fn_amoeba_49(X)=fn_phagocytosis_66(fn_amoeba_42(X)))&fn_amoeba_51(X)=fn_phagocytosis_82(fn_amoeba_42(X)))&fn_amoeba_53(X)=fn_phagocytosis_79(fn_amoeba_42(X)))&fn_amoeba_42(X)=fn_protist_cell_9(X))&fn_amoeba_12(X)=fn_phagocytosis_81(fn_amoeba_42(X)))&X=fn_phagocytosis_70(fn_amoeba_42(X)))&fn_amoeba_32(X)=fn_plasma_membrane_54(fn_amoeba_18(X)))&fn_amoeba_55(X)=fn_transmembrane_protein_6(fn_amoeba_33(X)))&fn_amoeba_55(X)=fn_plasma_membrane_66(fn_amoeba_18(X)))&fn_amoeba_30(X)=fn_integral_protein_29(fn_amoeba_33(X)))&fn_amoeba_45(X)=fn_transport_protein_18(fn_amoeba_33(X)))&fn_amoeba_45(X)=fn_plasma_membrane_57(fn_amoeba_18(X)))&fn_amoeba_30(X)=fn_biomembrane_41(fn_amoeba_18(X)))&fn_amoeba_30(X)=fn_plasma_membrane_65(fn_amoeba_18(X)))&fn_amoeba_33(X)=fn_plasma_membrane_4(fn_amoeba_18(X)))&fn_amoeba_33(X)=fn_plasma_membrane_3(fn_amoeba_18(X)))&fn_amoeba_31(X)=fn_plasma_membrane_6(fn_amoeba_18(X)))&fn_amoeba_46(X)=fn_transport_protein_10(fn_amoeba_33(X)))&fn_amoeba_46(X)=fn_plasma_membrane_74(fn_amoeba_18(X)))&fn_amoeba_47(X)=fn_plasma_membrane_54(fn_amoeba_18(X)))&fn_amoeba_32(X)=fn_plasma_membrane_68(fn_amoeba_18(X)))&fn_amoeba_2(X)=fn_integral_protein_9(fn_amoeba_33(X)))&fn_amoeba_2(X)=fn_plasma_membrane_34(fn_amoeba_18(X)))&fn_amoeba_18(X)=fn_transmembrane_protein_4(fn_amoeba_33(X)))&fn_amoeba_33(X)=fn_plasma_membrane_55(fn_amoeba_18(X)))&fn_amoeba_37(X)=fn_protist_cell_13(X))&fn_amoeba_38(X)=fn_protist_cell_12(X))&fn_amoeba_22(X)=fn_protist_cell_32(X))&fn_amoeba_40(X)=fn_protist_cell_11(X))&fn_amoeba_19(X)=fn_protist_cell_35(X))&fn_amoeba_1(X)=fn_protist_cell_33(X))&fn_amoeba_20(X)=fn_protist_cell_31(X))&fn_amoeba_25(X)=fn_protist_cell_34(X))&fn_amoeba_14(X)=fn_protist_cell_16(X))&fn_amoeba_16(X)=fn_protist_cell_17(X))&fn_amoeba_5(X)=fn_protist_cell_21(X))&fn_amoeba_35(X)=fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))&fn_amoeba_6(X)=fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X)))&fn_amoeba_6(X)=fn_protist_cell_26(X))&fn_amoeba_35(X)=fn_protist_cell_27(X))&fn_amoeba_41(X)=fn_protist_cell_10(X))&fn_amoeba_26(X)=fn_protist_cell_24(X))&fn_amoeba_28(X)=fn_protist_cell_19(X))&fn_amoeba_15(X)=fn_protist_cell_15(X))&fn_amoeba_13(X)=fn_biomembrane_63(fn_amoeba_18(X)))&fn_amoeba_18(X)=fn_integral_protein_24(fn_amoeba_33(X)))&fn_amoeba_13(X)=fn_integral_protein_27(fn_amoeba_33(X)))&fn_amoeba_18(X)=fn_transport_protein_35(fn_amoeba_33(X)))&fn_amoeba_13(X)=fn_transport_protein_12(fn_amoeba_33(X)))&fn_amoeba_13(X)=fn_plasma_membrane_71(fn_amoeba_18(X)))&fn_amoeba_13(X)=fn_protist_cell_18(X))&fn_amoeba_18(X)=fn_protist_cell_22(X))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_protist_cell_28(X))&fn_amoeba_23(X)=fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)))&X=fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)))&fn_amoeba_7(X)=fn_protist_cell_14(X))&fn_amoeba_7(X)=fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X)))&fn_amoeba_24(X)=fn_protist_cell_23(X))&fn_amoeba_21(X)=fn_protist_cell_29(X))&fn_amoeba_21(X)=fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)))&fn_amoeba_23(X)=fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X)))&fn_amoeba_35(X)=fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)))&fn_amoeba_52(X)=fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X)))&fn_amoeba_26(X)=fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)))&fn_amoeba_19(X)=fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)))&X=fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))&fn_amoeba_17(X)=fn_rough_endoplasmic_reticulum_56(fn_amoeba_27(X)))&fn_amoeba_21(X)=fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)))&fn_exchange_3(fn_amoeba_4(X))=fn_exchange_4(fn_amoeba_4(X)))&fn_exchange_4(fn_amoeba_4(X))=fn_exchange_4(fn_amoeba_4(X)))&fn_exchange_4(fn_amoeba_4(X))=fn_endoplasmic_reticulum_25(fn_amoeba_24(X)))&fn_endoplasmic_reticulum_25(fn_amoeba_24(X))=fn_transport_protein_14(fn_amoeba_33(X)))&fn_transport_protein_14(fn_amoeba_33(X))=fn_transport_protein_17(fn_amoeba_33(X)))&fn_transport_protein_17(fn_amoeba_33(X))=fn_transport_protein_14(fn_amoeba_33(X)))&fn_transport_protein_14(fn_amoeba_33(X))=fn_transmembrane_protein_6(fn_amoeba_33(X)))&fn_transmembrane_protein_6(fn_amoeba_33(X))=fn_plasma_membrane_66(fn_amoeba_18(X)))&fn_plasma_membrane_66(fn_amoeba_18(X))=fn_transport_protein_18(fn_amoeba_33(X)))&fn_transport_protein_18(fn_amoeba_33(X))=fn_transport_protein_18(fn_amoeba_33(X)))&fn_transport_protein_18(fn_amoeba_33(X))=fn_plasma_membrane_57(fn_amoeba_18(X)))&fn_plasma_membrane_57(fn_amoeba_18(X))=fn_plasma_membrane_57(fn_amoeba_18(X)))&fn_plasma_membrane_57(fn_amoeba_18(X))=fn_integral_protein_29(fn_amoeba_33(X)))&fn_integral_protein_29(fn_amoeba_33(X))=fn_biomembrane_41(fn_amoeba_18(X)))&fn_plasma_membrane_65(fn_amoeba_18(X))=fn_plasma_membrane_65(fn_amoeba_18(X)))&fn_plasma_membrane_65(fn_amoeba_18(X))=fn_biomembrane_41(fn_amoeba_18(X)))&fn_biomembrane_41(fn_amoeba_18(X))=fn_plasma_membrane_65(fn_amoeba_18(X)))&fn_plasma_membrane_65(fn_amoeba_18(X))=fn_transport_protein_10(fn_amoeba_33(X)))&fn_transport_protein_10(fn_amoeba_33(X))=fn_plasma_membrane_74(fn_amoeba_18(X)))&fn_plasma_membrane_74(fn_amoeba_18(X))=fn_plasma_membrane_74(fn_amoeba_18(X)))&fn_plasma_membrane_74(fn_amoeba_18(X))=fn_plasma_membrane_54(fn_amoeba_18(X)))&fn_plasma_membrane_54(fn_amoeba_18(X))=fn_plasma_membrane_68(fn_amoeba_18(X)))&fn_plasma_membrane_68(fn_amoeba_18(X))=fn_plasma_membrane_68(fn_amoeba_18(X)))&fn_plasma_membrane_68(fn_amoeba_18(X))=fn_integral_protein_9(fn_amoeba_33(X)))&fn_plasma_membrane_34(fn_amoeba_18(X))=fn_integral_protein_9(fn_amoeba_33(X)))&fn_integral_protein_9(fn_amoeba_33(X))=fn_plasma_membrane_34(fn_amoeba_18(X)))&fn_plasma_membrane_34(fn_amoeba_18(X))=fn_attach_1(fn_amoeba_29(X)))&fn_attach_1(fn_amoeba_29(X))=fn_attach_1(fn_amoeba_54(X)))&fn_attach_1(fn_amoeba_54(X))=fn_plasma_membrane_4(fn_amoeba_18(X)))&fn_plasma_membrane_4(fn_amoeba_18(X))=fn_plasma_membrane_4(fn_amoeba_18(X)))&fn_plasma_membrane_4(fn_amoeba_18(X))=fn_plasma_membrane_3(fn_amoeba_18(X)))&fn_plasma_membrane_55(fn_amoeba_18(X))=fn_plasma_membrane_3(fn_amoeba_18(X)))&fn_plasma_membrane_3(fn_amoeba_18(X))=fn_plasma_membrane_55(fn_amoeba_18(X)))&fn_plasma_membrane_55(fn_amoeba_18(X))=fn_plasma_membrane_55(fn_amoeba_18(X)))&fn_plasma_membrane_55(fn_amoeba_18(X))=fn_protist_cell_26(X))&fn_protist_cell_26(X)=fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X)))&fn_synthesis_of_endomembranous_system_membrane_52(fn_amoeba_34(X))=fn_protist_cell_26(X))&fn_protist_cell_26(X)=fn_integral_protein_27(fn_amoeba_33(X)))&fn_integral_protein_27(fn_amoeba_33(X))=fn_biomembrane_63(fn_amoeba_18(X)))&fn_biomembrane_63(fn_amoeba_18(X))=fn_integral_protein_27(fn_amoeba_33(X)))&fn_integral_protein_27(fn_amoeba_33(X))=fn_integral_protein_27(fn_amoeba_33(X)))&fn_transport_protein_12(fn_amoeba_33(X))=fn_integral_protein_27(fn_amoeba_33(X)))&fn_integral_protein_27(fn_amoeba_33(X))=fn_transport_protein_12(fn_amoeba_33(X)))&fn_plasma_membrane_71(fn_amoeba_18(X))=fn_transport_protein_12(fn_amoeba_33(X)))&fn_transport_protein_12(fn_amoeba_33(X))=fn_plasma_membrane_71(fn_amoeba_18(X)))&fn_plasma_membrane_71(fn_amoeba_18(X))=fn_plasma_membrane_71(fn_amoeba_18(X)))&fn_protist_cell_18(X)=fn_plasma_membrane_71(fn_amoeba_18(X)))&fn_plasma_membrane_71(fn_amoeba_18(X))=fn_protist_cell_18(X))&fn_protist_cell_18(X)=fn_attach_2(fn_amoeba_29(X)))&fn_attach_2(fn_amoeba_29(X))=fn_attach_2(fn_amoeba_54(X)))&fn_attach_2(fn_amoeba_54(X))=fn_transmembrane_protein_4(fn_amoeba_33(X)))&fn_transmembrane_protein_4(fn_amoeba_33(X))=fn_transmembrane_protein_4(fn_amoeba_33(X)))&fn_integral_protein_24(fn_amoeba_33(X))=fn_transmembrane_protein_4(fn_amoeba_33(X)))&fn_transmembrane_protein_4(fn_amoeba_33(X))=fn_integral_protein_24(fn_amoeba_33(X)))&fn_integral_protein_24(fn_amoeba_33(X))=fn_integral_protein_24(fn_amoeba_33(X)))&fn_transport_protein_35(fn_amoeba_33(X))=fn_integral_protein_24(fn_amoeba_33(X)))&fn_integral_protein_24(fn_amoeba_33(X))=fn_transport_protein_35(fn_amoeba_33(X)))&fn_phagocytosis_19(fn_amoeba_42(X))=fn_transport_protein_35(fn_amoeba_33(X)))&fn_transport_protein_35(fn_amoeba_33(X))=fn_transport_protein_35(fn_amoeba_33(X)))&fn_transport_protein_35(fn_amoeba_33(X))=fn_phagocytosis_19(fn_amoeba_42(X)))&fn_phagocytosis_19(fn_amoeba_42(X))=fn_protist_cell_22(X))&fn_protist_cell_22(X)=fn_protist_cell_22(X))&fn_protist_cell_22(X)=fn_protist_cell_14(X))&fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X))=fn_protist_cell_14(X))&fn_protist_cell_14(X)=fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_3(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_23(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_7(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_49(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_48(fn_amoeba_24(X))=fn_protist_cell_28(X))&fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))=fn_protist_cell_28(X))&fn_protist_cell_28(X)=fn_protist_cell_28(X))&fn_protist_cell_28(X)=fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))&fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))=fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X)))&fn_synthesis_of_endomembranous_system_membrane_59(fn_amoeba_34(X))=fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_8(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_42(fn_amoeba_24(X))=fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_68(fn_amoeba_27(X))=fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))&fn_protist_cell_27(X)=fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X)))&fn_synthesis_of_endomembranous_system_membrane_60(fn_amoeba_34(X))=fn_protist_cell_27(X))&fn_protist_cell_27(X)=fn_protist_cell_27(X))&fn_protist_cell_27(X)=fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_21(fn_amoeba_27(X))=fn_phagocytosis_12(fn_amoeba_42(X)))&fn_phagocytosis_12(fn_amoeba_42(X))=fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_28(fn_amoeba_27(X))=fn_protist_cell_24(X))&fn_protist_cell_24(X)=fn_protist_cell_24(X))&fn_protist_cell_24(X)=fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))=fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_27(fn_amoeba_27(X))=fn_cytoplasmic_side_1(fn_amoeba_55(X)))&fn_cytoplasmic_side_1(fn_amoeba_55(X))=fn_phagocytosis_71(fn_amoeba_42(X)))&fn_phagocytosis_71(fn_amoeba_42(X))=fn_phagocytosis_71(fn_amoeba_42(X)))&fn_phagocytosis_71(fn_amoeba_42(X))=fn_protist_cell_35(X))&fn_protist_cell_35(X)=fn_protist_cell_35(X))&fn_protist_cell_35(X)=fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))=fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_32(fn_amoeba_27(X))=fn_locomotion_1(fn_amoeba_11(X)))&fn_locomotion_1(fn_amoeba_11(X))=fn_locomotion_1(fn_amoeba_11(X)))&fn_locomotion_1(fn_amoeba_11(X))=fn_phagocytosis_70(fn_amoeba_42(X)))&fn_phagocytosis_70(fn_amoeba_42(X))=fn_phagocytosis_70(fn_amoeba_42(X)))&fn_phagocytosis_70(fn_amoeba_42(X))=fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_33(fn_amoeba_24(X))=fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))=fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_62(fn_amoeba_27(X))=fn_protist_cell_29(X))&fn_protist_cell_29(X)=fn_protist_cell_29(X))&fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))=fn_protist_cell_29(X))&fn_protist_cell_29(X)=fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))=fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X)))&fn_smooth_endoplasmic_reticulum_34(fn_amoeba_24(X))=fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)))&fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X))=fn_rough_endoplasmic_reticulum_23(fn_amoeba_27(X)))))),
262.22/47.88	  inference(pre_NNF_transformation,[status(esa)],[f2765])).
262.22/47.88	fof(f32651,plain,(
262.22/47.88	  ![X0]: (~amoeba_1(X0)|phospholipid_bilayer_1(fn_amoeba_13(X0)))),
262.22/47.88	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.88	fof(f32658,plain,(
262.22/47.88	  ![X0]: (~amoeba_1(X0)|biomembrane_1(fn_amoeba_18(X0)))),
262.22/47.88	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.88	fof(f32986,plain,(
262.22/47.88	  ![X0]: (~amoeba_1(X0)|fn_amoeba_33(X0)=fn_attach_1(fn_amoeba_29(X0)))),
262.22/47.88	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.88	fof(f32988,plain,(
262.22/47.88	  ![X0]: (~amoeba_1(X0)|fn_amoeba_18(X0)=fn_attach_2(fn_amoeba_29(X0)))),
262.22/47.88	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.88	fof(f33032,plain,(
262.22/47.88	  ![X0]: (~amoeba_1(X0)|fn_amoeba_2(X0)=fn_plasma_membrane_34(fn_amoeba_18(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33034,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_33(X0)=fn_plasma_membrane_55(fn_amoeba_18(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33048,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_6(X0)=fn_protist_cell_26(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33056,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_13(X0)=fn_integral_protein_27(fn_amoeba_33(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33060,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_13(X0)=fn_protist_cell_18(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33061,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_18(X0)=fn_protist_cell_22(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33070,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_amoeba_7(X0)=fn_protist_cell_14(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33109,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_plasma_membrane_34(fn_amoeba_18(X0))=fn_attach_1(fn_amoeba_29(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33117,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_plasma_membrane_55(fn_amoeba_18(X0))=fn_protist_cell_26(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33120,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_protist_cell_26(X0)=fn_integral_protein_27(fn_amoeba_33(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33131,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_protist_cell_18(X0)=fn_attach_2(fn_amoeba_29(X0)))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f33145,plain,(
262.22/47.89	  ![X0]: (~amoeba_1(X0)|fn_protist_cell_22(X0)=fn_protist_cell_14(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f32609])).
262.22/47.89	fof(f55022,plain,(
262.22/47.89	  ![X,Biomembrane,A,P2,P1,P4,EL1]: (![X]: (~biomembrane_1(X)|((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((original_name_2(X,'Biomembrane')&user_description_2(X,'A biological membrane or biomembrane is an enclosing or separating membrane that acts as a selective barrier, within or around a cell.'))&concept2words_2(X,'biological membrane'))&concept2words_2(X,'biological-membrane'))&concept2words_2(X,'cellular membrane'))&concept2words_2(X,'cellular-membrane'))&concept2words_2(X,membrane))&concept2words_2(X,biomembrane))&membrane_1(X))&~aster_1(X))&~axon_hillock_1(X))&~axon_1(X))&~cell_body_1(X))&~chromosomal_arrangement_1(X))&~dendrite_1(X))&~fertilization_envelope_1(X))&~fimbria_1(X))&~growth_cone_1(X))&~i_band_filament_1(X))&~myelin_sheath_1(X))&~node_of_ranvier_1(X))&~phospholipid_bilayer_1(X))&~phospholipid_layer_1(X))&~phragmoplast_1(X))&~platelet_1(X))&~preprophase_band_1(X))&~primary_cell_wall_1(X))&~pseudopodium_1(X))&~root_hair_1(X))&~sarcomere_1(X))&~sex_pilus_1(X))&~statocyst_1(X))&~synaptic_terminal_1(X))&~transverse_tubule_1(X))&~z_line_filament_1(X))&phospholipid_1(fn_biomembrane_1(X)))&density_value_1(fn_biomembrane_4(X)))&membrane_potential_1(fn_biomembrane_8(X)))&voltage_value_1(fn_biomembrane_9(X)))&voltage_value_1(fn_biomembrane_10(X)))&voltage_value_1(fn_biomembrane_11(X)))&rate_value_1(fn_biomembrane_13(X)))&aqueous_solution_1(fn_biomembrane_14(X)))&aqueous_solution_1(fn_biomembrane_15(X)))&quantity_value_1(fn_biomembrane_16(X)))&quantity_value_1(fn_biomembrane_17(X)))&fluidity_value_1(fn_biomembrane_18(X)))&quantity_value_1(fn_biomembrane_20(X)))&rate_value_1(fn_biomembrane_21(X)))&rate_value_1(fn_biomembrane_22(X)))&kinetic_energy_1(fn_biomembrane_23(X)))&quantity_value_1(fn_biomembrane_24(X)))&temperature_value_1(fn_biomembrane_25(X)))&glycolipid_1(fn_biomembrane_29(X)))&glycoprotein_1(fn_biomembrane_30(X)))&quantity_value_1(fn_biomembrane_31(X)))&saturated_fatty_acid_1(fn_biomembrane_32(X)))&share_1(fn_biomembrane_33(X)))&unequal_sharing_1(fn_biomembrane_34(X)))&hydrophobic_compound_1(fn_biomembrane_35(X)))&hydrophobic_compound_1(fn_biomembrane_36(X)))&outside_face_1(fn_biomembrane_41(X)))&inside_face_1(fn_biomembrane_42(X)))&chemical_polarity_value_1(fn_biomembrane_43(X)))&size_value_1(fn_biomembrane_44(X)))&surface_1(fn_biomembrane_47(X)))&hydrophobic_compound_1(fn_biomembrane_48(X)))&barrier_1(fn_biomembrane_49(X)))&block_1(fn_biomembrane_50(X)))&chemical_bond_1(fn_biomembrane_51(X)))&ester_linkage_1(fn_biomembrane_51(X)))&move_through_1(fn_biomembrane_52(X)))&move_1(fn_biomembrane_53(X)))&tangible_entity_1(fn_biomembrane_54(X)))&membrane_protein_1(fn_biomembrane_54(X)))&protein_1(fn_biomembrane_54(X)))&chemical_entity_1(fn_biomembrane_55(X)))&size_value_1(fn_biomembrane_56(X)))&hold_together_1(fn_biomembrane_57(X)))&phospholipid_1(fn_biomembrane_58(X)))&tangible_entity_1(fn_biomembrane_59(X)))&entity_1(fn_biomembrane_59(X)))&chemical_entity_1(fn_biomembrane_59(X)))&atom_1(fn_biomembrane_59(X)))&carbon_1(fn_biomembrane_59(X)))&hydrogen_1(fn_biomembrane_60(X)))&phospholipid_layer_1(fn_biomembrane_61(X)))&phospholipid_layer_1(fn_biomembrane_62(X)))&tangible_entity_1(fn_biomembrane_63(X)))&phospholipid_bilayer_1(fn_biomembrane_63(X)))&hold_together_1(fn_biomembrane_64(X)))&lipid_1(fn_biomembrane_65(X)))&spatial_entity_1(fn_biomembrane_65(X)))&phospholipid_1(fn_biomembrane_65(X)))&spatial_entity_1(fn_biomembrane_66(X)))&tangible_entity_1(fn_biomembrane_66(X)))&organic_molecule_1(fn_biomembrane_66(X)))&phospholipid_1(fn_biomembrane_66(X)))&phospholipid_1(fn_biomembrane_67(X)))&move_apart_1(fn_biomembrane_68(X)))&move_together_1(fn_biomembrane_69(X)))&carbohydrate_side_chain_1(fn_biomembrane_70(X)))&carbon_skeleton_1(fn_biomembrane_71(X)))&hydrophilic_compound_1(fn_biomembrane_72(X)))&attach_1(fn_biomembrane_73(X)))&hold_together_1(fn_biomembrane_74(X)))&hydrophobic_core_1(fn_biomembrane_75(X)))&fatty_acid_tail_1(fn_biomembrane_77(X)))&fatty_acid_tail_1(fn_biomembrane_78(X)))&fatty_acid_tail_1(fn_biomembrane_79(X)))&hydrophilic_head_1(fn_biomembrane_80(X)))&hydrophilic_face_1(fn_biomembrane_81(X)))&hydrophilic_head_1(fn_biomembrane_82(X)))&hydrophilic_face_1(fn_biomembrane_83(X)))&speed_value_1(fn_biomembrane_84(X)))&quantity_value_1(fn_biomembrane_85(X)))&chemical_bond_1(fn_biomembrane_86(X)))&ester_linkage_1(fn_biomembrane_86(X)))&kinetic_energy_1(fn_biomembrane_87(X)))&constant_motion_1(fn_biomembrane_88(X)))&carbon_skeleton_1(fn_biomembrane_89(X)))&repel_1(fn_biomembrane_90(X)))&tangible_entity_1(fn_biomembrane_91(X)))&entity_1(fn_biomembrane_91(X)))&chemical_entity_1(fn_biomembrane_91(X)))&atom_1(fn_biomembrane_91(X)))&carbon_1(fn_biomembrane_91(X)))&fatty_acid_1(fn_biomembrane_92(X)))&spatial_entity_1(fn_biomembrane_93(X)))&chemical_entity_1(fn_biomembrane_93(X)))&hydrophobic_compound_1(fn_biomembrane_93(X)))&organic_acid_1(fn_biomembrane_93(X)))&carboxylic_acid_1(fn_biomembrane_93(X)))&fatty_acid_1(fn_biomembrane_93(X)))&entity_1(fn_biomembrane_94(X)))&atom_1(fn_biomembrane_94(X)))&chemical_entity_1(fn_biomembrane_94(X)))&phosphorus_1(fn_biomembrane_94(X)))&entity_1(fn_biomembrane_95(X)))&chemical_entity_1(fn_biomembrane_95(X)))&atom_1(fn_biomembrane_95(X)))&oxygen_1(fn_biomembrane_95(X)))&spatial_entity_1(fn_biomembrane_96(X)))&functional_group_1(fn_biomembrane_96(X)))&phosphate_group_1(fn_biomembrane_96(X)))&entity_1(fn_biomembrane_97(X)))&spatial_entity_1(fn_biomembrane_97(X)))&tangible_entity_1(fn_biomembrane_97(X)))&chemical_entity_1(fn_biomembrane_97(X)))&glycerol_1(fn_biomembrane_97(X)))&alcohol_1(fn_biomembrane_97(X)))&hydrophobic_compound_1(fn_biomembrane_98(X)))&hydrophobic_compound_1(fn_biomembrane_99(X)))&block_1(fn_biomembrane_100(X)))&block_1(fn_biomembrane_101(X)))&block_1(fn_biomembrane_102(X)))&hydrophilic_compound_1(fn_biomembrane_105(X)))&spatial_entity_1(fn_move_apart_2(fn_biomembrane_68(X))))&spatial_entity_1(fn_attach_1(fn_biomembrane_73(X))))&tangible_entity_1(fn_hold_2(fn_biomembrane_57(X))))&tangible_entity_1(fn_hold_1(fn_biomembrane_57(X))))&spatial_entity_1(fn_block_1(fn_biomembrane_100(X))))&spatial_entity_1(fn_block_1(fn_biomembrane_101(X))))&spatial_entity_1(fn_block_1(fn_biomembrane_102(X))))&spatial_entity_1(fn_attach_2(fn_biomembrane_73(X))))&atom_1(fn_organic_molecule_2(fn_biomembrane_66(X))))&chemical_entity_1(fn_organic_molecule_2(fn_biomembrane_66(X))))&property_node_1(fn_protein_10(fn_biomembrane_54(X))))&size_value_1(fn_protein_9(fn_biomembrane_54(X))))&tangible_entity_1(fn_phospholipid_98(fn_biomembrane_66(X))))&entity_1(fn_phospholipid_98(fn_biomembrane_66(X))))&chemical_entity_1(fn_phospholipid_98(fn_biomembrane_66(X))))&atom_1(fn_phospholipid_98(fn_biomembrane_66(X))))&carbon_1(fn_phospholipid_98(fn_biomembrane_66(X))))&chemical_bond_1(fn_phospholipid_94(fn_biomembrane_66(X))))&ester_linkage_1(fn_phospholipid_94(fn_biomembrane_66(X))))&hydrophilic_face_1(fn_phospholipid_bilayer_39(fn_biomembrane_63(X))))&hydrophobic_core_1(fn_phospholipid_bilayer_3(fn_biomembrane_63(X))))&phospholipid_layer_1(fn_phospholipid_bilayer_34(fn_biomembrane_63(X))))&hydrophilic_face_1(fn_phospholipid_bilayer_38(fn_biomembrane_63(X))))&phospholipid_layer_1(fn_phospholipid_bilayer_33(fn_biomembrane_63(X))))&entity_1(fn_phospholipid_89(fn_biomembrane_65(X))))&spatial_entity_1(fn_phospholipid_89(fn_biomembrane_65(X))))&tangible_entity_1(fn_phospholipid_89(fn_biomembrane_65(X))))&chemical_entity_1(fn_phospholipid_89(fn_biomembrane_65(X))))&glycerol_1(fn_phospholipid_89(fn_biomembrane_65(X))))&alcohol_1(fn_phospholipid_89(fn_biomembrane_65(X))))&entity_1(fn_phospholipid_99(fn_biomembrane_65(X))))&chemical_entity_1(fn_phospholipid_99(fn_biomembrane_65(X))))&atom_1(fn_phospholipid_99(fn_biomembrane_65(X))))&oxygen_1(fn_phospholipid_99(fn_biomembrane_65(X))))&kinetic_energy_1(fn_phospholipid_105(fn_biomembrane_65(X))))&constant_motion_1(fn_phospholipid_104(fn_biomembrane_65(X))))&property_node_1(fn_phospholipid_43(fn_biomembrane_65(X))))&speed_value_1(fn_phospholipid_103(fn_biomembrane_65(X))))&tangible_entity_1(fn_phospholipid_98(fn_biomembrane_65(X))))&entity_1(fn_phospholipid_98(fn_biomembrane_65(X))))&chemical_entity_1(fn_phospholipid_98(fn_biomembrane_65(X))))&atom_1(fn_phospholipid_98(fn_biomembrane_65(X))))&carbon_1(fn_phospholipid_98(fn_biomembrane_65(X))))&property_node_1(fn_phospholipid_44(fn_biomembrane_65(X))))&quantity_value_1(fn_phospholipid_102(fn_biomembrane_65(X))))&chemical_bond_1(fn_phospholipid_94(fn_biomembrane_65(X))))&ester_linkage_1(fn_phospholipid_94(fn_biomembrane_65(X))))&entity_1(fn_phospholipid_84(fn_biomembrane_65(X))))&atom_1(fn_phospholipid_84(fn_biomembrane_65(X))))&chemical_entity_1(fn_phospholipid_84(fn_biomembrane_65(X))))&phosphorus_1(fn_phospholipid_84(fn_biomembrane_65(X))))&spatial_entity_1(fn_phospholipid_83(fn_biomembrane_65(X))))&functional_group_1(fn_phospholipid_83(fn_biomembrane_65(X))))&phosphate_group_1(fn_phospholipid_83(fn_biomembrane_65(X))))&spatial_entity_1(fn_phospholipid_91(fn_biomembrane_65(X))))&chemical_entity_1(fn_phospholipid_91(fn_biomembrane_65(X))))&hydrophobic_compound_1(fn_phospholipid_91(fn_biomembrane_65(X))))&organic_acid_1(fn_phospholipid_91(fn_biomembrane_65(X))))&carboxylic_acid_1(fn_phospholipid_91(fn_biomembrane_65(X))))&fatty_acid_1(fn_phospholipid_91(fn_biomembrane_65(X))))&fatty_acid_1(fn_phospholipid_87(fn_biomembrane_65(X))))&hydrophilic_head_1(fn_phospholipid_88(fn_biomembrane_66(X))))&hydrophilic_head_1(fn_phospholipid_bilayer_26(fn_biomembrane_63(X))))&fatty_acid_tail_1(fn_phospholipid_92(fn_biomembrane_66(X))))&fatty_acid_tail_1(fn_phospholipid_90(fn_biomembrane_66(X))))&fatty_acid_tail_1(fn_phospholipid_bilayer_23(fn_biomembrane_63(X))))&spatial_entity_1(fn_move_apart_1(fn_biomembrane_68(X))))&spatial_entity_1(fn_move_together_2(fn_biomembrane_69(X))))&spatial_entity_1(fn_move_1(fn_biomembrane_53(X))))&tangible_entity_1(fn_hold_2(fn_biomembrane_64(X))))&phospholipid_1(fn_phospholipid_bilayer_24(fn_biomembrane_63(X))))&tangible_entity_1(fn_hold_2(fn_biomembrane_74(X))))&phospholipid_bilayer_1(fn_membrane_protein_2(fn_biomembrane_54(X))))&hydrophilic_head_1(fn_phospholipid_bilayer_37(fn_biomembrane_63(X))))&hydrophilic_head_1(fn_phospholipid_88(fn_biomembrane_65(X))))&carbon_skeleton_1(fn_lipid_14(fn_biomembrane_65(X))))&carbon_skeleton_1(fn_phospholipid_97(fn_biomembrane_65(X))))&spatial_entity_1(fn_move_together_1(fn_biomembrane_69(X))))&spatial_entity_1(fn_phospholipid_bilayer_32(fn_biomembrane_63(X))))&phospholipid_1(fn_phospholipid_bilayer_32(fn_biomembrane_63(X))))&fatty_acid_tail_1(fn_phospholipid_90(fn_biomembrane_65(X))))&fatty_acid_tail_1(fn_phospholipid_bilayer_19(fn_biomembrane_63(X))))&fatty_acid_tail_1(fn_phospholipid_92(fn_biomembrane_65(X))))&repel_1(fn_phospholipid_116(fn_biomembrane_65(X))))&repel_1(fn_phospholipid_80(fn_biomembrane_65(X))))&biomembrane_1(fn_membrane_protein_1(fn_biomembrane_54(X))))&called_2(fn_biomembrane_102(X),"1"))&~fn_biomembrane_102(X)=fn_biomembrane_101(X))&~fn_biomembrane_102(X)=fn_biomembrane_100(X))&instrument_2(fn_biomembrane_102(X),fn_biomembrane_77(X)))&agent_2(fn_biomembrane_102(X),fn_biomembrane_75(X)))&called_2(fn_biomembrane_101(X),"2"))&~fn_biomembrane_101(X)=fn_biomembrane_102(X))&~fn_biomembrane_101(X)=fn_biomembrane_100(X))&agent_2(fn_biomembrane_101(X),fn_biomembrane_83(X)))&instrument_2(fn_biomembrane_101(X),fn_biomembrane_82(X)))&called_2(fn_biomembrane_100(X),"3"))&~fn_biomembrane_100(X)=fn_biomembrane_101(X))&~fn_biomembrane_100(X)=fn_biomembrane_102(X))&agent_2(fn_biomembrane_100(X),fn_biomembrane_81(X)))&instrument_2(fn_biomembrane_100(X),fn_biomembrane_80(X)))&the_scalar_value_2(fn_biomembrane_44(X),small_0))&scalar_unit_class_2(fn_biomembrane_44(X),physical_object_0))&the_categorical_value_2(fn_biomembrane_43(X),nonpolar_0))&is_inside_2(fn_biomembrane_83(X),fn_biomembrane_41(X)))&is_inside_2(fn_biomembrane_81(X),fn_biomembrane_42(X)))&is_inside_2(fn_biomembrane_41(X),fn_biomembrane_15(X)))&object_2(fn_biomembrane_74(X),fn_biomembrane_36(X)))&object_2(fn_biomembrane_74(X),fn_biomembrane_35(X)))&result_2(fn_biomembrane_34(X),fn_biomembrane_65(X)))&result_2(fn_biomembrane_33(X),fn_biomembrane_65(X)))&~fn_biomembrane_72(X)=fn_biomembrane_55(X))&quantity_2(fn_biomembrane_32(X),fn_biomembrane_31(X)))&directly_proportional_2(fn_biomembrane_31(X),fn_biomembrane_18(X)))&is_inside_2(fn_biomembrane_30(X),fn_biomembrane_63(X)))&is_inside_2(fn_biomembrane_71(X),X))&is_outside_2(fn_biomembrane_70(X),X))&correspondence_2(fn_biomembrane_25(X),fn_biomembrane_24(X)))&directly_proportional_2(fn_biomembrane_25(X),fn_biomembrane_24(X)))&directly_proportional_2(fn_biomembrane_25(X),fn_biomembrane_18(X)))&positive_influence_2(fn_biomembrane_24(X),fn_biomembrane_22(X)))&negative_influence_2(fn_biomembrane_24(X),fn_biomembrane_21(X)))&quantity_2(fn_biomembrane_23(X),fn_biomembrane_24(X)))&directly_proportional_2(fn_biomembrane_22(X),fn_biomembrane_18(X)))&inversely_proportional_2(fn_biomembrane_21(X),fn_biomembrane_18(X)))&rate_2(fn_biomembrane_69(X),fn_biomembrane_21(X)))&rate_2(fn_biomembrane_68(X),fn_biomembrane_22(X)))&called_2(fn_biomembrane_67(X),'P2'))&is_inside_2(fn_biomembrane_67(X),fn_biomembrane_62(X)))&quantity_2(fn_biomembrane_67(X),fn_biomembrane_16(X)))&called_2(fn_biomembrane_66(X),'P1'))&called_2(fn_biomembrane_65(X),'P4'))&object_2(fn_biomembrane_64(X),fn_biomembrane_1(X)))&has_region_2(X,fn_biomembrane_41(X)))&has_region_2(X,fn_biomembrane_42(X)))&has_region_2(X,fn_biomembrane_47(X)))&density_2(X,fn_biomembrane_4(X)))&is_impermeable_to_2(X,fn_biomembrane_48(X)))&possesses_2(X,fn_biomembrane_8(X)))&temperature_2(X,fn_biomembrane_25(X)))&is_between_2(X,fn_biomembrane_15(X)))&is_between_2(X,fn_biomembrane_14(X)))&fluidity_2(X,fn_biomembrane_18(X)))&has_function_2(X,fn_biomembrane_100(X)))&has_function_2(X,fn_biomembrane_101(X)))&has_function_2(X,fn_biomembrane_102(X)))&has_part_2(X,fn_biomembrane_32(X)))&has_part_2(X,fn_biomembrane_29(X)))&has_part_2(X,fn_biomembrane_30(X)))&~fn_biomembrane_62(X)=fn_biomembrane_61(X))&directly_proportional_2(fn_biomembrane_18(X),fn_biomembrane_13(X)))&~fn_biomembrane_61(X)=fn_biomembrane_62(X))&greater_than_2(fn_biomembrane_16(X),fn_biomembrane_17(X)))&greater_than_2(fn_biomembrane_16(X),fn_biomembrane_20(X)))&is_inside_2(fn_biomembrane_14(X),fn_biomembrane_42(X)))&~fn_biomembrane_55(X)=fn_biomembrane_72(X))&chemical_polarity_2(fn_biomembrane_55(X),fn_biomembrane_43(X)))&size_2(fn_biomembrane_55(X),fn_biomembrane_44(X)))&rate_2(fn_biomembrane_53(X),fn_biomembrane_13(X)))&the_cardinal_value_2(fn_biomembrane_11(X),"-50.0e0"))&cardinal_unit_class_2(fn_biomembrane_11(X),volt_0))&greater_than_or_equal_to_2(fn_biomembrane_11(X),fn_biomembrane_9(X)))&the_cardinal_value_2(fn_biomembrane_10(X),"-200.0e0"))&cardinal_unit_class_2(fn_biomembrane_10(X),volt_0))&greater_than_or_equal_to_2(fn_biomembrane_9(X),fn_biomembrane_10(X)))&voltage_2(fn_biomembrane_8(X),fn_biomembrane_9(X)))&inversely_proportional_2(fn_biomembrane_4(X),fn_biomembrane_18(X)))&path_2(fn_biomembrane_52(X),fn_biomembrane_75(X)))&object_2(fn_biomembrane_68(X),fn_biomembrane_67(X)))&object_2(fn_biomembrane_68(X),fn_biomembrane_66(X)))&object_2(fn_biomembrane_69(X),fn_biomembrane_66(X)))&object_2(fn_biomembrane_53(X),fn_biomembrane_66(X)))&object_2(fn_biomembrane_69(X),fn_biomembrane_65(X)))&object_2(fn_biomembrane_64(X),fn_biomembrane_66(X)))&object_2(fn_biomembrane_73(X),fn_biomembrane_70(X)))&object_2(fn_biomembrane_57(X),fn_biomembrane_58(X)))&agent_2(fn_biomembrane_57(X),fn_biomembrane_54(X)))&object_2(fn_biomembrane_100(X),fn_biomembrane_98(X)))&object_2(fn_biomembrane_101(X),fn_biomembrane_99(X)))&object_2(fn_biomembrane_102(X),fn_biomembrane_105(X)))&object_2(fn_biomembrane_74(X),fn_biomembrane_63(X)))&base_2(fn_biomembrane_73(X),fn_biomembrane_71(X)))&is_impermeable_to_2(X,fn_biomembrane_72(X)))&object_2(fn_biomembrane_50(X),fn_biomembrane_72(X)))&is_permeable_to_2(X,fn_biomembrane_55(X)))&object_2(fn_biomembrane_52(X),fn_biomembrane_55(X)))&~fn_biomembrane_48(X)=fn_biomembrane_55(X))&~fn_biomembrane_55(X)=fn_biomembrane_48(X))&has_part_2(X,fn_biomembrane_54(X)))&has_part_2(X,fn_biomembrane_63(X)))&has_function_2(X,fn_biomembrane_52(X)))&base_2(fn_biomembrane_52(X),X))&plays_2(X,fn_biomembrane_49(X)))&in_event_2(fn_biomembrane_49(X),fn_biomembrane_50(X)))&~fn_biomembrane_94(X)=fn_biomembrane_95(X))&~fn_biomembrane_95(X)=fn_biomembrane_94(X))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_95(X)))&has_region_2(fn_biomembrane_65(X),fn_biomembrane_80(X)))&is_at_2(fn_biomembrane_97(X),fn_biomembrane_80(X)))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_97(X)))&~fn_biomembrane_91(X)=fn_biomembrane_94(X))&is_at_2(fn_biomembrane_91(X),fn_biomembrane_78(X)))&~fn_biomembrane_94(X)=fn_biomembrane_91(X))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_94(X)))&has_region_2(fn_biomembrane_65(X),fn_biomembrane_96(X)))&is_at_2(fn_biomembrane_96(X),fn_biomembrane_80(X)))&~fn_biomembrane_92(X)=fn_biomembrane_93(X))&is_inside_2(fn_biomembrane_91(X),fn_biomembrane_89(X)))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_91(X)))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_92(X)))&~fn_biomembrane_93(X)=fn_biomembrane_92(X))&has_part_2(fn_biomembrane_65(X),fn_biomembrane_93(X)))&facilitates_2(fn_biomembrane_78(X),fn_biomembrane_90(X)))&has_region_2(fn_biomembrane_65(X),fn_biomembrane_78(X)))&possesses_2(fn_biomembrane_65(X),fn_biomembrane_86(X)))&is_between_2(fn_biomembrane_86(X),fn_biomembrane_95(X)))&is_inside_2(fn_biomembrane_95(X),fn_biomembrane_96(X)))&directly_proportional_2(fn_biomembrane_84(X),fn_biomembrane_85(X)))&quantity_2(fn_biomembrane_87(X),fn_biomembrane_85(X)))&possesses_2(fn_biomembrane_65(X),fn_biomembrane_87(X)))&agent_2(fn_biomembrane_90(X),fn_biomembrane_65(X)))&has_function_2(fn_biomembrane_65(X),fn_biomembrane_90(X)))&has_region_2(fn_biomembrane_65(X),fn_biomembrane_89(X)))&object_2(fn_biomembrane_88(X),fn_biomembrane_65(X)))&speed_2(fn_biomembrane_88(X),fn_biomembrane_84(X)))&has_region_2(fn_biomembrane_65(X),fn_biomembrane_77(X)))&is_between_2(fn_biomembrane_86(X),fn_biomembrane_91(X)))&called_2(fn_biomembrane_86(X),'EL1'))&is_inside_2(fn_biomembrane_94(X),fn_biomembrane_96(X)))&site_2(fn_biomembrane_90(X),fn_biomembrane_78(X)))&called_2(fn_biomembrane_93(X),"2"))&called_2(fn_biomembrane_92(X),"1"))&has_region_2(fn_biomembrane_62(X),fn_biomembrane_83(X)))&is_between_2(fn_biomembrane_75(X),fn_biomembrane_83(X)))&is_between_2(fn_biomembrane_75(X),fn_biomembrane_81(X)))&has_region_2(fn_biomembrane_61(X),fn_biomembrane_81(X)))&has_region_2(fn_biomembrane_63(X),fn_biomembrane_61(X)))&is_along_2(fn_biomembrane_62(X),fn_biomembrane_61(X)))&is_inside_2(fn_biomembrane_82(X),fn_biomembrane_83(X)))&is_at_2(fn_biomembrane_82(X),fn_biomembrane_83(X)))&has_region_2(fn_biomembrane_66(X),fn_biomembrane_82(X)))&element_2(fn_biomembrane_62(X),fn_biomembrane_66(X)))&is_along_2(fn_biomembrane_61(X),fn_biomembrane_62(X)))&abuts_2(fn_biomembrane_79(X),fn_biomembrane_78(X)))&abuts_2(fn_biomembrane_78(X),fn_biomembrane_79(X)))&has_region_2(fn_biomembrane_66(X),fn_biomembrane_79(X)))&has_region_2(fn_biomembrane_63(X),fn_biomembrane_75(X)))&has_region_2(fn_biomembrane_63(X),fn_biomembrane_62(X)))&is_inside_2(fn_biomembrane_80(X),fn_biomembrane_81(X)))&element_2(fn_biomembrane_61(X),fn_biomembrane_65(X)))&has_part_2(fn_biomembrane_66(X),fn_biomembrane_59(X)))&is_between_2(fn_biomembrane_51(X),fn_biomembrane_59(X)))&possesses_2(fn_biomembrane_66(X),fn_biomembrane_51(X)))&called_2(fn_biomembrane_51(X),'EL1'))&has_part_2(fn_biomembrane_66(X),fn_biomembrane_60(X)))&fn_biomembrane_67(X)=fn_move_apart_2(fn_biomembrane_68(X)))&fn_biomembrane_66(X)=fn_move_apart_1(fn_biomembrane_68(X)))&fn_biomembrane_66(X)=fn_move_together_2(fn_biomembrane_69(X)))&fn_biomembrane_66(X)=fn_move_1(fn_biomembrane_53(X)))&fn_biomembrane_65(X)=fn_move_together_1(fn_biomembrane_69(X)))&fn_biomembrane_66(X)=fn_hold_2(fn_biomembrane_64(X)))&fn_biomembrane_70(X)=fn_attach_1(fn_biomembrane_73(X)))&fn_biomembrane_58(X)=fn_hold_2(fn_biomembrane_57(X)))&fn_biomembrane_54(X)=fn_hold_1(fn_biomembrane_57(X)))&fn_biomembrane_98(X)=fn_block_1(fn_biomembrane_100(X)))&fn_biomembrane_99(X)=fn_block_1(fn_biomembrane_101(X)))&fn_biomembrane_105(X)=fn_block_1(fn_biomembrane_102(X)))&fn_biomembrane_63(X)=fn_hold_2(fn_biomembrane_74(X)))&fn_biomembrane_71(X)=fn_attach_2(fn_biomembrane_73(X)))&fn_biomembrane_72(X)=fn_membrane_5(X))&fn_biomembrane_48(X)=fn_membrane_5(X))&fn_biomembrane_55(X)=fn_membrane_4(X))&fn_biomembrane_63(X)=fn_membrane_protein_2(fn_biomembrane_54(X)))&X=fn_membrane_protein_1(fn_biomembrane_54(X)))&fn_biomembrane_50(X)=fn_membrane_2(X))&fn_biomembrane_49(X)=fn_membrane_1(X))&fn_biomembrane_52(X)=fn_membrane_3(X))&fn_biomembrane_60(X)=fn_organic_molecule_2(fn_biomembrane_66(X)))&fn_biomembrane_76(X)=fn_protein_10(fn_biomembrane_54(X)))&fn_biomembrane_56(X)=fn_protein_9(fn_biomembrane_54(X)))&fn_biomembrane_59(X)=fn_phospholipid_98(fn_biomembrane_66(X)))&fn_biomembrane_51(X)=fn_phospholipid_94(fn_biomembrane_66(X)))&fn_biomembrane_83(X)=fn_phospholipid_bilayer_39(fn_biomembrane_63(X)))&fn_biomembrane_82(X)=fn_phospholipid_88(fn_biomembrane_66(X)))&fn_biomembrane_82(X)=fn_phospholipid_bilayer_26(fn_biomembrane_63(X)))&fn_biomembrane_78(X)=fn_phospholipid_bilayer_19(fn_biomembrane_63(X)))&fn_biomembrane_79(X)=fn_phospholipid_92(fn_biomembrane_66(X)))&fn_biomembrane_79(X)=fn_phospholipid_90(fn_biomembrane_66(X)))&fn_biomembrane_66(X)=fn_phospholipid_bilayer_24(fn_biomembrane_63(X)))&fn_biomembrane_79(X)=fn_phospholipid_bilayer_23(fn_biomembrane_63(X)))&fn_biomembrane_75(X)=fn_phospholipid_bilayer_3(fn_biomembrane_63(X)))&fn_biomembrane_62(X)=fn_phospholipid_bilayer_34(fn_biomembrane_63(X)))&fn_biomembrane_80(X)=fn_phospholipid_bilayer_37(fn_biomembrane_63(X)))&fn_biomembrane_81(X)=fn_phospholipid_bilayer_38(fn_biomembrane_63(X)))&fn_biomembrane_61(X)=fn_phospholipid_bilayer_33(fn_biomembrane_63(X)))&fn_biomembrane_65(X)=fn_phospholipid_bilayer_32(fn_biomembrane_63(X)))&fn_biomembrane_97(X)=fn_phospholipid_89(fn_biomembrane_65(X)))&fn_biomembrane_80(X)=fn_phospholipid_88(fn_biomembrane_65(X)))&fn_biomembrane_95(X)=fn_phospholipid_99(fn_biomembrane_65(X)))&fn_biomembrane_87(X)=fn_phospholipid_105(fn_biomembrane_65(X)))&fn_biomembrane_89(X)=fn_lipid_14(fn_biomembrane_65(X)))&fn_biomembrane_89(X)=fn_phospholipid_97(fn_biomembrane_65(X)))&fn_biomembrane_88(X)=fn_phospholipid_104(fn_biomembrane_65(X)))&fn_biomembrane_77(X)=fn_phospholipid_90(fn_biomembrane_65(X)))&fn_biomembrane_104(X)=fn_phospholipid_43(fn_biomembrane_65(X)))&fn_biomembrane_84(X)=fn_phospholipid_103(fn_biomembrane_65(X)))&fn_biomembrane_91(X)=fn_phospholipid_98(fn_biomembrane_65(X)))&fn_biomembrane_103(X)=fn_phospholipid_44(fn_biomembrane_65(X)))&fn_biomembrane_85(X)=fn_phospholipid_102(fn_biomembrane_65(X)))&fn_biomembrane_86(X)=fn_phospholipid_94(fn_biomembrane_65(X)))&fn_biomembrane_94(X)=fn_phospholipid_84(fn_biomembrane_65(X)))&fn_biomembrane_96(X)=fn_phospholipid_83(fn_biomembrane_65(X)))&fn_biomembrane_90(X)=fn_phospholipid_116(fn_biomembrane_65(X)))&fn_biomembrane_78(X)=fn_phospholipid_90(fn_biomembrane_65(X)))&fn_biomembrane_90(X)=fn_phospholipid_80(fn_biomembrane_65(X)))&fn_biomembrane_78(X)=fn_phospholipid_92(fn_biomembrane_65(X)))&fn_biomembrane_93(X)=fn_phospholipid_91(fn_biomembrane_65(X)))&fn_biomembrane_92(X)=fn_phospholipid_87(fn_biomembrane_65(X)))&fn_phospholipid_bilayer_26(fn_biomembrane_63(X))=fn_phospholipid_bilayer_26(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_26(fn_biomembrane_63(X))=fn_phospholipid_88(fn_biomembrane_66(X)))&fn_phospholipid_88(fn_biomembrane_66(X))=fn_phospholipid_bilayer_26(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_26(fn_biomembrane_63(X))=fn_phospholipid_92(fn_biomembrane_66(X)))&fn_phospholipid_92(fn_biomembrane_66(X))=fn_phospholipid_90(fn_biomembrane_66(X)))&fn_phospholipid_bilayer_23(fn_biomembrane_63(X))=fn_phospholipid_bilayer_23(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_23(fn_biomembrane_63(X))=fn_phospholipid_90(fn_biomembrane_66(X)))&fn_phospholipid_90(fn_biomembrane_66(X))=fn_phospholipid_bilayer_23(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_23(fn_biomembrane_63(X))=fn_move_apart_1(fn_biomembrane_68(X)))&fn_move_apart_1(fn_biomembrane_68(X))=fn_move_together_2(fn_biomembrane_69(X)))&fn_move_together_2(fn_biomembrane_69(X))=fn_move_together_2(fn_biomembrane_69(X)))&fn_move_together_2(fn_biomembrane_69(X))=fn_move_1(fn_biomembrane_53(X)))&fn_move_1(fn_biomembrane_53(X))=fn_move_1(fn_biomembrane_53(X)))&fn_move_1(fn_biomembrane_53(X))=fn_hold_2(fn_biomembrane_64(X)))&fn_hold_2(fn_biomembrane_64(X))=fn_hold_2(fn_biomembrane_64(X)))&fn_hold_2(fn_biomembrane_64(X))=fn_phospholipid_bilayer_24(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_24(fn_biomembrane_63(X))=fn_phospholipid_bilayer_24(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_24(fn_biomembrane_63(X))=fn_hold_2(fn_biomembrane_74(X)))&fn_hold_2(fn_biomembrane_74(X))=fn_membrane_protein_2(fn_biomembrane_54(X)))&fn_membrane_protein_2(fn_biomembrane_54(X))=fn_phospholipid_bilayer_37(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_37(fn_biomembrane_63(X))=fn_phospholipid_88(fn_biomembrane_65(X)))&fn_phospholipid_88(fn_biomembrane_65(X))=fn_phospholipid_88(fn_biomembrane_65(X)))&fn_phospholipid_88(fn_biomembrane_65(X))=fn_phospholipid_97(fn_biomembrane_65(X)))&fn_phospholipid_97(fn_biomembrane_65(X))=fn_lipid_14(fn_biomembrane_65(X)))&fn_lipid_14(fn_biomembrane_65(X))=fn_phospholipid_97(fn_biomembrane_65(X)))&fn_phospholipid_97(fn_biomembrane_65(X))=fn_move_together_1(fn_biomembrane_69(X)))&fn_move_together_1(fn_biomembrane_69(X))=fn_phospholipid_bilayer_32(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_32(fn_biomembrane_63(X))=fn_phospholipid_bilayer_19(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_19(fn_biomembrane_63(X))=fn_phospholipid_90(fn_biomembrane_65(X)))&fn_phospholipid_90(fn_biomembrane_65(X))=fn_phospholipid_90(fn_biomembrane_65(X)))&fn_phospholipid_90(fn_biomembrane_65(X))=fn_phospholipid_bilayer_19(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_19(fn_biomembrane_63(X))=fn_phospholipid_bilayer_19(fn_biomembrane_63(X)))&fn_phospholipid_bilayer_19(fn_biomembrane_63(X))=fn_phospholipid_92(fn_biomembrane_65(X)))&fn_phospholipid_92(fn_biomembrane_65(X))=fn_phospholipid_92(fn_biomembrane_65(X)))&fn_phospholipid_92(fn_biomembrane_65(X))=fn_phospholipid_116(fn_biomembrane_65(X)))&fn_phospholipid_80(fn_biomembrane_65(X))=fn_phospholipid_116(fn_biomembrane_65(X)))&fn_phospholipid_116(fn_biomembrane_65(X))=fn_phospholipid_80(fn_biomembrane_65(X)))&fn_membrane_protein_1(fn_biomembrane_54(X))=fn_membrane_protein_1(fn_biomembrane_54(X)))))),
262.22/47.89	  inference(pre_NNF_transformation,[status(esa)],[f3216])).
262.22/47.89	fof(f55044,plain,(
262.22/47.89	  ![X0]: (~biomembrane_1(X0)|~phospholipid_bilayer_1(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f55022])).
262.22/47.89	fof(f244729,plain,(
262.22/47.89	  ![X,Mycetozoa,A,Amoebozoa]: (![X]: (~mycetozoa_1(X)|(((original_name_2(X,'Mycetozoa')&user_description_2(X,'A phylum within the kingdom Amoebozoa.'))&concept2words_2(X,mycetozoa))&amoeba_1(X))))),
262.22/47.89	  inference(pre_NNF_transformation,[status(esa)],[f6481])).
262.22/47.89	fof(f244733,plain,(
262.22/47.89	  ![X0]: (~mycetozoa_1(X0)|amoeba_1(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f244729])).
262.22/47.89	fof(f281644,plain,(
262.22/47.89	  ![X,Plasmodial,Slime,Mold,Any]: (![X]: (~plasmodial_slime_mold_1(X)|(((((original_name_2(X,'Plasmodial-Slime-Mold')&user_description_2(X,'Any of a group of organisms of uncertain affinity, characterized by a life cycle with several morphologic phases, amoeboid cells, flagellated cells, and a multinucleate phase.'))&concept2words_2(X,'plasmodial slime mold'))&concept2words_2(X,'plasmodial-slime-mold'))&mycetozoa_1(X))&~cellular_slime_mold_1(X))))),
262.22/47.89	  inference(pre_NNF_transformation,[status(esa)],[f7159])).
262.22/47.89	fof(f281649,plain,(
262.22/47.89	  ![X0]: (~plasmodial_slime_mold_1(X0)|mycetozoa_1(X0))),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f281644])).
262.22/47.89	fof(f382291,plain,(
262.22/47.89	  plasmodial_slime_mold_1(sk0_0)),
262.22/47.89	  inference(skolemization,[status(esa)],[f9162])).
262.22/47.89	fof(f382292,plain,(
262.22/47.89	  plasmodial_slime_mold_1(sk0_0)),
262.22/47.89	  inference(cnf_transformation,[status(esa)],[f382291])).
262.22/47.89	fof(f383389,plain,(
262.22/47.89	  mycetozoa_1(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f281649,f382292])).
262.22/47.89	fof(f383390,plain,(
262.22/47.89	  amoeba_1(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383389,f244733])).
262.22/47.89	fof(f383429,plain,(
262.22/47.89	  phospholipid_bilayer_1(fn_amoeba_13(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f32651])).
262.22/47.89	fof(f383436,plain,(
262.22/47.89	  biomembrane_1(fn_amoeba_18(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f32658])).
262.22/47.89	fof(f383764,plain,(
262.22/47.89	  fn_amoeba_33(sk0_0)=fn_attach_1(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f32986])).
262.22/47.89	fof(f383766,plain,(
262.22/47.89	  fn_amoeba_18(sk0_0)=fn_attach_2(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f32988])).
262.22/47.89	fof(f383810,plain,(
262.22/47.89	  fn_amoeba_2(sk0_0)=fn_plasma_membrane_34(fn_amoeba_18(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33032])).
262.22/47.89	fof(f383812,plain,(
262.22/47.89	  fn_amoeba_33(sk0_0)=fn_plasma_membrane_55(fn_amoeba_18(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33034])).
262.22/47.89	fof(f383826,plain,(
262.22/47.89	  fn_amoeba_6(sk0_0)=fn_protist_cell_26(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33048])).
262.22/47.89	fof(f383834,plain,(
262.22/47.89	  fn_amoeba_13(sk0_0)=fn_integral_protein_27(fn_amoeba_33(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33056])).
262.22/47.89	fof(f383838,plain,(
262.22/47.89	  fn_amoeba_13(sk0_0)=fn_protist_cell_18(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33060])).
262.22/47.89	fof(f383839,plain,(
262.22/47.89	  fn_amoeba_18(sk0_0)=fn_protist_cell_22(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33061])).
262.22/47.89	fof(f383848,plain,(
262.22/47.89	  fn_amoeba_7(sk0_0)=fn_protist_cell_14(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33070])).
262.22/47.89	fof(f383881,plain,(
262.22/47.89	  fn_plasma_membrane_34(fn_amoeba_18(sk0_0))=fn_attach_1(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33109])).
262.22/47.89	fof(f383887,plain,(
262.22/47.89	  fn_plasma_membrane_55(fn_amoeba_18(sk0_0))=fn_protist_cell_26(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33117])).
262.22/47.89	fof(f383890,plain,(
262.22/47.89	  fn_protist_cell_26(sk0_0)=fn_integral_protein_27(fn_amoeba_33(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33120])).
262.22/47.89	fof(f383899,plain,(
262.22/47.89	  fn_protist_cell_18(sk0_0)=fn_attach_2(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33131])).
262.22/47.89	fof(f383909,plain,(
262.22/47.89	  fn_protist_cell_22(sk0_0)=fn_protist_cell_14(sk0_0)),
262.22/47.89	  inference(resolution,[status(thm)],[f383390,f33145])).
262.22/47.89	fof(f383943,plain,(
262.22/47.89	  fn_amoeba_18(sk0_0)=fn_protist_cell_14(sk0_0)),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383839,f383909])).
262.22/47.89	fof(f383944,plain,(
262.22/47.89	  fn_amoeba_18(sk0_0)=fn_amoeba_7(sk0_0)),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383848,f383943])).
262.22/47.89	fof(f384806,plain,(
262.22/47.89	  fn_amoeba_7(sk0_0)=fn_attach_2(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383944,f383766])).
262.22/47.89	fof(f384858,plain,(
262.22/47.89	  fn_amoeba_2(sk0_0)=fn_plasma_membrane_34(fn_amoeba_7(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383944,f383810])).
262.22/47.89	fof(f384874,plain,(
262.22/47.89	  fn_amoeba_33(sk0_0)=fn_plasma_membrane_55(fn_amoeba_7(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383944,f383812])).
262.22/47.89	fof(f384881,plain,(
262.22/47.89	  biomembrane_1(fn_amoeba_7(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383944,f383436])).
262.22/47.89	fof(f384957,plain,(
262.22/47.89	  fn_plasma_membrane_55(fn_amoeba_7(sk0_0))=fn_protist_cell_26(sk0_0)),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383944,f383887])).
262.22/47.89	fof(f384958,plain,(
262.22/47.89	  fn_amoeba_33(sk0_0)=fn_protist_cell_26(sk0_0)),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f384874,f384957])).
262.22/47.89	fof(f384959,plain,(
262.22/47.89	  fn_amoeba_33(sk0_0)=fn_amoeba_6(sk0_0)),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383826,f384958])).
262.22/47.89	fof(f384960,plain,(
262.22/47.89	  fn_amoeba_6(sk0_0)=fn_attach_1(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(backward_demodulation,[status(thm)],[f384959,f383764])).
262.22/47.89	fof(f384974,plain,(
262.22/47.89	  fn_amoeba_13(sk0_0)=fn_integral_protein_27(fn_amoeba_6(sk0_0))),
262.22/47.89	  inference(backward_demodulation,[status(thm)],[f384959,f383834])).
262.22/47.89	fof(f384979,plain,(
262.22/47.89	  fn_amoeba_6(sk0_0)=fn_integral_protein_27(fn_amoeba_33(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383826,f383890])).
262.22/47.89	fof(f384980,plain,(
262.22/47.89	  fn_amoeba_6(sk0_0)=fn_integral_protein_27(fn_amoeba_6(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f384959,f384979])).
262.22/47.89	fof(f384994,plain,(
262.22/47.89	  fn_amoeba_13(sk0_0)=fn_attach_2(fn_amoeba_29(sk0_0))),
262.22/47.89	  inference(forward_demodulation,[status(thm)],[f383838,f383899])).
262.22/47.89	fof(f384995,plain,(
262.22/47.89	  fn_amoeba_13(sk0_0)=fn_amoeba_7(sk0_0)),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f384806,f384994])).
263.48/48.63	fof(f384998,plain,(
263.48/48.63	  phospholipid_bilayer_1(fn_amoeba_7(sk0_0))),
263.48/48.63	  inference(backward_demodulation,[status(thm)],[f384995,f383429])).
263.48/48.63	fof(f385051,plain,(
263.48/48.63	  fn_amoeba_7(sk0_0)=fn_integral_protein_27(fn_amoeba_6(sk0_0))),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f384995,f384974])).
263.48/48.63	fof(f385052,plain,(
263.48/48.63	  fn_amoeba_7(sk0_0)=fn_amoeba_6(sk0_0)),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f384980,f385051])).
263.48/48.63	fof(f385054,plain,(
263.48/48.63	  fn_amoeba_18(sk0_0)=fn_amoeba_6(sk0_0)),
263.48/48.63	  inference(backward_demodulation,[status(thm)],[f385052,f383944])).
263.48/48.63	fof(f385066,plain,(
263.48/48.63	  biomembrane_1(fn_amoeba_6(sk0_0))),
263.48/48.63	  inference(backward_demodulation,[status(thm)],[f385052,f384881])).
263.48/48.63	fof(f385070,plain,(
263.48/48.63	  fn_amoeba_2(sk0_0)=fn_plasma_membrane_34(fn_amoeba_6(sk0_0))),
263.48/48.63	  inference(backward_demodulation,[status(thm)],[f385052,f384858])).
263.48/48.63	fof(f390439,plain,(
263.48/48.63	  fn_plasma_membrane_34(fn_amoeba_6(sk0_0))=fn_attach_1(fn_amoeba_29(sk0_0))),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f385054,f383881])).
263.48/48.63	fof(f390440,plain,(
263.48/48.63	  fn_amoeba_2(sk0_0)=fn_attach_1(fn_amoeba_29(sk0_0))),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f385070,f390439])).
263.48/48.63	fof(f390441,plain,(
263.48/48.63	  fn_amoeba_2(sk0_0)=fn_amoeba_6(sk0_0)),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f384960,f390440])).
263.48/48.63	fof(f390456,plain,(
263.48/48.63	  fn_amoeba_7(sk0_0)=fn_amoeba_2(sk0_0)),
263.48/48.63	  inference(backward_demodulation,[status(thm)],[f390441,f385052])).
263.48/48.63	fof(f390626,plain,(
263.48/48.63	  phospholipid_bilayer_1(fn_amoeba_2(sk0_0))),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f390456,f384998])).
263.48/48.63	fof(f391673,plain,(
263.48/48.63	  biomembrane_1(fn_amoeba_2(sk0_0))),
263.48/48.63	  inference(forward_demodulation,[status(thm)],[f390441,f385066])).
263.48/48.63	fof(f391684,plain,(
263.48/48.63	  ~phospholipid_bilayer_1(fn_amoeba_2(sk0_0))),
263.48/48.63	  inference(resolution,[status(thm)],[f391673,f55044])).
263.48/48.63	fof(f391685,plain,(
263.48/48.63	  $false),
263.48/48.63	  inference(forward_subsumption_resolution,[status(thm)],[f391684,f390626])).
263.48/48.63	% SZS output end CNFRefutation for theBenchmark
263.48/48.63	% Elapsed time: 47.524111 seconds
263.48/48.63	% CPU time: 262.520000 seconds
263.48/48.63	% Memory used: 1.253 GB
263.64/48.80	EOF