%------------------------------------------------------------------------------
% File : CSE_E---1.7
% Problem : BIO005+1 : TPTP v9.2.1. Released v7.4.0.
% Transfm : none
% Format : tptp:raw
% Command : /export/starexec/sandbox/solver/bin/lemma_parallel_prover %s --lemma-prover /export/starexec/sandbox/solver/bin/cse --final-prover /export/starexec/sandbox/solver/bin/eprover --proof-time %d --global-time-limit %d
% Computer : n018.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue May 5 04:11:01 PM UTC 2026
% Result : Theorem 138.31s 200.23s
% Output : CNFRefutation 138.51s
% Verified :
% SZS Type : Refutation
% Derivation depth : 7
% Number of leaves : 5
% Syntax : Number of formulae : 23 ( 8 unt; 0 def)
% Number of atoms : 1848 ( 282 equ)
% Maximal formula atoms : 704 ( 80 avg)
% Number of connectives : 2453 ( 628 ~; 488 |;1331 &)
% ( 0 <=>; 6 =>; 0 <=; 0 <~>)
% Maximal formula depth : 355 ( 61 avg)
% Maximal term depth : 3 ( 2 avg)
% Number of predicates : 135 ( 133 usr; 1 prp; 0-4 aty)
% Number of functors : 162 ( 158 usr; 41 con; 0-1 aty)
% Number of variables : 20 ( 3 sgn 10 !; 2 ?)
% Comments :
%------------------------------------------------------------------------------
fof(a527575,axiom,
! [X1] :
( aqueous_solution_1(X1)
=> ( original_name_2(X1,'Aqueous-Solution')
& user_description_2(X1,'A solution in which water is the dissolving agent (i.e., solvent).')
& concept2words_2(X1,'aqueous solution')
& concept2words_2(X1,'aqueous-solution')
& liquid_substance_1(X1)
& solution_1(X1)
& ~ gel_1(X1)
& system_1(fn_aqueous_solution_7(X1))
& density_value_1(fn_aqueous_solution_10(X1))
& density_value_1(fn_aqueous_solution_11(X1))
& quantity_value_1(fn_aqueous_solution_12(X1))
& quantity_value_1(fn_aqueous_solution_13(X1))
& water_1(fn_aqueous_solution_14(X1))
& called_2(fn_aqueous_solution_10(X1),'Concentration_OH')
& called_2(fn_aqueous_solution_11(X1),'Concentration_H')
& called_2(fn_aqueous_solution_12(X1),'Quantity_OH')
& called_2(fn_aqueous_solution_13(X1),'Quantity_H')
& has_solvent_2(X1,fn_aqueous_solution_14(X1))
& has_part_2(X1,fn_aqueous_solution_14(X1))
& fn_aqueous_solution_14(X1) = fn_solution_5(X1)
& fn_aqueous_solution_14(X1) = fn_solution_6(X1)
& fn_solution_5(X1) = fn_solution_6(X1)
& fn_solution_6(X1) = fn_solution_6(X1) ) ),
file('/export/starexec/sandbox/benchmark/Axioms/BIO001+0.ax',a527575) ).
fof(a532753,axiom,
! [X1] :
( solution_1(X1)
=> ( original_name_2(X1,'Solution')
& user_description_2(X1,'A solution is a mixture of substances that has a uniform composition; a homogeneous mixture.')
& concept2words_2(X1,solution)
& homogeneous_mixture_1(X1)
& potential_value_1(fn_solution_2(X1))
& quantity_value_1(fn_solution_3(X1))
& chemical_1(fn_solution_5(X1))
& chemical_1(fn_solution_6(X1))
& fn_solution_6(X1) != fn_solution_5(X1)
& fn_solution_5(X1) != fn_solution_6(X1)
& solute_potential_2(fn_solution_5(X1),fn_solution_2(X1))
& quantity_2(fn_solution_5(X1),fn_solution_3(X1))
& has_solvent_2(X1,fn_solution_6(X1))
& has_solute_2(X1,fn_solution_5(X1))
& has_part_2(X1,fn_solution_6(X1))
& has_part_2(X1,fn_solution_5(X1))
& fn_solution_6(X1) = fn_mixture_2(X1)
& fn_solution_5(X1) = fn_mixture_1(X1) ) ),
file('/export/starexec/sandbox/benchmark/Axioms/BIO001+0.ax',a532753) ).
fof(a531668,axiom,
! [X1] :
( phospholipid_bilayer_1(X1)
=> ( original_name_2(X1,'Phospholipid-Bilayer')
& user_description_2(X1,'The lipid bilayer is a thin membrane made of two layers of lipid molecules. These membranes are flat sheets that form a continuous barrier around cells. Phospholipid bilayer is the main component of biological membranes.')
& concept2words_2(X1,'lipid bilayer')
& concept2words_2(X1,'lipid-bilayer')
& concept2words_2(X1,'bilayer of phospholipids')
& concept2words_2(X1,'bilayer-of-phospholipids')
& concept2words_2(X1,'phospholipid bilayer')
& concept2words_2(X1,'phospholipid-bilayer')
& cellular_structure_1(X1)
& ~ aster_1(X1)
& ~ axon_hillock_1(X1)
& ~ axon_1(X1)
& ~ biomembrane_1(X1)
& ~ cell_body_1(X1)
& ~ chromosomal_arrangement_1(X1)
& ~ dendrite_1(X1)
& ~ fertilization_envelope_1(X1)
& ~ fimbria_1(X1)
& ~ growth_cone_1(X1)
& ~ i_band_filament_1(X1)
& ~ myelin_sheath_1(X1)
& ~ node_of_ranvier_1(X1)
& ~ phospholipid_layer_1(X1)
& ~ phragmoplast_1(X1)
& ~ platelet_1(X1)
& ~ preprophase_band_1(X1)
& ~ primary_cell_wall_1(X1)
& ~ pseudopodium_1(X1)
& ~ root_hair_1(X1)
& ~ sarcomere_1(X1)
& ~ sex_pilus_1(X1)
& ~ statocyst_1(X1)
& ~ synaptic_terminal_1(X1)
& ~ transverse_tubule_1(X1)
& ~ z_line_filament_1(X1)
& lipid_1(fn_phospholipid_bilayer_1(X1))
& lipid_1(fn_phospholipid_bilayer_2(X1))
& hydrophobic_core_1(fn_phospholipid_bilayer_3(X1))
& rate_value_1(fn_phospholipid_bilayer_4(X1))
& rate_value_1(fn_phospholipid_bilayer_5(X1))
& cell_1(fn_phospholipid_bilayer_8(X1))
& aqueous_solution_1(fn_phospholipid_bilayer_9(X1))
& angle_value_1(fn_phospholipid_bilayer_12(X1))
& rate_value_1(fn_phospholipid_bilayer_13(X1))
& angle_value_1(fn_phospholipid_bilayer_16(X1))
& rate_value_1(fn_phospholipid_bilayer_17(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_18(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_19(X1))
& tangible_entity_1(fn_phospholipid_bilayer_20(X1))
& make_contact_1(fn_phospholipid_bilayer_21(X1))
& tangible_entity_1(fn_phospholipid_bilayer_22(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_23(X1))
& phospholipid_1(fn_phospholipid_bilayer_24(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_25(X1))
& hydrophilic_head_1(fn_phospholipid_bilayer_26(X1))
& tangible_entity_1(fn_phospholipid_bilayer_27(X1))
& make_contact_1(fn_phospholipid_bilayer_28(X1))
& tangible_entity_1(fn_phospholipid_bilayer_29(X1))
& chemical_entity_1(fn_phospholipid_bilayer_30(X1))
& fatty_acid_1(fn_phospholipid_bilayer_30(X1))
& spatial_entity_1(fn_phospholipid_bilayer_31(X1))
& chemical_entity_1(fn_phospholipid_bilayer_31(X1))
& hydrophobic_compound_1(fn_phospholipid_bilayer_31(X1))
& organic_acid_1(fn_phospholipid_bilayer_31(X1))
& carboxylic_acid_1(fn_phospholipid_bilayer_31(X1))
& fatty_acid_1(fn_phospholipid_bilayer_31(X1))
& spatial_entity_1(fn_phospholipid_bilayer_32(X1))
& phospholipid_1(fn_phospholipid_bilayer_32(X1))
& phospholipid_layer_1(fn_phospholipid_bilayer_33(X1))
& phospholipid_layer_1(fn_phospholipid_bilayer_34(X1))
& hydrophobic_face_1(fn_phospholipid_bilayer_35(X1))
& hydrophobic_face_1(fn_phospholipid_bilayer_36(X1))
& hydrophilic_head_1(fn_phospholipid_bilayer_37(X1))
& hydrophilic_face_1(fn_phospholipid_bilayer_38(X1))
& hydrophilic_face_1(fn_phospholipid_bilayer_39(X1))
& restrain_1(fn_phospholipid_bilayer_40(X1))
& water_1(fn_phospholipid_bilayer_41(X1))
& restrain_1(fn_phospholipid_bilayer_42(X1))
& water_1(fn_phospholipid_bilayer_43(X1))
& lipid_1(fn_phospholipid_bilayer_44(X1))
& move_1(fn_phospholipid_bilayer_45(X1))
& lipid_1(fn_phospholipid_bilayer_46(X1))
& hydrophobic_interaction_1(fn_phospholipid_bilayer_47(X1))
& move_1(fn_phospholipid_bilayer_48(X1))
& entity_1(fn_phospholipid_bilayer_49(X1))
& spatial_entity_1(fn_phospholipid_bilayer_49(X1))
& tangible_entity_1(fn_phospholipid_bilayer_49(X1))
& chemical_entity_1(fn_phospholipid_bilayer_49(X1))
& glycerol_1(fn_phospholipid_bilayer_49(X1))
& alcohol_1(fn_phospholipid_bilayer_49(X1))
& spatial_entity_1(fn_phospholipid_bilayer_50(X1))
& chemical_entity_1(fn_phospholipid_bilayer_50(X1))
& hydrophobic_compound_1(fn_phospholipid_bilayer_50(X1))
& organic_acid_1(fn_phospholipid_bilayer_50(X1))
& carboxylic_acid_1(fn_phospholipid_bilayer_50(X1))
& fatty_acid_1(fn_phospholipid_bilayer_50(X1))
& hold_together_1(fn_phospholipid_bilayer_51(X1))
& attach_1(fn_phospholipid_bilayer_52(X1))
& hold_together_1(fn_phospholipid_bilayer_53(X1))
& hold_together_1(fn_phospholipid_bilayer_54(X1))
& spatial_entity_1(fn_phospholipid_bilayer_55(X1))
& phospholipid_1(fn_phospholipid_bilayer_55(X1))
& tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_40(X1)))
& tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_42(X1)))
& spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_21(X1)))
& spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_28(X1)))
& spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_21(X1)))
& spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_28(X1)))
& spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1)))
& phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1)))
& hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X1)))
& hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X1)))
& angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X1)))
& rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X1)))
& move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X1)))
& lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X1)))
& angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X1)))
& property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X1)))
& rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X1)))
& move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X1)))
& lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X1)))
& hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X1)))
& spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1)))
& phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1)))
& hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X1)))
& hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X1)))
& hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_55(X1)))
& hold_together_1(fn_phospholipid_93(fn_phospholipid_bilayer_55(X1)))
& entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& spatial_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& tangible_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& glycerol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& alcohol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& attach_1(fn_phospholipid_81(fn_phospholipid_bilayer_55(X1)))
& spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)))
& fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1)))
& fatty_acid_tail_1(fn_phospholipid_92(fn_phospholipid_bilayer_24(X1)))
& hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1)))
& hydrophilic_head_1(fn_phospholipid_88(fn_phospholipid_bilayer_24(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1)))
& fatty_acid_tail_1(fn_phospholipid_90(fn_phospholipid_bilayer_24(X1)))
& hold_together_1(fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)))
& hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_24(X1)))
& hydrophobic_compound_1(fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1)))
& fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)))
& spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& fn_phospholipid_bilayer_55(X1) != fn_phospholipid_bilayer_32(X1)
& fn_phospholipid_bilayer_55(X1) != fn_phospholipid_bilayer_24(X1)
& is_inside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_8(X1))
& is_outside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_37(X1))
& is_outside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_26(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_5(X1),fast_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_5(X1),action_0)
& greater_than_or_equal_to_2(fn_phospholipid_bilayer_5(X1),fn_phospholipid_bilayer_13(X1))
& greater_than_2(fn_phospholipid_bilayer_5(X1),fn_phospholipid_bilayer_13(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_4(X1),fast_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_4(X1),action_0)
& greater_than_or_equal_to_2(fn_phospholipid_bilayer_4(X1),fn_phospholipid_bilayer_17(X1))
& greater_than_2(fn_phospholipid_bilayer_4(X1),fn_phospholipid_bilayer_17(X1))
& origin_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_34(X1))
& destination_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_33(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_12(X1),transversal_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_12(X1),move_0)
& the_scalar_value_2(fn_phospholipid_bilayer_13(X1),slow_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_13(X1),move_0)
& fn_phospholipid_bilayer_46(X1) != fn_phospholipid_bilayer_1(X1)
& fn_phospholipid_bilayer_46(X1) != fn_phospholipid_bilayer_2(X1)
& destination_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_34(X1))
& origin_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_33(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_16(X1),transversal_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_16(X1),move_0)
& the_scalar_value_2(fn_phospholipid_bilayer_17(X1),slow_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_17(X1),move_0)
& fn_phospholipid_bilayer_44(X1) != fn_phospholipid_bilayer_1(X1)
& agent_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_38(X1))
& away_from_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_3(X1))
& agent_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_39(X1))
& away_from_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_3(X1))
& has_function_2(fn_phospholipid_bilayer_39(X1),fn_phospholipid_bilayer_40(X1))
& has_function_2(fn_phospholipid_bilayer_38(X1),fn_phospholipid_bilayer_42(X1))
& is_at_2(fn_phospholipid_bilayer_37(X1),fn_phospholipid_bilayer_36(X1))
& is_between_2(fn_phospholipid_bilayer_3(X1),fn_phospholipid_bilayer_38(X1))
& is_between_2(fn_phospholipid_bilayer_3(X1),fn_phospholipid_bilayer_39(X1))
& is_inside_2(fn_phospholipid_bilayer_36(X1),fn_phospholipid_bilayer_3(X1))
& is_along_2(fn_phospholipid_bilayer_36(X1),fn_phospholipid_bilayer_35(X1))
& is_along_2(fn_phospholipid_bilayer_35(X1),fn_phospholipid_bilayer_36(X1))
& is_inside_2(fn_phospholipid_bilayer_35(X1),fn_phospholipid_bilayer_3(X1))
& is_along_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_33(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_24(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_1(X1))
& is_along_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_34(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_2(X1))
& fn_phospholipid_bilayer_32(X1) != fn_phospholipid_bilayer_55(X1)
& fn_phospholipid_bilayer_32(X1) != fn_phospholipid_bilayer_24(X1)
& has_part_2(X1,fn_phospholipid_bilayer_32(X1))
& has_part_2(X1,fn_phospholipid_bilayer_2(X1))
& has_part_2(X1,fn_phospholipid_bilayer_46(X1))
& has_part_2(X1,fn_phospholipid_bilayer_44(X1))
& has_part_2(X1,fn_phospholipid_bilayer_1(X1))
& has_part_2(X1,fn_phospholipid_bilayer_55(X1))
& has_part_2(X1,fn_phospholipid_bilayer_24(X1))
& exactCardinality(X1,has_region_0,"2",phospholipid_layer_0)
& has_region_2(X1,fn_phospholipid_bilayer_34(X1))
& has_region_2(X1,fn_phospholipid_bilayer_33(X1))
& has_region_2(X1,fn_phospholipid_bilayer_3(X1))
& is_inside_2(fn_phospholipid_bilayer_29(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_27(X1),fn_phospholipid_bilayer_25(X1))
& is_at_2(fn_phospholipid_bilayer_26(X1),fn_phospholipid_bilayer_39(X1))
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_44(X1)
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_46(X1)
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_2(X1)
& fn_phospholipid_bilayer_24(X1) != fn_phospholipid_bilayer_32(X1)
& fn_phospholipid_bilayer_24(X1) != fn_phospholipid_bilayer_55(X1)
& abuts_2(fn_phospholipid_bilayer_23(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_22(X1),fn_phospholipid_bilayer_23(X1))
& is_inside_2(fn_phospholipid_bilayer_20(X1),fn_phospholipid_bilayer_18(X1))
& abuts_2(fn_phospholipid_bilayer_19(X1),fn_phospholipid_bilayer_23(X1))
& fn_phospholipid_bilayer_2(X1) != fn_phospholipid_bilayer_1(X1)
& fn_phospholipid_bilayer_2(X1) != fn_phospholipid_bilayer_46(X1)
& is_between_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_31(X1))
& object_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_41(X1))
& object_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_43(X1))
& base_2(fn_phospholipid_bilayer_21(X1),fn_phospholipid_bilayer_22(X1))
& base_2(fn_phospholipid_bilayer_28(X1),fn_phospholipid_bilayer_29(X1))
& object_2(fn_phospholipid_bilayer_21(X1),fn_phospholipid_bilayer_20(X1))
& object_2(fn_phospholipid_bilayer_28(X1),fn_phospholipid_bilayer_27(X1))
& has_function_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_54(X1))
& agent_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_47(X1))
& is_between_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_30(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_55(X1))
& is_inside_2(fn_phospholipid_bilayer_23(X1),fn_phospholipid_bilayer_36(X1))
& has_region_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_36(X1))
& is_inside_2(fn_phospholipid_bilayer_25(X1),fn_phospholipid_bilayer_36(X1))
& has_region_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_39(X1))
& is_inside_2(fn_phospholipid_bilayer_26(X1),fn_phospholipid_bilayer_39(X1))
& direction_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_12(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_44(X1))
& object_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_44(X1))
& rate_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_13(X1))
& direction_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_16(X1))
& object_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_46(X1))
& rate_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_17(X1))
& has_region_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_35(X1))
& is_inside_2(fn_phospholipid_bilayer_18(X1),fn_phospholipid_bilayer_35(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_18(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_32(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_46(X1))
& has_region_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_38(X1))
& is_inside_2(fn_phospholipid_bilayer_37(X1),fn_phospholipid_bilayer_38(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_37(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_19(X1),fn_phospholipid_bilayer_35(X1))
& called_2(fn_phospholipid_bilayer_30(X1),"1")
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_50(X1))
& called_2(fn_phospholipid_bilayer_50(X1),"2")
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_49(X1))
& object_2(fn_phospholipid_bilayer_53(X1),fn_phospholipid_bilayer_49(X1))
& object_2(fn_phospholipid_bilayer_53(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_51(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_51(X1),fn_phospholipid_bilayer_49(X1))
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_52(X1),fn_phospholipid_bilayer_30(X1))
& base_2(fn_phospholipid_bilayer_52(X1),fn_phospholipid_bilayer_49(X1))
& fn_phospholipid_bilayer_50(X1) != fn_phospholipid_bilayer_30(X1)
& fn_phospholipid_bilayer_30(X1) != fn_phospholipid_bilayer_50(X1)
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_25(X1))
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_26(X1))
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_23(X1))
& called_2(fn_phospholipid_bilayer_31(X1),"2")
& has_part_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_31(X1))
& object_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_31(X1))
& fn_phospholipid_bilayer_31(X1) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_41(X1) = fn_restrain_1(fn_phospholipid_bilayer_40(X1))
& fn_phospholipid_bilayer_43(X1) = fn_restrain_1(fn_phospholipid_bilayer_42(X1))
& fn_phospholipid_bilayer_22(X1) = fn_make_contact_2(fn_phospholipid_bilayer_21(X1))
& fn_phospholipid_bilayer_29(X1) = fn_make_contact_2(fn_phospholipid_bilayer_28(X1))
& fn_phospholipid_bilayer_20(X1) = fn_make_contact_1(fn_phospholipid_bilayer_21(X1))
& fn_phospholipid_bilayer_27(X1) = fn_make_contact_1(fn_phospholipid_bilayer_28(X1))
& fn_phospholipid_bilayer_30(X1) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_54(X1) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_55(X1) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_23(X1) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_25(X1) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_36(X1) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_26(X1) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_39(X1) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_11(X1) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_12(X1) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_10(X1) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_13(X1) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_48(X1) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_44(X1) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_15(X1) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_16(X1) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_14(X1) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_17(X1) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_45(X1) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_46(X1) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_18(X1) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_35(X1) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_19(X1) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_32(X1) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_37(X1) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_38(X1) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_51(X1) = fn_phospholipid_86(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_53(X1) = fn_phospholipid_93(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_49(X1) = fn_phospholipid_89(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_52(X1) = fn_phospholipid_81(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_50(X1) = fn_phospholipid_91(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_30(X1) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_25(X1) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_26(X1) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_23(X1) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_54(X1) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_31(X1) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_31(X1) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X1))
& fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_92(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_88(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_90(fn_phospholipid_bilayer_24(X1)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_86(fn_phospholipid_bilayer_24(X1)) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1))
& fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)) ) ),
file('/export/starexec/sandbox/benchmark/Axioms/BIO001+0.ax',a531668) ).
fof(ask,conjecture,
~ ? [X2] : cell_1(X2),
file('/export/starexec/sandbox/benchmark/theBenchmark.p',ask) ).
fof(a528132,axiom,
! [X1] :
( cell_1(X1)
=> ( original_name_2(X1,'Cell')
& description_2(X1,'The basic unit from which living organisms are made, consisting of an aqueous solution of organic molecules enclosed by a membrane. All cells arise from existing cells, usually by a process of division into two. (Alberts:ECB:G-3).')
& user_description_2(X1,'The basic unit from which living organisms are made.')
& concept2words_2(X1,cell)
& living_entity_1(X1)
& cell_pole_1(fn_cell_1(X1))
& cytoskeleton_1(fn_cell_2(X1))
& surface_1(fn_cell_4(X1))
& shape_value_1(fn_cell_5(X1))
& specific_surface_area_value_1(fn_cell_7(X1))
& motor_protein_1(fn_cell_8(X1))
& protein_enzyme_1(fn_cell_9(X1))
& size_value_1(fn_cell_11(X1))
& structural_complexity_value_1(fn_cell_13(X1))
& ribosome_1(fn_cell_14(X1))
& length_value_1(fn_cell_18(X1))
& length_value_1(fn_cell_19(X1))
& length_value_1(fn_cell_20(X1))
& membrane_potential_1(fn_cell_21(X1))
& volume_value_1(fn_cell_22(X1))
& genome_1(fn_cell_24(X1))
& chromosome_1(fn_cell_25(X1))
& tangible_entity_1(fn_cell_26(X1))
& phospholipid_bilayer_1(fn_cell_26(X1))
& surface_1(fn_cell_27(X1))
& cytoplasmic_side_1(fn_cell_27(X1))
& mixture_1(fn_cell_28(X1))
& cytoplasm_1(fn_cell_28(X1))
& substance_1(fn_cell_29(X1))
& cytosol_1(fn_cell_29(X1))
& plasma_membrane_1(fn_cell_30(X1))
& cell_1(fn_cytoplasm_7(fn_cell_28(X1)))
& cytoplasm_1(fn_cytoplasmic_side_1(fn_cell_27(X1)))
& substance_1(fn_mixture_1(fn_cell_28(X1)))
& cytosol_1(fn_cytoplasm_8(fn_cell_28(X1)))
& tangible_entity_1(fn_biomembrane_63(fn_cell_30(X1)))
& phospholipid_bilayer_1(fn_biomembrane_63(fn_cell_30(X1)))
& tangible_entity_1(fn_plasma_membrane_71(fn_cell_30(X1)))
& phospholipid_bilayer_1(fn_plasma_membrane_71(fn_cell_30(X1)))
& surface_1(fn_biomembrane_47(fn_cell_30(X1)))
& cytoplasmic_side_1(fn_plasma_membrane_66(fn_cell_30(X1)))
& is_across_2(fn_cell_21(X1),fn_cell_30(X1))
& shape_2(X1,fn_cell_5(X1))
& specific_surface_area_2(X1,fn_cell_7(X1))
& size_2(X1,fn_cell_11(X1))
& structural_complexity_2(X1,fn_cell_13(X1))
& diameter_2(X1,fn_cell_18(X1))
& volume_2(X1,fn_cell_22(X1))
& exactCardinality(X1,has_region_0,"2",cell_pole_0)
& has_region_2(X1,fn_cell_1(X1))
& has_region_2(X1,fn_cell_4(X1))
& minCardinality(X1,has_part_0,"1",chromosome_0)
& has_part_2(X1,fn_cell_2(X1))
& has_part_2(X1,fn_cell_25(X1))
& has_part_2(X1,fn_cell_24(X1))
& has_part_2(X1,fn_cell_8(X1))
& has_part_2(X1,fn_cell_14(X1))
& has_part_2(X1,fn_cell_30(X1))
& is_inside_2(fn_cell_28(X1),fn_cell_30(X1))
& has_part_2(fn_cell_28(X1),fn_cell_9(X1))
& the_cardinal_value_2(fn_cell_20(X1),"100.0e0")
& cardinal_unit_class_2(fn_cell_20(X1),micrometer_0)
& greater_than_or_equal_to_2(fn_cell_20(X1),fn_cell_18(X1))
& the_cardinal_value_2(fn_cell_19(X1),"0.1e0")
& cardinal_unit_class_2(fn_cell_19(X1),micrometer_0)
& greater_than_or_equal_to_2(fn_cell_18(X1),fn_cell_19(X1))
& is_inside_2(fn_cell_14(X1),fn_cell_29(X1))
& the_scalar_value_2(fn_cell_13(X1),simple_0)
& scalar_unit_class_2(fn_cell_13(X1),organism_0)
& directly_proportional_2(fn_cell_11(X1),fn_cell_22(X1))
& is_oriented_toward_2(fn_cell_27(X1),fn_cell_28(X1))
& is_at_2(fn_cell_26(X1),fn_cell_4(X1))
& has_part_2(X1,fn_cell_28(X1))
& has_part_2(fn_cell_28(X1),fn_cell_29(X1))
& has_region_2(fn_cell_30(X1),fn_cell_27(X1))
& has_part_2(fn_cell_30(X1),fn_cell_26(X1))
& is_facing_2(fn_cell_27(X1),fn_cell_28(X1))
& X1 = fn_cytoplasm_7(fn_cell_28(X1))
& fn_cell_29(X1) = fn_mixture_1(fn_cell_28(X1))
& fn_cell_29(X1) = fn_cytoplasm_8(fn_cell_28(X1))
& fn_cell_27(X1) = fn_biomembrane_47(fn_cell_30(X1))
& fn_cell_27(X1) = fn_plasma_membrane_66(fn_cell_30(X1))
& fn_cell_26(X1) = fn_biomembrane_63(fn_cell_30(X1))
& fn_cell_26(X1) = fn_plasma_membrane_71(fn_cell_30(X1))
& fn_cell_28(X1) = fn_cytoplasmic_side_1(fn_cell_27(X1))
& fn_mixture_1(fn_cell_28(X1)) = fn_cytoplasm_8(fn_cell_28(X1))
& fn_cytoplasm_8(fn_cell_28(X1)) = fn_biomembrane_63(fn_cell_30(X1))
& fn_biomembrane_63(fn_cell_30(X1)) = fn_plasma_membrane_71(fn_cell_30(X1))
& fn_plasma_membrane_71(fn_cell_30(X1)) = fn_biomembrane_47(fn_cell_30(X1))
& fn_biomembrane_47(fn_cell_30(X1)) = fn_plasma_membrane_66(fn_cell_30(X1)) ) ),
file('/export/starexec/sandbox/benchmark/Axioms/BIO001+0.ax',a528132) ).
fof(c_0_5,plain,
! [X1] :
( aqueous_solution_1(X1)
=> ( original_name_2(X1,'Aqueous-Solution')
& user_description_2(X1,'A solution in which water is the dissolving agent (i.e., solvent).')
& concept2words_2(X1,'aqueous solution')
& concept2words_2(X1,'aqueous-solution')
& liquid_substance_1(X1)
& solution_1(X1)
& ~ gel_1(X1)
& system_1(fn_aqueous_solution_7(X1))
& density_value_1(fn_aqueous_solution_10(X1))
& density_value_1(fn_aqueous_solution_11(X1))
& quantity_value_1(fn_aqueous_solution_12(X1))
& quantity_value_1(fn_aqueous_solution_13(X1))
& water_1(fn_aqueous_solution_14(X1))
& called_2(fn_aqueous_solution_10(X1),'Concentration_OH')
& called_2(fn_aqueous_solution_11(X1),'Concentration_H')
& called_2(fn_aqueous_solution_12(X1),'Quantity_OH')
& called_2(fn_aqueous_solution_13(X1),'Quantity_H')
& has_solvent_2(X1,fn_aqueous_solution_14(X1))
& has_part_2(X1,fn_aqueous_solution_14(X1))
& fn_aqueous_solution_14(X1) = fn_solution_5(X1)
& fn_aqueous_solution_14(X1) = fn_solution_6(X1)
& fn_solution_5(X1) = fn_solution_6(X1)
& fn_solution_6(X1) = fn_solution_6(X1) ) ),
inference(fof_simplification,[status(thm)],[a527575]) ).
fof(c_0_6,plain,
! [X21115] :
( ( original_name_2(X21115,'Solution')
| ~ solution_1(X21115) )
& ( user_description_2(X21115,'A solution is a mixture of substances that has a uniform composition; a homogeneous mixture.')
| ~ solution_1(X21115) )
& ( concept2words_2(X21115,solution)
| ~ solution_1(X21115) )
& ( homogeneous_mixture_1(X21115)
| ~ solution_1(X21115) )
& ( potential_value_1(fn_solution_2(X21115))
| ~ solution_1(X21115) )
& ( quantity_value_1(fn_solution_3(X21115))
| ~ solution_1(X21115) )
& ( chemical_1(fn_solution_5(X21115))
| ~ solution_1(X21115) )
& ( chemical_1(fn_solution_6(X21115))
| ~ solution_1(X21115) )
& ( fn_solution_6(X21115) != fn_solution_5(X21115)
| ~ solution_1(X21115) )
& ( fn_solution_5(X21115) != fn_solution_6(X21115)
| ~ solution_1(X21115) )
& ( solute_potential_2(fn_solution_5(X21115),fn_solution_2(X21115))
| ~ solution_1(X21115) )
& ( quantity_2(fn_solution_5(X21115),fn_solution_3(X21115))
| ~ solution_1(X21115) )
& ( has_solvent_2(X21115,fn_solution_6(X21115))
| ~ solution_1(X21115) )
& ( has_solute_2(X21115,fn_solution_5(X21115))
| ~ solution_1(X21115) )
& ( has_part_2(X21115,fn_solution_6(X21115))
| ~ solution_1(X21115) )
& ( has_part_2(X21115,fn_solution_5(X21115))
| ~ solution_1(X21115) )
& ( fn_solution_6(X21115) = fn_mixture_2(X21115)
| ~ solution_1(X21115) )
& ( fn_solution_5(X21115) = fn_mixture_1(X21115)
| ~ solution_1(X21115) ) ),
inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[a532753])])]) ).
fof(c_0_7,plain,
! [X15741] :
( ( original_name_2(X15741,'Aqueous-Solution')
| ~ aqueous_solution_1(X15741) )
& ( user_description_2(X15741,'A solution in which water is the dissolving agent (i.e., solvent).')
| ~ aqueous_solution_1(X15741) )
& ( concept2words_2(X15741,'aqueous solution')
| ~ aqueous_solution_1(X15741) )
& ( concept2words_2(X15741,'aqueous-solution')
| ~ aqueous_solution_1(X15741) )
& ( liquid_substance_1(X15741)
| ~ aqueous_solution_1(X15741) )
& ( solution_1(X15741)
| ~ aqueous_solution_1(X15741) )
& ( ~ gel_1(X15741)
| ~ aqueous_solution_1(X15741) )
& ( system_1(fn_aqueous_solution_7(X15741))
| ~ aqueous_solution_1(X15741) )
& ( density_value_1(fn_aqueous_solution_10(X15741))
| ~ aqueous_solution_1(X15741) )
& ( density_value_1(fn_aqueous_solution_11(X15741))
| ~ aqueous_solution_1(X15741) )
& ( quantity_value_1(fn_aqueous_solution_12(X15741))
| ~ aqueous_solution_1(X15741) )
& ( quantity_value_1(fn_aqueous_solution_13(X15741))
| ~ aqueous_solution_1(X15741) )
& ( water_1(fn_aqueous_solution_14(X15741))
| ~ aqueous_solution_1(X15741) )
& ( called_2(fn_aqueous_solution_10(X15741),'Concentration_OH')
| ~ aqueous_solution_1(X15741) )
& ( called_2(fn_aqueous_solution_11(X15741),'Concentration_H')
| ~ aqueous_solution_1(X15741) )
& ( called_2(fn_aqueous_solution_12(X15741),'Quantity_OH')
| ~ aqueous_solution_1(X15741) )
& ( called_2(fn_aqueous_solution_13(X15741),'Quantity_H')
| ~ aqueous_solution_1(X15741) )
& ( has_solvent_2(X15741,fn_aqueous_solution_14(X15741))
| ~ aqueous_solution_1(X15741) )
& ( has_part_2(X15741,fn_aqueous_solution_14(X15741))
| ~ aqueous_solution_1(X15741) )
& ( fn_aqueous_solution_14(X15741) = fn_solution_5(X15741)
| ~ aqueous_solution_1(X15741) )
& ( fn_aqueous_solution_14(X15741) = fn_solution_6(X15741)
| ~ aqueous_solution_1(X15741) )
& ( fn_solution_5(X15741) = fn_solution_6(X15741)
| ~ aqueous_solution_1(X15741) )
& ( fn_solution_6(X15741) = fn_solution_6(X15741)
| ~ aqueous_solution_1(X15741) ) ),
inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[c_0_5])])]) ).
fof(c_0_8,plain,
! [X1] :
( phospholipid_bilayer_1(X1)
=> ( original_name_2(X1,'Phospholipid-Bilayer')
& user_description_2(X1,'The lipid bilayer is a thin membrane made of two layers of lipid molecules. These membranes are flat sheets that form a continuous barrier around cells. Phospholipid bilayer is the main component of biological membranes.')
& concept2words_2(X1,'lipid bilayer')
& concept2words_2(X1,'lipid-bilayer')
& concept2words_2(X1,'bilayer of phospholipids')
& concept2words_2(X1,'bilayer-of-phospholipids')
& concept2words_2(X1,'phospholipid bilayer')
& concept2words_2(X1,'phospholipid-bilayer')
& cellular_structure_1(X1)
& ~ aster_1(X1)
& ~ axon_hillock_1(X1)
& ~ axon_1(X1)
& ~ biomembrane_1(X1)
& ~ cell_body_1(X1)
& ~ chromosomal_arrangement_1(X1)
& ~ dendrite_1(X1)
& ~ fertilization_envelope_1(X1)
& ~ fimbria_1(X1)
& ~ growth_cone_1(X1)
& ~ i_band_filament_1(X1)
& ~ myelin_sheath_1(X1)
& ~ node_of_ranvier_1(X1)
& ~ phospholipid_layer_1(X1)
& ~ phragmoplast_1(X1)
& ~ platelet_1(X1)
& ~ preprophase_band_1(X1)
& ~ primary_cell_wall_1(X1)
& ~ pseudopodium_1(X1)
& ~ root_hair_1(X1)
& ~ sarcomere_1(X1)
& ~ sex_pilus_1(X1)
& ~ statocyst_1(X1)
& ~ synaptic_terminal_1(X1)
& ~ transverse_tubule_1(X1)
& ~ z_line_filament_1(X1)
& lipid_1(fn_phospholipid_bilayer_1(X1))
& lipid_1(fn_phospholipid_bilayer_2(X1))
& hydrophobic_core_1(fn_phospholipid_bilayer_3(X1))
& rate_value_1(fn_phospholipid_bilayer_4(X1))
& rate_value_1(fn_phospholipid_bilayer_5(X1))
& cell_1(fn_phospholipid_bilayer_8(X1))
& aqueous_solution_1(fn_phospholipid_bilayer_9(X1))
& angle_value_1(fn_phospholipid_bilayer_12(X1))
& rate_value_1(fn_phospholipid_bilayer_13(X1))
& angle_value_1(fn_phospholipid_bilayer_16(X1))
& rate_value_1(fn_phospholipid_bilayer_17(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_18(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_19(X1))
& tangible_entity_1(fn_phospholipid_bilayer_20(X1))
& make_contact_1(fn_phospholipid_bilayer_21(X1))
& tangible_entity_1(fn_phospholipid_bilayer_22(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_23(X1))
& phospholipid_1(fn_phospholipid_bilayer_24(X1))
& fatty_acid_tail_1(fn_phospholipid_bilayer_25(X1))
& hydrophilic_head_1(fn_phospholipid_bilayer_26(X1))
& tangible_entity_1(fn_phospholipid_bilayer_27(X1))
& make_contact_1(fn_phospholipid_bilayer_28(X1))
& tangible_entity_1(fn_phospholipid_bilayer_29(X1))
& chemical_entity_1(fn_phospholipid_bilayer_30(X1))
& fatty_acid_1(fn_phospholipid_bilayer_30(X1))
& spatial_entity_1(fn_phospholipid_bilayer_31(X1))
& chemical_entity_1(fn_phospholipid_bilayer_31(X1))
& hydrophobic_compound_1(fn_phospholipid_bilayer_31(X1))
& organic_acid_1(fn_phospholipid_bilayer_31(X1))
& carboxylic_acid_1(fn_phospholipid_bilayer_31(X1))
& fatty_acid_1(fn_phospholipid_bilayer_31(X1))
& spatial_entity_1(fn_phospholipid_bilayer_32(X1))
& phospholipid_1(fn_phospholipid_bilayer_32(X1))
& phospholipid_layer_1(fn_phospholipid_bilayer_33(X1))
& phospholipid_layer_1(fn_phospholipid_bilayer_34(X1))
& hydrophobic_face_1(fn_phospholipid_bilayer_35(X1))
& hydrophobic_face_1(fn_phospholipid_bilayer_36(X1))
& hydrophilic_head_1(fn_phospholipid_bilayer_37(X1))
& hydrophilic_face_1(fn_phospholipid_bilayer_38(X1))
& hydrophilic_face_1(fn_phospholipid_bilayer_39(X1))
& restrain_1(fn_phospholipid_bilayer_40(X1))
& water_1(fn_phospholipid_bilayer_41(X1))
& restrain_1(fn_phospholipid_bilayer_42(X1))
& water_1(fn_phospholipid_bilayer_43(X1))
& lipid_1(fn_phospholipid_bilayer_44(X1))
& move_1(fn_phospholipid_bilayer_45(X1))
& lipid_1(fn_phospholipid_bilayer_46(X1))
& hydrophobic_interaction_1(fn_phospholipid_bilayer_47(X1))
& move_1(fn_phospholipid_bilayer_48(X1))
& entity_1(fn_phospholipid_bilayer_49(X1))
& spatial_entity_1(fn_phospholipid_bilayer_49(X1))
& tangible_entity_1(fn_phospholipid_bilayer_49(X1))
& chemical_entity_1(fn_phospholipid_bilayer_49(X1))
& glycerol_1(fn_phospholipid_bilayer_49(X1))
& alcohol_1(fn_phospholipid_bilayer_49(X1))
& spatial_entity_1(fn_phospholipid_bilayer_50(X1))
& chemical_entity_1(fn_phospholipid_bilayer_50(X1))
& hydrophobic_compound_1(fn_phospholipid_bilayer_50(X1))
& organic_acid_1(fn_phospholipid_bilayer_50(X1))
& carboxylic_acid_1(fn_phospholipid_bilayer_50(X1))
& fatty_acid_1(fn_phospholipid_bilayer_50(X1))
& hold_together_1(fn_phospholipid_bilayer_51(X1))
& attach_1(fn_phospholipid_bilayer_52(X1))
& hold_together_1(fn_phospholipid_bilayer_53(X1))
& hold_together_1(fn_phospholipid_bilayer_54(X1))
& spatial_entity_1(fn_phospholipid_bilayer_55(X1))
& phospholipid_1(fn_phospholipid_bilayer_55(X1))
& tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_40(X1)))
& tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_42(X1)))
& spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_21(X1)))
& spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_28(X1)))
& spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_21(X1)))
& spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_28(X1)))
& spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1)))
& phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1)))
& hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X1)))
& hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X1)))
& angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X1)))
& rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X1)))
& move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X1)))
& lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X1)))
& property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X1)))
& angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X1)))
& property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X1)))
& rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X1)))
& move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X1)))
& lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X1)))
& hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X1)))
& spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1)))
& phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1)))
& hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X1)))
& hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X1)))
& hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_55(X1)))
& hold_together_1(fn_phospholipid_93(fn_phospholipid_bilayer_55(X1)))
& entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& spatial_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& tangible_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& glycerol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& alcohol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X1)))
& attach_1(fn_phospholipid_81(fn_phospholipid_bilayer_55(X1)))
& spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X1)))
& chemical_entity_1(fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)))
& fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1)))
& fatty_acid_tail_1(fn_phospholipid_92(fn_phospholipid_bilayer_24(X1)))
& hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1)))
& hydrophilic_head_1(fn_phospholipid_88(fn_phospholipid_bilayer_24(X1)))
& fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1)))
& fatty_acid_tail_1(fn_phospholipid_90(fn_phospholipid_bilayer_24(X1)))
& hold_together_1(fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)))
& hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_24(X1)))
& hydrophobic_compound_1(fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1)))
& fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)))
& spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)))
& fn_phospholipid_bilayer_55(X1) != fn_phospholipid_bilayer_32(X1)
& fn_phospholipid_bilayer_55(X1) != fn_phospholipid_bilayer_24(X1)
& is_inside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_8(X1))
& is_outside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_37(X1))
& is_outside_2(fn_phospholipid_bilayer_9(X1),fn_phospholipid_bilayer_26(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_5(X1),fast_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_5(X1),action_0)
& greater_than_or_equal_to_2(fn_phospholipid_bilayer_5(X1),fn_phospholipid_bilayer_13(X1))
& greater_than_2(fn_phospholipid_bilayer_5(X1),fn_phospholipid_bilayer_13(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_4(X1),fast_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_4(X1),action_0)
& greater_than_or_equal_to_2(fn_phospholipid_bilayer_4(X1),fn_phospholipid_bilayer_17(X1))
& greater_than_2(fn_phospholipid_bilayer_4(X1),fn_phospholipid_bilayer_17(X1))
& origin_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_34(X1))
& destination_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_33(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_12(X1),transversal_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_12(X1),move_0)
& the_scalar_value_2(fn_phospholipid_bilayer_13(X1),slow_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_13(X1),move_0)
& fn_phospholipid_bilayer_46(X1) != fn_phospholipid_bilayer_1(X1)
& fn_phospholipid_bilayer_46(X1) != fn_phospholipid_bilayer_2(X1)
& destination_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_34(X1))
& origin_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_33(X1))
& the_scalar_value_2(fn_phospholipid_bilayer_16(X1),transversal_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_16(X1),move_0)
& the_scalar_value_2(fn_phospholipid_bilayer_17(X1),slow_0)
& scalar_unit_class_2(fn_phospholipid_bilayer_17(X1),move_0)
& fn_phospholipid_bilayer_44(X1) != fn_phospholipid_bilayer_1(X1)
& agent_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_38(X1))
& away_from_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_3(X1))
& agent_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_39(X1))
& away_from_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_3(X1))
& has_function_2(fn_phospholipid_bilayer_39(X1),fn_phospholipid_bilayer_40(X1))
& has_function_2(fn_phospholipid_bilayer_38(X1),fn_phospholipid_bilayer_42(X1))
& is_at_2(fn_phospholipid_bilayer_37(X1),fn_phospholipid_bilayer_36(X1))
& is_between_2(fn_phospholipid_bilayer_3(X1),fn_phospholipid_bilayer_38(X1))
& is_between_2(fn_phospholipid_bilayer_3(X1),fn_phospholipid_bilayer_39(X1))
& is_inside_2(fn_phospholipid_bilayer_36(X1),fn_phospholipid_bilayer_3(X1))
& is_along_2(fn_phospholipid_bilayer_36(X1),fn_phospholipid_bilayer_35(X1))
& is_along_2(fn_phospholipid_bilayer_35(X1),fn_phospholipid_bilayer_36(X1))
& is_inside_2(fn_phospholipid_bilayer_35(X1),fn_phospholipid_bilayer_3(X1))
& is_along_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_33(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_24(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_1(X1))
& is_along_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_34(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_2(X1))
& fn_phospholipid_bilayer_32(X1) != fn_phospholipid_bilayer_55(X1)
& fn_phospholipid_bilayer_32(X1) != fn_phospholipid_bilayer_24(X1)
& has_part_2(X1,fn_phospholipid_bilayer_32(X1))
& has_part_2(X1,fn_phospholipid_bilayer_2(X1))
& has_part_2(X1,fn_phospholipid_bilayer_46(X1))
& has_part_2(X1,fn_phospholipid_bilayer_44(X1))
& has_part_2(X1,fn_phospholipid_bilayer_1(X1))
& has_part_2(X1,fn_phospholipid_bilayer_55(X1))
& has_part_2(X1,fn_phospholipid_bilayer_24(X1))
& exactCardinality(X1,has_region_0,"2",phospholipid_layer_0)
& has_region_2(X1,fn_phospholipid_bilayer_34(X1))
& has_region_2(X1,fn_phospholipid_bilayer_33(X1))
& has_region_2(X1,fn_phospholipid_bilayer_3(X1))
& is_inside_2(fn_phospholipid_bilayer_29(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_27(X1),fn_phospholipid_bilayer_25(X1))
& is_at_2(fn_phospholipid_bilayer_26(X1),fn_phospholipid_bilayer_39(X1))
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_44(X1)
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_46(X1)
& fn_phospholipid_bilayer_1(X1) != fn_phospholipid_bilayer_2(X1)
& fn_phospholipid_bilayer_24(X1) != fn_phospholipid_bilayer_32(X1)
& fn_phospholipid_bilayer_24(X1) != fn_phospholipid_bilayer_55(X1)
& abuts_2(fn_phospholipid_bilayer_23(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_22(X1),fn_phospholipid_bilayer_23(X1))
& is_inside_2(fn_phospholipid_bilayer_20(X1),fn_phospholipid_bilayer_18(X1))
& abuts_2(fn_phospholipid_bilayer_19(X1),fn_phospholipid_bilayer_23(X1))
& fn_phospholipid_bilayer_2(X1) != fn_phospholipid_bilayer_1(X1)
& fn_phospholipid_bilayer_2(X1) != fn_phospholipid_bilayer_46(X1)
& is_between_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_31(X1))
& object_2(fn_phospholipid_bilayer_40(X1),fn_phospholipid_bilayer_41(X1))
& object_2(fn_phospholipid_bilayer_42(X1),fn_phospholipid_bilayer_43(X1))
& base_2(fn_phospholipid_bilayer_21(X1),fn_phospholipid_bilayer_22(X1))
& base_2(fn_phospholipid_bilayer_28(X1),fn_phospholipid_bilayer_29(X1))
& object_2(fn_phospholipid_bilayer_21(X1),fn_phospholipid_bilayer_20(X1))
& object_2(fn_phospholipid_bilayer_28(X1),fn_phospholipid_bilayer_27(X1))
& has_function_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_54(X1))
& agent_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_47(X1))
& is_between_2(fn_phospholipid_bilayer_47(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_30(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_55(X1))
& is_inside_2(fn_phospholipid_bilayer_23(X1),fn_phospholipid_bilayer_36(X1))
& has_region_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_36(X1))
& is_inside_2(fn_phospholipid_bilayer_25(X1),fn_phospholipid_bilayer_36(X1))
& has_region_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_39(X1))
& is_inside_2(fn_phospholipid_bilayer_26(X1),fn_phospholipid_bilayer_39(X1))
& direction_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_12(X1))
& element_2(fn_phospholipid_bilayer_34(X1),fn_phospholipid_bilayer_44(X1))
& object_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_44(X1))
& rate_2(fn_phospholipid_bilayer_48(X1),fn_phospholipid_bilayer_13(X1))
& direction_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_16(X1))
& object_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_46(X1))
& rate_2(fn_phospholipid_bilayer_45(X1),fn_phospholipid_bilayer_17(X1))
& has_region_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_35(X1))
& is_inside_2(fn_phospholipid_bilayer_18(X1),fn_phospholipid_bilayer_35(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_18(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_32(X1))
& element_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_46(X1))
& has_region_2(fn_phospholipid_bilayer_33(X1),fn_phospholipid_bilayer_38(X1))
& is_inside_2(fn_phospholipid_bilayer_37(X1),fn_phospholipid_bilayer_38(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_37(X1))
& has_region_2(fn_phospholipid_bilayer_32(X1),fn_phospholipid_bilayer_19(X1))
& is_inside_2(fn_phospholipid_bilayer_19(X1),fn_phospholipid_bilayer_35(X1))
& called_2(fn_phospholipid_bilayer_30(X1),"1")
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_50(X1))
& called_2(fn_phospholipid_bilayer_50(X1),"2")
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_49(X1))
& object_2(fn_phospholipid_bilayer_53(X1),fn_phospholipid_bilayer_49(X1))
& object_2(fn_phospholipid_bilayer_53(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_51(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_51(X1),fn_phospholipid_bilayer_49(X1))
& has_part_2(fn_phospholipid_bilayer_55(X1),fn_phospholipid_bilayer_30(X1))
& object_2(fn_phospholipid_bilayer_52(X1),fn_phospholipid_bilayer_30(X1))
& base_2(fn_phospholipid_bilayer_52(X1),fn_phospholipid_bilayer_49(X1))
& fn_phospholipid_bilayer_50(X1) != fn_phospholipid_bilayer_30(X1)
& fn_phospholipid_bilayer_30(X1) != fn_phospholipid_bilayer_50(X1)
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_25(X1))
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_26(X1))
& has_region_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_23(X1))
& called_2(fn_phospholipid_bilayer_31(X1),"2")
& has_part_2(fn_phospholipid_bilayer_24(X1),fn_phospholipid_bilayer_31(X1))
& object_2(fn_phospholipid_bilayer_54(X1),fn_phospholipid_bilayer_31(X1))
& fn_phospholipid_bilayer_31(X1) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_41(X1) = fn_restrain_1(fn_phospholipid_bilayer_40(X1))
& fn_phospholipid_bilayer_43(X1) = fn_restrain_1(fn_phospholipid_bilayer_42(X1))
& fn_phospholipid_bilayer_22(X1) = fn_make_contact_2(fn_phospholipid_bilayer_21(X1))
& fn_phospholipid_bilayer_29(X1) = fn_make_contact_2(fn_phospholipid_bilayer_28(X1))
& fn_phospholipid_bilayer_20(X1) = fn_make_contact_1(fn_phospholipid_bilayer_21(X1))
& fn_phospholipid_bilayer_27(X1) = fn_make_contact_1(fn_phospholipid_bilayer_28(X1))
& fn_phospholipid_bilayer_30(X1) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_54(X1) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_phospholipid_bilayer_55(X1) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_23(X1) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_25(X1) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_36(X1) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_26(X1) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_39(X1) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_11(X1) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_12(X1) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_10(X1) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_13(X1) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_48(X1) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_44(X1) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_bilayer_15(X1) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_16(X1) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_14(X1) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_17(X1) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_45(X1) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_46(X1) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_18(X1) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_35(X1) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_19(X1) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_32(X1) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_37(X1) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_38(X1) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X1))
& fn_phospholipid_bilayer_51(X1) = fn_phospholipid_86(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_53(X1) = fn_phospholipid_93(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_49(X1) = fn_phospholipid_89(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_52(X1) = fn_phospholipid_81(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_50(X1) = fn_phospholipid_91(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_30(X1) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_bilayer_25(X1) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_26(X1) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_23(X1) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_54(X1) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_31(X1) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_bilayer_31(X1) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X1))
& fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_4(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_55(X1)) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_92(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_88(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1))
& fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X1)) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_90(fn_phospholipid_bilayer_24(X1)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1))
& fn_chemical_bond_3(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_86(fn_phospholipid_bilayer_24(X1)) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1))
& fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X1))
& fn_phospholipid_87(fn_phospholipid_bilayer_24(X1)) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X1)) ) ),
inference(fof_simplification,[status(thm)],[a531668]) ).
cnf(c_0_9,plain,
( fn_solution_5(X1) != fn_solution_6(X1)
| ~ solution_1(X1) ),
inference(split_conjunct,[status(thm)],[c_0_6]) ).
cnf(c_0_10,plain,
( fn_solution_5(X1) = fn_solution_6(X1)
| ~ aqueous_solution_1(X1) ),
inference(split_conjunct,[status(thm)],[c_0_7]) ).
cnf(c_0_11,plain,
( solution_1(X1)
| ~ aqueous_solution_1(X1) ),
inference(split_conjunct,[status(thm)],[c_0_7]) ).
fof(c_0_12,plain,
! [X19989] :
( ( original_name_2(X19989,'Phospholipid-Bilayer')
| ~ phospholipid_bilayer_1(X19989) )
& ( user_description_2(X19989,'The lipid bilayer is a thin membrane made of two layers of lipid molecules. These membranes are flat sheets that form a continuous barrier around cells. Phospholipid bilayer is the main component of biological membranes.')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'lipid bilayer')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'lipid-bilayer')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'bilayer of phospholipids')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'bilayer-of-phospholipids')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'phospholipid bilayer')
| ~ phospholipid_bilayer_1(X19989) )
& ( concept2words_2(X19989,'phospholipid-bilayer')
| ~ phospholipid_bilayer_1(X19989) )
& ( cellular_structure_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ aster_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ axon_hillock_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ axon_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ biomembrane_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ cell_body_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ chromosomal_arrangement_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ dendrite_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ fertilization_envelope_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ fimbria_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ growth_cone_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ i_band_filament_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ myelin_sheath_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ node_of_ranvier_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ phospholipid_layer_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ phragmoplast_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ platelet_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ preprophase_band_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ primary_cell_wall_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ pseudopodium_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ root_hair_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ sarcomere_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ sex_pilus_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ statocyst_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ synaptic_terminal_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ transverse_tubule_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( ~ z_line_filament_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_bilayer_1(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_bilayer_2(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_core_1(fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_bilayer_4(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_bilayer_5(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( cell_1(fn_phospholipid_bilayer_8(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( aqueous_solution_1(fn_phospholipid_bilayer_9(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( angle_value_1(fn_phospholipid_bilayer_12(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_bilayer_13(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( angle_value_1(fn_phospholipid_bilayer_16(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_bilayer_17(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_bilayer_18(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_bilayer_19(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_bilayer_20(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( make_contact_1(fn_phospholipid_bilayer_21(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_bilayer_22(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_bilayer_23(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_1(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_bilayer_25(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_head_1(fn_phospholipid_bilayer_26(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_bilayer_27(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( make_contact_1(fn_phospholipid_bilayer_28(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_bilayer_29(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_compound_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( organic_acid_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( carboxylic_acid_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_bilayer_32(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_1(fn_phospholipid_bilayer_32(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_layer_1(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_layer_1(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_face_1(fn_phospholipid_bilayer_35(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_face_1(fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_head_1(fn_phospholipid_bilayer_37(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_face_1(fn_phospholipid_bilayer_38(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_face_1(fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( restrain_1(fn_phospholipid_bilayer_40(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( water_1(fn_phospholipid_bilayer_41(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( restrain_1(fn_phospholipid_bilayer_42(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( water_1(fn_phospholipid_bilayer_43(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_bilayer_44(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( move_1(fn_phospholipid_bilayer_45(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_bilayer_46(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_interaction_1(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( move_1(fn_phospholipid_bilayer_48(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( entity_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( glycerol_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( alcohol_1(fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_compound_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( organic_acid_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( carboxylic_acid_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_bilayer_51(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( attach_1(fn_phospholipid_bilayer_52(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_bilayer_53(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_bilayer_54(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_1(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_40(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_restrain_1(fn_phospholipid_bilayer_42(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_21(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_make_contact_2(fn_phospholipid_bilayer_28(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_21(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_make_contact_1(fn_phospholipid_bilayer_28(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( property_node_1(fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( angle_value_1(fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( property_node_1(fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_value_1(fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( move_1(fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( lipid_1(fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_face_1(fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( phospholipid_1(fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_face_1(fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_93(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( tangible_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( glycerol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( alcohol_1(fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( attach_1(fn_phospholipid_81(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_chemical_bond_4(fn_phospholipid_bilayer_47(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_92(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_head_1(fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophilic_head_1(fn_phospholipid_88(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_tail_1(fn_phospholipid_90(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hold_together_1(fn_phospholipid_86(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_compound_1(fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( spatial_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( chemical_entity_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( hydrophobic_compound_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( organic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( carboxylic_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fatty_acid_1(fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_55(X19989) != fn_phospholipid_bilayer_32(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_55(X19989) != fn_phospholipid_bilayer_24(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_9(X19989),fn_phospholipid_bilayer_8(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_outside_2(fn_phospholipid_bilayer_9(X19989),fn_phospholipid_bilayer_37(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_outside_2(fn_phospholipid_bilayer_9(X19989),fn_phospholipid_bilayer_26(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_5(X19989),fast_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_5(X19989),action_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( greater_than_or_equal_to_2(fn_phospholipid_bilayer_5(X19989),fn_phospholipid_bilayer_13(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( greater_than_2(fn_phospholipid_bilayer_5(X19989),fn_phospholipid_bilayer_13(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_4(X19989),fast_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_4(X19989),action_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( greater_than_or_equal_to_2(fn_phospholipid_bilayer_4(X19989),fn_phospholipid_bilayer_17(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( greater_than_2(fn_phospholipid_bilayer_4(X19989),fn_phospholipid_bilayer_17(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( origin_2(fn_phospholipid_bilayer_48(X19989),fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( destination_2(fn_phospholipid_bilayer_48(X19989),fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_12(X19989),transversal_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_12(X19989),move_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_13(X19989),slow_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_13(X19989),move_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_46(X19989) != fn_phospholipid_bilayer_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_46(X19989) != fn_phospholipid_bilayer_2(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( destination_2(fn_phospholipid_bilayer_45(X19989),fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( origin_2(fn_phospholipid_bilayer_45(X19989),fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_16(X19989),transversal_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_16(X19989),move_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( the_scalar_value_2(fn_phospholipid_bilayer_17(X19989),slow_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( scalar_unit_class_2(fn_phospholipid_bilayer_17(X19989),move_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_44(X19989) != fn_phospholipid_bilayer_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( agent_2(fn_phospholipid_bilayer_42(X19989),fn_phospholipid_bilayer_38(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( away_from_2(fn_phospholipid_bilayer_42(X19989),fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( agent_2(fn_phospholipid_bilayer_40(X19989),fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( away_from_2(fn_phospholipid_bilayer_40(X19989),fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_function_2(fn_phospholipid_bilayer_39(X19989),fn_phospholipid_bilayer_40(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_function_2(fn_phospholipid_bilayer_38(X19989),fn_phospholipid_bilayer_42(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_at_2(fn_phospholipid_bilayer_37(X19989),fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_between_2(fn_phospholipid_bilayer_3(X19989),fn_phospholipid_bilayer_38(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_between_2(fn_phospholipid_bilayer_3(X19989),fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_36(X19989),fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_along_2(fn_phospholipid_bilayer_36(X19989),fn_phospholipid_bilayer_35(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_along_2(fn_phospholipid_bilayer_35(X19989),fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_35(X19989),fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_along_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_1(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_along_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_2(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_32(X19989) != fn_phospholipid_bilayer_55(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_32(X19989) != fn_phospholipid_bilayer_24(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_32(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_2(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_46(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_44(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_1(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(X19989,fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( exactCardinality(X19989,has_region_0,"2",phospholipid_layer_0)
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(X19989,fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(X19989,fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(X19989,fn_phospholipid_bilayer_3(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_29(X19989),fn_phospholipid_bilayer_19(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_27(X19989),fn_phospholipid_bilayer_25(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_at_2(fn_phospholipid_bilayer_26(X19989),fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_1(X19989) != fn_phospholipid_bilayer_44(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_1(X19989) != fn_phospholipid_bilayer_46(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_1(X19989) != fn_phospholipid_bilayer_2(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_24(X19989) != fn_phospholipid_bilayer_32(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_24(X19989) != fn_phospholipid_bilayer_55(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( abuts_2(fn_phospholipid_bilayer_23(X19989),fn_phospholipid_bilayer_19(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_22(X19989),fn_phospholipid_bilayer_23(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_20(X19989),fn_phospholipid_bilayer_18(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( abuts_2(fn_phospholipid_bilayer_19(X19989),fn_phospholipid_bilayer_23(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_2(X19989) != fn_phospholipid_bilayer_1(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_2(X19989) != fn_phospholipid_bilayer_46(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( is_between_2(fn_phospholipid_bilayer_47(X19989),fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_40(X19989),fn_phospholipid_bilayer_41(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_42(X19989),fn_phospholipid_bilayer_43(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( base_2(fn_phospholipid_bilayer_21(X19989),fn_phospholipid_bilayer_22(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( base_2(fn_phospholipid_bilayer_28(X19989),fn_phospholipid_bilayer_29(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_21(X19989),fn_phospholipid_bilayer_20(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_28(X19989),fn_phospholipid_bilayer_27(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_function_2(fn_phospholipid_bilayer_47(X19989),fn_phospholipid_bilayer_54(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( agent_2(fn_phospholipid_bilayer_54(X19989),fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_between_2(fn_phospholipid_bilayer_47(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_54(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_23(X19989),fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_25(X19989),fn_phospholipid_bilayer_36(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_26(X19989),fn_phospholipid_bilayer_39(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( direction_2(fn_phospholipid_bilayer_48(X19989),fn_phospholipid_bilayer_12(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_34(X19989),fn_phospholipid_bilayer_44(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_48(X19989),fn_phospholipid_bilayer_44(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_2(fn_phospholipid_bilayer_48(X19989),fn_phospholipid_bilayer_13(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( direction_2(fn_phospholipid_bilayer_45(X19989),fn_phospholipid_bilayer_16(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_45(X19989),fn_phospholipid_bilayer_46(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( rate_2(fn_phospholipid_bilayer_45(X19989),fn_phospholipid_bilayer_17(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_35(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_18(X19989),fn_phospholipid_bilayer_35(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_32(X19989),fn_phospholipid_bilayer_18(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_32(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( element_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_46(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_33(X19989),fn_phospholipid_bilayer_38(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_37(X19989),fn_phospholipid_bilayer_38(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_32(X19989),fn_phospholipid_bilayer_37(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_32(X19989),fn_phospholipid_bilayer_19(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( is_inside_2(fn_phospholipid_bilayer_19(X19989),fn_phospholipid_bilayer_35(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( called_2(fn_phospholipid_bilayer_30(X19989),"1")
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(fn_phospholipid_bilayer_55(X19989),fn_phospholipid_bilayer_50(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( called_2(fn_phospholipid_bilayer_50(X19989),"2")
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(fn_phospholipid_bilayer_55(X19989),fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_53(X19989),fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_53(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_51(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_51(X19989),fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(fn_phospholipid_bilayer_55(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_52(X19989),fn_phospholipid_bilayer_30(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( base_2(fn_phospholipid_bilayer_52(X19989),fn_phospholipid_bilayer_49(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_50(X19989) != fn_phospholipid_bilayer_30(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_30(X19989) != fn_phospholipid_bilayer_50(X19989)
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_24(X19989),fn_phospholipid_bilayer_25(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_24(X19989),fn_phospholipid_bilayer_26(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( has_region_2(fn_phospholipid_bilayer_24(X19989),fn_phospholipid_bilayer_23(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( called_2(fn_phospholipid_bilayer_31(X19989),"2")
| ~ phospholipid_bilayer_1(X19989) )
& ( has_part_2(fn_phospholipid_bilayer_24(X19989),fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( object_2(fn_phospholipid_bilayer_54(X19989),fn_phospholipid_bilayer_31(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_31(X19989) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_41(X19989) = fn_restrain_1(fn_phospholipid_bilayer_40(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_43(X19989) = fn_restrain_1(fn_phospholipid_bilayer_42(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_22(X19989) = fn_make_contact_2(fn_phospholipid_bilayer_21(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_29(X19989) = fn_make_contact_2(fn_phospholipid_bilayer_28(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_20(X19989) = fn_make_contact_1(fn_phospholipid_bilayer_21(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_27(X19989) = fn_make_contact_1(fn_phospholipid_bilayer_28(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_30(X19989) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_54(X19989) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_55(X19989) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_23(X19989) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_25(X19989) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_36(X19989) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_26(X19989) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_39(X19989) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_11(X19989) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_12(X19989) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_10(X19989) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_13(X19989) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_48(X19989) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_44(X19989) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_15(X19989) = fn_phospholipid_layer_13(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_16(X19989) = fn_phospholipid_layer_10(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_14(X19989) = fn_phospholipid_layer_14(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_17(X19989) = fn_phospholipid_layer_9(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_45(X19989) = fn_phospholipid_layer_18(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_46(X19989) = fn_phospholipid_layer_20(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_18(X19989) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_35(X19989) = fn_phospholipid_layer_1(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_19(X19989) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_32(X19989) = fn_phospholipid_layer_21(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_37(X19989) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_38(X19989) = fn_phospholipid_layer_2(fn_phospholipid_bilayer_33(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_51(X19989) = fn_phospholipid_86(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_53(X19989) = fn_phospholipid_93(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_49(X19989) = fn_phospholipid_89(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_52(X19989) = fn_phospholipid_81(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_50(X19989) = fn_phospholipid_91(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_30(X19989) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_25(X19989) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_26(X19989) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_23(X19989) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_54(X19989) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_31(X19989) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_bilayer_31(X19989) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_chemical_bond_4(fn_phospholipid_bilayer_47(X19989)) = fn_chemical_bond_4(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_chemical_bond_4(fn_phospholipid_bilayer_47(X19989)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989)) = fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_87(fn_phospholipid_bilayer_55(X19989)) = fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_layer_16(fn_phospholipid_bilayer_34(X19989)) = fn_phospholipid_92(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_92(fn_phospholipid_bilayer_24(X19989)) = fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_layer_17(fn_phospholipid_bilayer_34(X19989)) = fn_phospholipid_88(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_88(fn_phospholipid_bilayer_24(X19989)) = fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_layer_15(fn_phospholipid_bilayer_34(X19989)) = fn_phospholipid_90(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_90(fn_phospholipid_bilayer_24(X19989)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989)) = fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_chemical_bond_3(fn_phospholipid_bilayer_47(X19989)) = fn_phospholipid_86(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_86(fn_phospholipid_bilayer_24(X19989)) = fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_hydrophobic_interaction_2(fn_phospholipid_bilayer_47(X19989)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989)) = fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) )
& ( fn_phospholipid_87(fn_phospholipid_bilayer_24(X19989)) = fn_phospholipid_91(fn_phospholipid_bilayer_24(X19989))
| ~ phospholipid_bilayer_1(X19989) ) ),
inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[c_0_8])])]) ).
fof(c_0_13,negated_conjecture,
~ ~ ? [X2] : cell_1(X2),
inference(assume_negation,[status(cth)],[ask]) ).
fof(c_0_14,plain,
! [X16314] :
( ( original_name_2(X16314,'Cell')
| ~ cell_1(X16314) )
& ( description_2(X16314,'The basic unit from which living organisms are made, consisting of an aqueous solution of organic molecules enclosed by a membrane. All cells arise from existing cells, usually by a process of division into two. (Alberts:ECB:G-3).')
| ~ cell_1(X16314) )
& ( user_description_2(X16314,'The basic unit from which living organisms are made.')
| ~ cell_1(X16314) )
& ( concept2words_2(X16314,cell)
| ~ cell_1(X16314) )
& ( living_entity_1(X16314)
| ~ cell_1(X16314) )
& ( cell_pole_1(fn_cell_1(X16314))
| ~ cell_1(X16314) )
& ( cytoskeleton_1(fn_cell_2(X16314))
| ~ cell_1(X16314) )
& ( surface_1(fn_cell_4(X16314))
| ~ cell_1(X16314) )
& ( shape_value_1(fn_cell_5(X16314))
| ~ cell_1(X16314) )
& ( specific_surface_area_value_1(fn_cell_7(X16314))
| ~ cell_1(X16314) )
& ( motor_protein_1(fn_cell_8(X16314))
| ~ cell_1(X16314) )
& ( protein_enzyme_1(fn_cell_9(X16314))
| ~ cell_1(X16314) )
& ( size_value_1(fn_cell_11(X16314))
| ~ cell_1(X16314) )
& ( structural_complexity_value_1(fn_cell_13(X16314))
| ~ cell_1(X16314) )
& ( ribosome_1(fn_cell_14(X16314))
| ~ cell_1(X16314) )
& ( length_value_1(fn_cell_18(X16314))
| ~ cell_1(X16314) )
& ( length_value_1(fn_cell_19(X16314))
| ~ cell_1(X16314) )
& ( length_value_1(fn_cell_20(X16314))
| ~ cell_1(X16314) )
& ( membrane_potential_1(fn_cell_21(X16314))
| ~ cell_1(X16314) )
& ( volume_value_1(fn_cell_22(X16314))
| ~ cell_1(X16314) )
& ( genome_1(fn_cell_24(X16314))
| ~ cell_1(X16314) )
& ( chromosome_1(fn_cell_25(X16314))
| ~ cell_1(X16314) )
& ( tangible_entity_1(fn_cell_26(X16314))
| ~ cell_1(X16314) )
& ( phospholipid_bilayer_1(fn_cell_26(X16314))
| ~ cell_1(X16314) )
& ( surface_1(fn_cell_27(X16314))
| ~ cell_1(X16314) )
& ( cytoplasmic_side_1(fn_cell_27(X16314))
| ~ cell_1(X16314) )
& ( mixture_1(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( cytoplasm_1(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( substance_1(fn_cell_29(X16314))
| ~ cell_1(X16314) )
& ( cytosol_1(fn_cell_29(X16314))
| ~ cell_1(X16314) )
& ( plasma_membrane_1(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( cell_1(fn_cytoplasm_7(fn_cell_28(X16314)))
| ~ cell_1(X16314) )
& ( cytoplasm_1(fn_cytoplasmic_side_1(fn_cell_27(X16314)))
| ~ cell_1(X16314) )
& ( substance_1(fn_mixture_1(fn_cell_28(X16314)))
| ~ cell_1(X16314) )
& ( cytosol_1(fn_cytoplasm_8(fn_cell_28(X16314)))
| ~ cell_1(X16314) )
& ( tangible_entity_1(fn_biomembrane_63(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( phospholipid_bilayer_1(fn_biomembrane_63(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( tangible_entity_1(fn_plasma_membrane_71(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( phospholipid_bilayer_1(fn_plasma_membrane_71(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( surface_1(fn_biomembrane_47(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( cytoplasmic_side_1(fn_plasma_membrane_66(fn_cell_30(X16314)))
| ~ cell_1(X16314) )
& ( is_across_2(fn_cell_21(X16314),fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( shape_2(X16314,fn_cell_5(X16314))
| ~ cell_1(X16314) )
& ( specific_surface_area_2(X16314,fn_cell_7(X16314))
| ~ cell_1(X16314) )
& ( size_2(X16314,fn_cell_11(X16314))
| ~ cell_1(X16314) )
& ( structural_complexity_2(X16314,fn_cell_13(X16314))
| ~ cell_1(X16314) )
& ( diameter_2(X16314,fn_cell_18(X16314))
| ~ cell_1(X16314) )
& ( volume_2(X16314,fn_cell_22(X16314))
| ~ cell_1(X16314) )
& ( exactCardinality(X16314,has_region_0,"2",cell_pole_0)
| ~ cell_1(X16314) )
& ( has_region_2(X16314,fn_cell_1(X16314))
| ~ cell_1(X16314) )
& ( has_region_2(X16314,fn_cell_4(X16314))
| ~ cell_1(X16314) )
& ( minCardinality(X16314,has_part_0,"1",chromosome_0)
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_2(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_25(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_24(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_8(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_14(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( is_inside_2(fn_cell_28(X16314),fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(fn_cell_28(X16314),fn_cell_9(X16314))
| ~ cell_1(X16314) )
& ( the_cardinal_value_2(fn_cell_20(X16314),"100.0e0")
| ~ cell_1(X16314) )
& ( cardinal_unit_class_2(fn_cell_20(X16314),micrometer_0)
| ~ cell_1(X16314) )
& ( greater_than_or_equal_to_2(fn_cell_20(X16314),fn_cell_18(X16314))
| ~ cell_1(X16314) )
& ( the_cardinal_value_2(fn_cell_19(X16314),"0.1e0")
| ~ cell_1(X16314) )
& ( cardinal_unit_class_2(fn_cell_19(X16314),micrometer_0)
| ~ cell_1(X16314) )
& ( greater_than_or_equal_to_2(fn_cell_18(X16314),fn_cell_19(X16314))
| ~ cell_1(X16314) )
& ( is_inside_2(fn_cell_14(X16314),fn_cell_29(X16314))
| ~ cell_1(X16314) )
& ( the_scalar_value_2(fn_cell_13(X16314),simple_0)
| ~ cell_1(X16314) )
& ( scalar_unit_class_2(fn_cell_13(X16314),organism_0)
| ~ cell_1(X16314) )
& ( directly_proportional_2(fn_cell_11(X16314),fn_cell_22(X16314))
| ~ cell_1(X16314) )
& ( is_oriented_toward_2(fn_cell_27(X16314),fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( is_at_2(fn_cell_26(X16314),fn_cell_4(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(X16314,fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(fn_cell_28(X16314),fn_cell_29(X16314))
| ~ cell_1(X16314) )
& ( has_region_2(fn_cell_30(X16314),fn_cell_27(X16314))
| ~ cell_1(X16314) )
& ( has_part_2(fn_cell_30(X16314),fn_cell_26(X16314))
| ~ cell_1(X16314) )
& ( is_facing_2(fn_cell_27(X16314),fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( X16314 = fn_cytoplasm_7(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_29(X16314) = fn_mixture_1(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_29(X16314) = fn_cytoplasm_8(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_27(X16314) = fn_biomembrane_47(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_27(X16314) = fn_plasma_membrane_66(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_26(X16314) = fn_biomembrane_63(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_26(X16314) = fn_plasma_membrane_71(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_cell_28(X16314) = fn_cytoplasmic_side_1(fn_cell_27(X16314))
| ~ cell_1(X16314) )
& ( fn_mixture_1(fn_cell_28(X16314)) = fn_cytoplasm_8(fn_cell_28(X16314))
| ~ cell_1(X16314) )
& ( fn_cytoplasm_8(fn_cell_28(X16314)) = fn_biomembrane_63(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_biomembrane_63(fn_cell_30(X16314)) = fn_plasma_membrane_71(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_plasma_membrane_71(fn_cell_30(X16314)) = fn_biomembrane_47(fn_cell_30(X16314))
| ~ cell_1(X16314) )
& ( fn_biomembrane_47(fn_cell_30(X16314)) = fn_plasma_membrane_66(fn_cell_30(X16314))
| ~ cell_1(X16314) ) ),
inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[a528132])])]) ).
cnf(c_0_15,plain,
~ aqueous_solution_1(X1),
inference(csr,[status(thm)],[inference(spm,[status(thm)],[c_0_9,c_0_10]),c_0_11]) ).
cnf(c_0_16,plain,
( aqueous_solution_1(fn_phospholipid_bilayer_9(X1))
| ~ phospholipid_bilayer_1(X1) ),
inference(split_conjunct,[status(thm)],[c_0_12]) ).
fof(c_0_17,negated_conjecture,
cell_1(esk1_0),
inference(skolemize,[status(esa)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[c_0_13])])]) ).
cnf(c_0_18,plain,
( phospholipid_bilayer_1(fn_cell_26(X1))
| ~ cell_1(X1) ),
inference(split_conjunct,[status(thm)],[c_0_14]) ).
cnf(c_0_19,plain,
~ phospholipid_bilayer_1(X1),
inference(spm,[status(thm)],[c_0_15,c_0_16]) ).
cnf(c_0_20,negated_conjecture,
cell_1(esk1_0),
inference(split_conjunct,[status(thm)],[c_0_17]) ).
cnf(c_0_21,plain,
~ cell_1(X1),
inference(sr,[status(thm)],[c_0_18,c_0_19]) ).
cnf(c_0_22,negated_conjecture,
$false,
inference(sr,[status(thm)],[c_0_20,c_0_21]),
[proof] ).
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.13 % Problem : BIO005+1 : TPTP v9.2.1. Released v7.4.0.
% 0.00/0.13 % Command : /export/starexec/sandbox/solver/bin/lemma_parallel_prover %s --lemma-prover /export/starexec/sandbox/solver/bin/cse --final-prover /export/starexec/sandbox/solver/bin/eprover --proof-time %d --global-time-limit %d
% 0.15/0.34 % Computer : n018.cluster.edu
% 0.15/0.34 % Model : x86_64 x86_64
% 0.15/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.34 % Memory : 8042.1875MB
% 0.15/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.34 % CPULimit : 300
% 0.15/0.34 % WCLimit : 300
% 0.15/0.34 % DateTime : Tue May 5 10:44:49 EDT 2026
% 0.15/0.34 % CPUTime :
% 0.15/0.35 % start to proof: theBenchmark
% 50.32/50.73 % Warning 104: No lemmas were extracted from the log file '/export/starexec/sandbox/solver/bin/output/initial_lemmas_CSE.log'. Continuing with baseline prover only.
% 138.31/200.23 % Version : CSE_E---1.7
% 138.31/200.23 % Problem : theBenchmark.p
% 138.31/200.23 % SZS status Theorem for theBenchmark.p
% 138.31/200.23 % SZS output start CNFRefutation
% See solution above
% 138.51/200.46 % Total time : 190.745s
%------------------------------------------------------------------------------