0.00/0.03 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.00/0.04 % Command : eprover --delete-bad-limit=2000000000 --definitional-cnf=24 -s --print-statistics -R --print-version --proof-object --auto-schedule --cpu-limit=%d %s 0.03/0.23 % Computer : n136.star.cs.uiowa.edu 0.03/0.23 % Model : x86_64 x86_64 0.03/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz 0.03/0.23 % Memory : 32218.625MB 0.03/0.23 % OS : Linux 3.10.0-693.2.2.el7.x86_64 0.03/0.23 % CPULimit : 300 0.03/0.23 % DateTime : Sat Jul 14 06:04:55 CDT 2018 0.03/0.23 % CPUTime : 0.03/0.24 # Version: 2.2pre001 2.28/2.54 # No SInE strategy applied 2.28/2.54 # Trying AutoSched0 for 150 seconds 96.50/96.76 # AutoSched0-Mode selected heuristic G_E___300_C01_F1_SE_CS_SP_S0Y 96.50/96.76 # and selection function SelectMaxLComplexAvoidPosPred. 96.50/96.76 # 96.50/96.76 # Preprocessing time : 18.630 s 96.50/96.76 96.50/96.76 # Proof found! 96.50/96.76 # SZS status Theorem 96.50/96.76 # SZS output start CNFRefutation 96.50/96.76 fof(a528727, axiom, ![X1]:(covalent_bond_1(X1)=>((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((concept2words_2(X1,'covalently bond')&concept2words_2(X1,'covalently-bond'))&concept2words_2(X1,'covalent bond'))&chemical_bond_1(X1))&~(hydrogen_bond_1(X1)))&asymmetrical_distribution_1(fn_covalent_bond_1(X1)))&intensity_value_1(fn_covalent_bond_2(X1)))&atomic_number_value_1(fn_covalent_bond_6(X1)))&quantity_value_1(fn_covalent_bond_8(X1)))&quantity_value_1(fn_covalent_bond_9(X1)))&attract_1(fn_covalent_bond_10(X1)))&atomic_orbital_1(fn_covalent_bond_13(X1)))&hold_together_1(fn_covalent_bond_14(X1)))&valence_electron_1(fn_covalent_bond_15(X1)))&constant_motion_1(fn_covalent_bond_16(X1)))&share_1(fn_covalent_bond_17(X1)))&entity_1(fn_covalent_bond_19(X1)))&atom_1(fn_covalent_bond_19(X1)))&chemical_entity_1(fn_covalent_bond_20(X1)))&atomic_nucleus_1(fn_covalent_bond_22(X1)))¢er_1(fn_covalent_bond_23(X1)))&atomic_nucleus_1(fn_covalent_bond_24(X1)))&electron_shell_1(fn_atom_9(fn_covalent_bond_20(X1))))¢er_1(fn_atomic_nucleus_3(fn_covalent_bond_24(X1))))&system_1(fn_atom_3(fn_covalent_bond_19(X1))))&quantity_value_1(fn_atom_5(fn_covalent_bond_19(X1))))&equation_set_1(fn_atom_4(fn_covalent_bond_19(X1))))¢er_1(fn_atomic_nucleus_3(fn_covalent_bond_22(X1))))&attract_1(fn_atomic_nucleus_7(fn_covalent_bond_22(X1))))&entity_1(fn_share_2(fn_covalent_bond_17(X1))))&tangible_entity_1(fn_constant_motion_1(fn_covalent_bond_16(X1))))&electron_1(fn_atomic_nucleus_8(fn_covalent_bond_22(X1))))&atomic_number_value_1(fn_atom_17(fn_covalent_bond_19(X1))))&entity_1(fn_share_1(fn_covalent_bond_17(X1))))&proton_1(fn_atomic_nucleus_9(fn_covalent_bond_22(X1))))&quantity_value_1(fn_atom_11(fn_covalent_bond_19(X1))))&quantity_value_1(fn_atomic_nucleus_2(fn_covalent_bond_22(X1))))&fn_covalent_bond_21(X1)!=fn_covalent_bond_23(X1))&fn_covalent_bond_24(X1)!=fn_covalent_bond_22(X1))&fn_covalent_bond_23(X1)!=fn_covalent_bond_21(X1))&the_scalar_value_2(fn_covalent_bond_2(X1),strong_0))&scalar_unit_class_2(fn_covalent_bond_2(X1),chemical_bond_0))&intensity_2(X1,fn_covalent_bond_2(X1)))&object_2(fn_covalent_bond_17(X1),fn_covalent_bond_18(X1)))&object_2(fn_covalent_bond_1(X1),fn_covalent_bond_18(X1)))&fn_covalent_bond_12(X1)!=fn_covalent_bond_11(X1))&object_2(fn_covalent_bond_16(X1),fn_covalent_bond_18(X1)))&agent_2(fn_covalent_bond_17(X1),fn_covalent_bond_20(X1)))&object_2(fn_covalent_bond_17(X1),fn_covalent_bond_15(X1)))&has_function_2(X1,fn_covalent_bond_14(X1)))&agent_2(fn_covalent_bond_14(X1),X1))&has_region_2(fn_covalent_bond_20(X1),fn_covalent_bond_24(X1)))&is_near_2(fn_covalent_bond_15(X1),fn_covalent_bond_24(X1)))&is_near_2(fn_covalent_bond_24(X1),fn_covalent_bond_15(X1)))&has_region_2(fn_covalent_bond_19(X1),fn_covalent_bond_22(X1)))&has_part_2(fn_covalent_bond_19(X1),fn_covalent_bond_4(X1)))&fn_covalent_bond_6(X1)=fn_covalent_bond_8(X1))&atomic_number_2(fn_covalent_bond_19(X1),fn_covalent_bond_6(X1)))&agent_2(fn_covalent_bond_10(X1),fn_covalent_bond_4(X1)))&quantity_2(fn_covalent_bond_4(X1),fn_covalent_bond_8(X1)))&called_2(fn_covalent_bond_8(X1),'Number_Proton'))&fn_covalent_bond_9(X1)=fn_covalent_bond_8(X1))&called_2(fn_covalent_bond_9(X1),'Number_Electron'))&has_region_2(fn_covalent_bond_19(X1),fn_covalent_bond_12(X1)))&is_near_2(fn_covalent_bond_22(X1),fn_covalent_bond_18(X1)))&quantity_2(fn_covalent_bond_18(X1),fn_covalent_bond_9(X1)))&has_part_2(fn_covalent_bond_19(X1),fn_covalent_bond_18(X1)))&is_inside_2(fn_covalent_bond_18(X1),fn_covalent_bond_13(X1)))&has_region_2(fn_covalent_bond_12(X1),fn_covalent_bond_13(X1)))&fn_constant_motion_1(fn_covalent_bond_16(X1))=fn_covalent_bond_18(X1))&fn_covalent_bond_15(X1)=fn_share_2(fn_covalent_bond_17(X1)))&fn_covalent_bond_19(X1)=fn_share_1(fn_covalent_bond_17(X1)))&fn_atom_9(fn_covalent_bond_20(X1))=fn_covalent_bond_11(X1))&fn_chemical_bond_1(X1)=fn_covalent_bond_19(X1))&fn_chemical_bond_4(X1)=fn_covalent_bond_20(X1))&fn_covalent_bond_20(X1)=fn_atomic_nucleus_4(fn_covalent_bond_24(X1)))&fn_covalent_bond_23(X1)=fn_atomic_nucleus_3(fn_covalent_bond_24(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_22(X1))=fn_covalent_bond_18(X1))&fn_atom_14(fn_covalent_bond_19(X1))=fn_covalent_bond_18(X1))&fn_atom_3(fn_covalent_bond_19(X1))=fn_covalent_bond_5(X1))&fn_covalent_bond_9(X1)=fn_atom_5(fn_covalent_bond_19(X1)))&fn_covalent_bond_19(X1)=fn_electron_shell_1(fn_covalent_bond_12(X1)))&fn_covalent_bond_7(X1)=fn_atom_4(fn_covalent_bond_19(X1)))&fn_covalent_bond_21(X1)=fn_atomic_nucleus_3(fn_covalent_bond_22(X1)))&fn_atom_17(fn_covalent_bond_19(X1))=fn_covalent_bond_6(X1))&fn_covalent_bond_19(X1)=fn_atomic_nucleus_4(fn_covalent_bond_22(X1)))&fn_covalent_bond_10(X1)=fn_atomic_nucleus_7(fn_covalent_bond_22(X1)))&fn_covalent_bond_8(X1)=fn_atom_11(fn_covalent_bond_19(X1)))&fn_covalent_bond_8(X1)=fn_atomic_nucleus_2(fn_covalent_bond_22(X1)))&fn_share_3(fn_covalent_bond_17(X1))=fn_share_3(fn_covalent_bond_17(X1)))&fn_atomic_nucleus_4(fn_covalent_bond_24(X1))=fn_share_2(fn_covalent_bond_17(X1)))&fn_constant_motion_1(fn_covalent_bond_16(X1))=fn_atomic_nucleus_8(fn_covalent_bond_24(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_22(X1))=fn_atomic_nucleus_8(fn_covalent_bond_22(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_22(X1))=fn_electron_shell_2(fn_covalent_bond_12(X1)))&fn_electron_shell_2(fn_covalent_bond_12(X1))=fn_electron_shell_2(fn_covalent_bond_12(X1)))&fn_electron_shell_2(fn_covalent_bond_12(X1))=fn_atom_14(fn_covalent_bond_19(X1)))&fn_atom_14(fn_covalent_bond_19(X1))=fn_atom_17(fn_covalent_bond_19(X1)))&fn_atom_17(fn_covalent_bond_19(X1))=fn_atom_17(fn_covalent_bond_19(X1)))&fn_atom_17(fn_covalent_bond_19(X1))=fn_atomic_nucleus_1(fn_covalent_bond_22(X1)))&fn_chemical_bond_1(X1)=fn_share_1(fn_covalent_bond_17(X1)))&fn_electron_shell_1(fn_covalent_bond_12(X1))=fn_electron_shell_1(fn_covalent_bond_12(X1)))&fn_atomic_nucleus_4(fn_covalent_bond_22(X1))=fn_atomic_nucleus_9(fn_covalent_bond_22(X1)))&fn_atomic_nucleus_9(fn_covalent_bond_22(X1))=fn_atom_8(fn_covalent_bond_19(X1)))&fn_atomic_nucleus_2(fn_covalent_bond_22(X1))=fn_atom_11(fn_covalent_bond_19(X1)))&fn_atom_11(fn_covalent_bond_19(X1))=fn_atomic_nucleus_2(fn_covalent_bond_22(X1)))&fn_atom_11(fn_covalent_bond_19(X1))=fn_atom_11(fn_covalent_bond_19(X1)))&fn_atomic_nucleus_9(fn_covalent_bond_22(X1))=fn_atom_11(fn_covalent_bond_19(X1)))&fn_atom_8(fn_covalent_bond_19(X1))=fn_atomic_nucleus_9(fn_covalent_bond_22(X1)))&fn_atomic_nucleus_9(fn_covalent_bond_22(X1))=fn_atomic_nucleus_9(fn_covalent_bond_22(X1)))&fn_atomic_nucleus_4(fn_covalent_bond_22(X1))=fn_atomic_nucleus_4(fn_covalent_bond_22(X1)))&fn_atomic_nucleus_4(fn_covalent_bond_22(X1))=fn_electron_shell_1(fn_covalent_bond_12(X1)))&fn_chemical_bond_1(X1)=fn_electron_shell_1(fn_covalent_bond_12(X1)))&fn_chemical_bond_1(X1)=fn_chemical_bond_1(X1))&fn_share_1(fn_covalent_bond_17(X1))=fn_share_1(fn_covalent_bond_17(X1)))&fn_atomic_nucleus_1(fn_covalent_bond_22(X1))=fn_share_1(fn_covalent_bond_17(X1)))&fn_atom_17(fn_covalent_bond_19(X1))=fn_atomic_nucleus_1(fn_covalent_bond_22(X1)))&fn_electron_shell_2(fn_covalent_bond_12(X1))=fn_atom_14(fn_covalent_bond_19(X1)))&fn_atom_14(fn_covalent_bond_19(X1))=fn_atom_14(fn_covalent_bond_19(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_22(X1))=fn_electron_shell_2(fn_covalent_bond_12(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_22(X1))=fn_constant_motion_1(fn_covalent_bond_16(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_24(X1))=fn_atomic_nucleus_8(fn_covalent_bond_24(X1)))&fn_atomic_nucleus_8(fn_covalent_bond_24(X1))=fn_share_2(fn_covalent_bond_17(X1)))&fn_atomic_nucleus_4(fn_covalent_bond_24(X1))=fn_atomic_nucleus_4(fn_covalent_bond_24(X1)))&fn_chemical_bond_4(X1)=fn_atomic_nucleus_4(fn_covalent_bond_24(X1)))&fn_chemical_bond_4(X1)=fn_chemical_bond_4(X1))&fn_chemical_bond_4(X1)=fn_share_3(fn_covalent_bond_17(X1)))&fn_covalent_bond_4(X1)=fn_atomic_nucleus_9(fn_covalent_bond_22(X1)))&fn_atom_8(fn_covalent_bond_19(X1))=fn_covalent_bond_4(X1))&fn_covalent_bond_6(X1)=fn_atomic_nucleus_1(fn_covalent_bond_22(X1)))&fn_covalent_bond_22(X1)=fn_atom_18(fn_covalent_bond_19(X1)))&fn_atom_9(fn_covalent_bond_19(X1))=fn_covalent_bond_12(X1))&fn_covalent_bond_18(X1)=fn_electron_shell_2(fn_covalent_bond_12(X1)))&fn_electron_shell_3(fn_covalent_bond_12(X1))=fn_covalent_bond_13(X1))&fn_atomic_nucleus_8(fn_covalent_bond_24(X1))=fn_covalent_bond_15(X1))&fn_covalent_bond_14(X1)=fn_chemical_bond_3(X1))&fn_share_3(fn_covalent_bond_17(X1))=fn_covalent_bond_20(X1))&object_2(fn_covalent_bond_10(X1),fn_covalent_bond_18(X1)))&is_near_2(fn_covalent_bond_18(X1),fn_covalent_bond_22(X1)))&fn_covalent_bond_8(X1)=fn_covalent_bond_9(X1))&called_2(fn_covalent_bond_6(X1),'Atomic_Number'))&fn_covalent_bond_8(X1)=fn_covalent_bond_6(X1))&is_at_2(fn_covalent_bond_22(X1),fn_covalent_bond_21(X1)))&has_region_2(fn_covalent_bond_19(X1),fn_covalent_bond_21(X1)))&is_inside_2(fn_covalent_bond_4(X1),fn_covalent_bond_22(X1)))&has_region_2(fn_covalent_bond_20(X1),fn_covalent_bond_23(X1)))&is_at_2(fn_covalent_bond_24(X1),fn_covalent_bond_23(X1)))&has_part_2(fn_covalent_bond_20(X1),fn_covalent_bond_15(X1)))&object_2(fn_covalent_bond_14(X1),fn_covalent_bond_19(X1)))&is_between_2(X1,fn_covalent_bond_19(X1)))&object_2(fn_covalent_bond_14(X1),fn_covalent_bond_20(X1)))&is_between_2(X1,fn_covalent_bond_20(X1)))&has_region_2(fn_covalent_bond_20(X1),fn_covalent_bond_11(X1)))&fn_covalent_bond_19(X1)!=fn_covalent_bond_20(X1))&fn_covalent_bond_20(X1)!=fn_covalent_bond_19(X1))&agent_2(fn_covalent_bond_17(X1),fn_covalent_bond_19(X1)))&fn_covalent_bond_11(X1)!=fn_covalent_bond_12(X1))&causes_2(fn_covalent_bond_16(X1),fn_covalent_bond_1(X1)))&result_2(fn_covalent_bond_17(X1),X1))&fn_covalent_bond_24(X1)!=fn_covalent_bond_22(X1))&proton_1(fn_atom_8(fn_covalent_bond_19(X1))))&atom_1(fn_atomic_nucleus_4(fn_covalent_bond_22(X1))))&atom_1(fn_electron_shell_1(fn_covalent_bond_12(X1))))&atomic_number_value_1(fn_atomic_nucleus_1(fn_covalent_bond_22(X1))))&electron_1(fn_atom_14(fn_covalent_bond_19(X1))))&electron_1(fn_electron_shell_2(fn_covalent_bond_12(X1))))&electron_1(fn_atomic_nucleus_8(fn_covalent_bond_24(X1))))&atom_1(fn_atomic_nucleus_4(fn_covalent_bond_24(X1))))&entity_1(fn_share_3(fn_covalent_bond_17(X1))))&atomic_nucleus_1(fn_atom_18(fn_covalent_bond_19(X1))))&electron_shell_1(fn_atom_9(fn_covalent_bond_19(X1))))&atomic_orbital_1(fn_electron_shell_3(fn_covalent_bond_12(X1))))¢er_1(fn_covalent_bond_21(X1)))&atom_1(fn_covalent_bond_20(X1)))&entity_1(fn_covalent_bond_20(X1)))&chemical_entity_1(fn_covalent_bond_19(X1)))&valence_electron_1(fn_covalent_bond_18(X1)))&electron_shell_1(fn_covalent_bond_12(X1)))&electron_shell_1(fn_covalent_bond_11(X1)))&system_1(fn_covalent_bond_5(X1)))&proton_1(fn_covalent_bond_4(X1)))&~(ionic_bond_1(X1)))&~(hydrophobic_interaction_1(X1)))&concept2words_2(X1,'covalent-bond'))&user_description_2(X1,'A covalent bond is a form of chemical bonding that is characterized by the sharing of pairs of electrons between atoms, and other covalent bonds. In short, the stable balance of attractive and repulsive forces between atoms when they share electrons is known as covalent bonding.'))&original_name_2(X1,'Covalent-Bond'))), file('/export/starexec/sandbox2/benchmark/Axioms/BIO001+0.ax', a528727)). 96.50/96.76 fof(a531835, axiom, ![X1]:(polar_covalent_bond_1(X1)=>((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((original_name_2(X1,'Polar-Covalent-Bond')&concept2words_2(X1,'polar covalent bond'))&concept2words_2(X1,'polar-covalent-bond'))&covalent_bond_1(X1))&~(nonpolar_covalent_bond_1(X1)))&electronegativity_value_1(fn_polar_covalent_bond_1(X1)))&atomic_nucleus_1(fn_polar_covalent_bond_13(X1)))&chemical_entity_1(fn_polar_covalent_bond_18(X1)))&chemical_entity_1(fn_polar_covalent_bond_19(X1)))&atom_1(fn_polar_covalent_bond_19(X1)))&electron_shell_1(fn_polar_covalent_bond_20(X1)))&electron_shell_1(fn_polar_covalent_bond_22(X1)))&equation_set_1(fn_atom_4(fn_polar_covalent_bond_18(X1))))&system_1(fn_atom_3(fn_polar_covalent_bond_18(X1))))&electron_1(fn_atom_14(fn_polar_covalent_bond_18(X1))))&electron_1(fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1))))&atomic_number_value_1(fn_atom_17(fn_polar_covalent_bond_18(X1))))&atomic_number_value_1(fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1))))&proton_1(fn_atom_8(fn_polar_covalent_bond_18(X1))))&atomic_nucleus_1(fn_atom_18(fn_polar_covalent_bond_18(X1))))&electronegativity_2(fn_polar_covalent_bond_19(X1),fn_polar_covalent_bond_1(X1)))&electronegativity_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_2(X1)))&fn_polar_covalent_bond_12(X1)!=fn_polar_covalent_bond_11(X1))&fn_polar_covalent_bond_2(X1)!=fn_polar_covalent_bond_1(X1))&agent_2(fn_polar_covalent_bond_16(X1),fn_polar_covalent_bond_19(X1)))&agent_2(fn_polar_covalent_bond_16(X1),fn_polar_covalent_bond_18(X1)))&object_2(fn_polar_covalent_bond_16(X1),fn_polar_covalent_bond_11(X1)))&is_inside_2(fn_polar_covalent_bond_12(X1),fn_polar_covalent_bond_15(X1)))&result_2(fn_polar_covalent_bond_16(X1),X1))&has_region_2(fn_polar_covalent_bond_19(X1),fn_polar_covalent_bond_22(X1)))&object_2(fn_polar_covalent_bond_17(X1),fn_polar_covalent_bond_19(X1)))&is_between_2(X1,fn_polar_covalent_bond_19(X1)))&has_function_2(X1,fn_polar_covalent_bond_17(X1)))&is_at_2(fn_polar_covalent_bond_14(X1),fn_polar_covalent_bond_23(X1)))&fn_polar_covalent_bond_19(X1)!=fn_polar_covalent_bond_18(X1))&is_near_2(fn_polar_covalent_bond_13(X1),fn_polar_covalent_bond_11(X1)))&fn_polar_covalent_bond_14(X1)!=fn_polar_covalent_bond_13(X1))&fn_polar_covalent_bond_13(X1)!=fn_polar_covalent_bond_14(X1))&has_part_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_11(X1)))&has_region_2(fn_polar_covalent_bond_20(X1),fn_polar_covalent_bond_15(X1)))&fn_polar_covalent_bond_20(X1)!=fn_polar_covalent_bond_22(X1))&called_2(fn_polar_covalent_bond_10(X1),'Number_Electron'))&quantity_2(fn_polar_covalent_bond_5(X1),fn_polar_covalent_bond_9(X1)))&fn_covalent_bond_17(X1)=fn_polar_covalent_bond_16(X1))&fn_covalent_bond_19(X1)=fn_polar_covalent_bond_19(X1))&fn_covalent_bond_14(X1)=fn_polar_covalent_bond_17(X1))&fn_covalent_bond_21(X1)=fn_polar_covalent_bond_21(X1))&fn_polar_covalent_bond_23(X1)=fn_covalent_bond_23(X1))&fn_covalent_bond_15(X1)=fn_polar_covalent_bond_12(X1))&fn_covalent_bond_11(X1)=fn_polar_covalent_bond_22(X1))&fn_covalent_bond_13(X1)=fn_polar_covalent_bond_15(X1))&fn_polar_covalent_bond_11(X1)=fn_atom_14(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_18(X1)=fn_covalent_bond_19(X1))&fn_polar_covalent_bond_20(X1)=fn_atom_9(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_10(X1)=fn_atom_5(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_8(X1)=fn_atom_4(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_6(X1)=fn_atom_3(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_7(X1)=fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1)))&fn_polar_covalent_bond_5(X1)=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1))=fn_polar_covalent_bond_18(X1))&fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1))=fn_polar_covalent_bond_21(X1))&fn_covalent_bond_23(X1)=fn_covalent_bond_23(X1))&fn_covalent_bond_23(X1)=fn_covalent_bond_21(X1))&fn_covalent_bond_19(X1)=fn_covalent_bond_23(X1))&fn_covalent_bond_20(X1)=fn_covalent_bond_20(X1))&fn_covalent_bond_15(X1)=fn_covalent_bond_15(X1))&fn_covalent_bond_18(X1)=fn_covalent_bond_15(X1))&fn_covalent_bond_22(X1)=fn_covalent_bond_15(X1))&fn_covalent_bond_24(X1)=fn_covalent_bond_22(X1))&fn_covalent_bond_11(X1)=fn_covalent_bond_12(X1))&fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1))=fn_atom_14(fn_polar_covalent_bond_18(X1)))&fn_atom_14(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1)))&fn_covalent_bond_15(X1)=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1))=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1))=fn_covalent_bond_15(X1))&fn_covalent_bond_18(X1)=fn_covalent_bond_18(X1))&fn_covalent_bond_18(X1)=fn_covalent_bond_12(X1))&fn_covalent_bond_12(X1)=fn_covalent_bond_12(X1))&fn_covalent_bond_9(X1)=fn_atom_5(fn_polar_covalent_bond_18(X1)))&fn_atom_5(fn_polar_covalent_bond_18(X1))=fn_atom_5(fn_polar_covalent_bond_18(X1)))&fn_atom_11(fn_polar_covalent_bond_18(X1))=fn_atom_11(fn_polar_covalent_bond_18(X1)))&fn_atom_11(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1)))&fn_atom_17(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1)))&fn_atom_17(fn_polar_covalent_bond_18(X1))=fn_atom_17(fn_polar_covalent_bond_18(X1)))&fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1))=fn_atom_17(fn_polar_covalent_bond_18(X1)))&fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1))=fn_atom_8(fn_polar_covalent_bond_18(X1)))&fn_covalent_bond_19(X1)=fn_covalent_bond_20(X1))&fn_covalent_bond_19(X1)=fn_covalent_bond_19(X1))&fn_covalent_bond_19(X1)=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1)))&fn_covalent_bond_21(X1)=fn_covalent_bond_21(X1))&fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1))=fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1))=fn_covalent_bond_22(X1))&fn_covalent_bond_22(X1)=fn_covalent_bond_22(X1))&fn_covalent_bond_22(X1)=fn_atom_18(fn_polar_covalent_bond_18(X1)))&fn_atom_18(fn_polar_covalent_bond_18(X1))=fn_covalent_bond_22(X1))&fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1))=fn_covalent_bond_21(X1))&fn_covalent_bond_21(X1)=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1))=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1))=fn_covalent_bond_19(X1))&fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1))=fn_covalent_bond_20(X1))&fn_atom_8(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1)))&fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1))=fn_atom_8(fn_polar_covalent_bond_18(X1)))&fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1))=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1)))&fn_atom_17(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1)))&fn_atom_11(fn_polar_covalent_bond_18(X1))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1)))&fn_atom_11(fn_polar_covalent_bond_18(X1))=fn_atom_5(fn_polar_covalent_bond_18(X1)))&fn_atom_9(fn_polar_covalent_bond_18(X1))=fn_covalent_bond_9(X1))&fn_covalent_bond_12(X1)=fn_atom_9(fn_polar_covalent_bond_18(X1)))&fn_covalent_bond_15(X1)=fn_covalent_bond_18(X1))&fn_covalent_bond_11(X1)=fn_atom_14(fn_polar_covalent_bond_18(X1)))&fn_covalent_bond_11(X1)=fn_covalent_bond_11(X1))&fn_covalent_bond_24(X1)=fn_covalent_bond_12(X1))&fn_covalent_bond_24(X1)=fn_covalent_bond_24(X1))&fn_covalent_bond_24(X1)=fn_covalent_bond_22(X1))&fn_covalent_bond_18(X1)=fn_covalent_bond_20(X1))&fn_covalent_bond_20(X1)=fn_covalent_bond_19(X1))&fn_covalent_bond_23(X1)=fn_covalent_bond_21(X1))&fn_polar_covalent_bond_5(X1)=fn_atom_8(fn_polar_covalent_bond_18(X1)))&fn_atom_18(fn_polar_covalent_bond_18(X1))=fn_polar_covalent_bond_13(X1))&fn_polar_covalent_bond_7(X1)=fn_atom_17(fn_polar_covalent_bond_18(X1)))&fn_polar_covalent_bond_9(X1)=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1)))&fn_atom_11(fn_polar_covalent_bond_18(X1))=fn_polar_covalent_bond_9(X1))&fn_polar_covalent_bond_11(X1)=fn_covalent_bond_18(X1))&fn_polar_covalent_bond_11(X1)=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1)))&fn_covalent_bond_12(X1)=fn_polar_covalent_bond_20(X1))&fn_covalent_bond_22(X1)=fn_polar_covalent_bond_13(X1))&fn_polar_covalent_bond_14(X1)=fn_covalent_bond_24(X1))&fn_polar_covalent_bond_12(X1)=fn_covalent_bond_18(X1))&fn_polar_covalent_bond_14(X1)=fn_covalent_bond_22(X1))&fn_polar_covalent_bond_19(X1)=fn_covalent_bond_20(X1))&fn_polar_covalent_bond_23(X1)=fn_covalent_bond_21(X1))&fn_covalent_bond_9(X1)=fn_polar_covalent_bond_10(X1))&fn_covalent_bond_12(X1)=fn_polar_covalent_bond_22(X1))&fn_polar_covalent_bond_11(X1)=fn_covalent_bond_15(X1))&fn_covalent_bond_20(X1)=fn_polar_covalent_bond_18(X1))&has_region_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_13(X1)))&is_inside_2(fn_polar_covalent_bond_5(X1),fn_polar_covalent_bond_13(X1)))&has_part_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_5(X1)))&has_region_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_21(X1)))&is_at_2(fn_polar_covalent_bond_13(X1),fn_polar_covalent_bond_21(X1)))&fn_polar_covalent_bond_9(X1)=fn_polar_covalent_bond_7(X1))&fn_polar_covalent_bond_9(X1)=fn_polar_covalent_bond_7(X1))&called_2(fn_polar_covalent_bond_7(X1),'Atomic_Number'))&atomic_number_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_7(X1)))&called_2(fn_polar_covalent_bond_9(X1),'Number_Proton'))&fn_polar_covalent_bond_10(X1)=fn_polar_covalent_bond_9(X1))&fn_polar_covalent_bond_9(X1)=fn_polar_covalent_bond_10(X1))&has_region_2(fn_polar_covalent_bond_18(X1),fn_polar_covalent_bond_20(X1)))&fn_polar_covalent_bond_20(X1)!=fn_polar_covalent_bond_22(X1))&is_inside_2(fn_polar_covalent_bond_11(X1),fn_polar_covalent_bond_15(X1)))&is_between_2(X1,fn_polar_covalent_bond_18(X1)))&is_near_2(fn_polar_covalent_bond_14(X1),fn_polar_covalent_bond_12(X1)))&is_near_2(fn_polar_covalent_bond_12(X1),fn_polar_covalent_bond_14(X1)))&is_near_2(fn_polar_covalent_bond_11(X1),fn_polar_covalent_bond_13(X1)))&fn_polar_covalent_bond_23(X1)!=fn_polar_covalent_bond_21(X1))&fn_polar_covalent_bond_21(X1)!=fn_polar_covalent_bond_23(X1))&has_region_2(fn_polar_covalent_bond_19(X1),fn_polar_covalent_bond_14(X1)))&fn_polar_covalent_bond_18(X1)!=fn_polar_covalent_bond_19(X1))&object_2(fn_polar_covalent_bond_17(X1),fn_polar_covalent_bond_18(X1)))&agent_2(fn_polar_covalent_bond_17(X1),X1))&quantity_2(fn_polar_covalent_bond_11(X1),fn_polar_covalent_bond_10(X1)))&has_region_2(fn_polar_covalent_bond_19(X1),fn_polar_covalent_bond_23(X1)))&has_part_2(fn_polar_covalent_bond_19(X1),fn_polar_covalent_bond_12(X1)))&object_2(fn_polar_covalent_bond_16(X1),fn_polar_covalent_bond_12(X1)))&has_region_2(fn_polar_covalent_bond_22(X1),fn_polar_covalent_bond_15(X1)))&fn_polar_covalent_bond_2(X1)!=fn_polar_covalent_bond_1(X1))&fn_polar_covalent_bond_11(X1)!=fn_polar_covalent_bond_12(X1))¢er_1(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1))))&atom_1(fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1))))&proton_1(fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1))))&quantity_value_1(fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1))))&quantity_value_1(fn_atom_11(fn_polar_covalent_bond_18(X1))))&quantity_value_1(fn_atom_5(fn_polar_covalent_bond_18(X1))))&electron_shell_1(fn_atom_9(fn_polar_covalent_bond_18(X1))))¢er_1(fn_polar_covalent_bond_23(X1)))¢er_1(fn_polar_covalent_bond_21(X1)))&entity_1(fn_polar_covalent_bond_19(X1)))&atom_1(fn_polar_covalent_bond_18(X1)))&entity_1(fn_polar_covalent_bond_18(X1)))&hold_together_1(fn_polar_covalent_bond_17(X1)))&unequal_sharing_1(fn_polar_covalent_bond_16(X1)))&atomic_orbital_1(fn_polar_covalent_bond_15(X1)))&atomic_nucleus_1(fn_polar_covalent_bond_14(X1)))&valence_electron_1(fn_polar_covalent_bond_12(X1)))&valence_electron_1(fn_polar_covalent_bond_11(X1)))&electron_1(fn_polar_covalent_bond_11(X1)))&quantity_value_1(fn_polar_covalent_bond_10(X1)))&quantity_value_1(fn_polar_covalent_bond_9(X1)))&atomic_number_value_1(fn_polar_covalent_bond_7(X1)))&system_1(fn_polar_covalent_bond_6(X1)))&proton_1(fn_polar_covalent_bond_5(X1)))&electronegativity_value_1(fn_polar_covalent_bond_2(X1)))&user_description_2(X1,'A covalent bond between two atoms with different electronegativities. The electrons in the bond are not shared equally and are pulled towards the atom with the stronger electronegativity, resulting in that atom having a slight negative charge relative to the other atom.'))), file('/export/starexec/sandbox2/benchmark/Axioms/BIO001+0.ax', a531835)). 96.50/96.76 fof(a533083, axiom, ![X1]:(synthesis_of_protein_1(X1)=>((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((concept2words_2(X1,convert)&concept2words_2(X1,'synthesis-of-protein'))&~(oxidative_phosphorylation_1(X1)))&~(synthesis_of_amino_acid_1(X1)))&~(synthesis_of_cellulose_1(X1)))&~(synthesis_of_carbohydrate_1(X1)))&~(synthesis_of_coenzyme_1(X1)))&~(synthesis_of_fat_1(X1)))&~(synthesis_of_lipid_1(X1)))&rate_value_1(fn_synthesis_of_protein_1(X1)))&quantity_value_1(fn_synthesis_of_protein_3(X1)))&hydroxyl_group_1(fn_synthesis_of_protein_5(X1)))&chemical_bond_1(fn_synthesis_of_protein_6(X1)))&polar_covalent_bond_1(fn_synthesis_of_protein_6(X1)))&hydrophilic_compound_1(fn_synthesis_of_protein_7(X1)))&molecule_1(fn_synthesis_of_protein_7(X1)))&chemical_entity_1(fn_synthesis_of_protein_7(X1)))&water_molecule_1(fn_synthesis_of_protein_7(X1)))&amino_acid_1(fn_synthesis_of_protein_8(X1)))&polymer_1(fn_synthesis_of_protein_9(X1)))&cell_1(fn_synthesis_of_protein_11(X1)))&post_translational_modification_1(fn_synthesis_of_protein_12(X1)))&translation_1(fn_synthesis_of_protein_13(X1)))&intracellular_process_1(fn_synthesis_of_protein_14(X1)))&translation_elongation_1(fn_synthesis_of_protein_14(X1)))&intracellular_process_1(fn_synthesis_of_protein_15(X1)))&protein_1(fn_synthesis_of_protein_16(X1)))&condensation_reaction_1(fn_synthesis_of_protein_17(X1)))&dehydration_reaction_1(fn_synthesis_of_protein_17(X1)))&tangible_entity_1(fn_synthesis_of_protein_18(X1)))&entity_1(fn_synthesis_of_protein_18(X1)))&hydrogen_1(fn_synthesis_of_protein_18(X1)))&structural_complexity_value_1(fn_synthesis_of_protein_20(X1)))&structural_complexity_value_1(fn_synthesis_of_protein_21(X1)))&free_energy_1(fn_synthesis_of_protein_22(X1)))&hydrophilic_region_1(fn_synthesis_of_protein_23(X1)))&quantity_value_1(fn_synthesis_of_protein_25(X1)))&quantity_value_1(fn_synthesis_of_protein_26(X1)))&amino_acid_1(fn_synthesis_of_protein_31(X1)))&free_energy_1(fn_synthesis_of_protein_38(X1)))&structural_complexity_value_1(fn_synthesis_of_protein_39(X1)))&monomer_1(fn_synthesis_of_protein_41(X1)))&chemical_entity_1(fn_synthesis_of_protein_45(X1)))&hydroxyl_group_1(fn_dehydration_reaction_5(fn_synthesis_of_protein_17(X1))))&property_node_1(fn_translation_37(fn_synthesis_of_protein_13(X1))))&translation_elongation_1(fn_translation_8(fn_synthesis_of_protein_13(X1))))&translation_termination_1(fn_translation_19(fn_synthesis_of_protein_13(X1))))&monomer_1(fn_translation_15(fn_synthesis_of_protein_13(X1))))&monomer_1(fn_translation_14(fn_synthesis_of_protein_13(X1))))&free_energy_1(fn_translation_28(fn_synthesis_of_protein_13(X1))))&molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X1))))&structural_complexity_value_1(fn_translation_29(fn_synthesis_of_protein_13(X1))))&cell_1(fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X1))))&cell_1(fn_intracellular_process_1(fn_synthesis_of_protein_15(X1))))&entity_1(fn_attract_2(fn_synthesis_of_protein_24(X1))))&chemical_entity_1(fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X1))))&oxygen_1(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))))&chemical_bond_1(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1))))&molecule_1(fn_condensation_reaction_1(fn_synthesis_of_protein_17(X1))))&chemical_entity_1(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))))&molecule_1(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))))&molecule_1(fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1))))&ribosome_1(fn_translation_20(fn_synthesis_of_protein_13(X1))))&entity_1(fn_polar_molecule_2(fn_synthesis_of_protein_7(X1))))&atom_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X1))))&hydrogen_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X1))))&tangible_entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X1))))&entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X1))))&chemical_entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X1))))&quantity_value_1(fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X1))))&quantity_value_1(fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X1))))&water_molecule_1(fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1))))&synthesis_of_protein_1(fn_ribosome_2(fn_synthesis_of_protein_10(X1))))&chemical_reaction_1(fn_reactant_2(fn_synthesis_of_protein_30(X1))))&directly_proportional_2(fn_synthesis_of_protein_3(X1),fn_synthesis_of_protein_1(X1)))&subevent_2(X1,fn_synthesis_of_protein_13(X1)))&rate_2(X1,fn_synthesis_of_protein_1(X1)))&raw_material_2(X1,fn_synthesis_of_protein_31(X1)))&site_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_10(X1)))&instrument_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_10(X1)))&the_scalar_value_2(fn_synthesis_of_protein_20(X1),complex_0))&structural_complexity_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_21(X1)))&agent_2(fn_synthesis_of_protein_24(X1),fn_synthesis_of_protein_23(X1)))&base_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_11(X1)))&has_function_2(fn_synthesis_of_protein_10(X1),X1))&base_2(fn_synthesis_of_protein_15(X1),fn_synthesis_of_protein_11(X1)))&fn_synthesis_of_protein_8(X1)!=fn_synthesis_of_protein_31(X1))&is_inside_2(fn_synthesis_of_protein_28(X1),fn_synthesis_of_protein_5(X1)))&has_part_2(fn_synthesis_of_protein_16(X1),fn_synthesis_of_protein_29(X1)))&result_2(fn_synthesis_of_protein_17(X1),fn_synthesis_of_protein_16(X1)))&has_function_2(fn_synthesis_of_protein_7(X1),fn_synthesis_of_protein_24(X1)))&possesses_2(fn_synthesis_of_protein_8(X1),fn_synthesis_of_protein_22(X1)))&has_part_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_28(X1)))&has_state_2(fn_synthesis_of_protein_8(X1),fn_synthesis_of_protein_29(X1)))&possesses_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_6(X1)))&fn_synthesis_of_protein_8(X1)!=fn_synthesis_of_protein_7(X1))&fn_synthesis_of_protein_7(X1)!=fn_synthesis_of_protein_31(X1))&next_event_2(fn_synthesis_of_protein_14(X1),fn_synthesis_of_protein_44(X1)))&instrument_2(fn_synthesis_of_protein_14(X1),fn_synthesis_of_protein_10(X1)))&causes_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_40(X1)))&subevent_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_14(X1)))&first_subevent_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_15(X1)))&subevent_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_43(X1)))&raw_material_2(fn_synthesis_of_protein_43(X1),fn_synthesis_of_protein_42(X1)))&subevent_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_15(X1)))&site_2(fn_synthesis_of_protein_15(X1),fn_synthesis_of_protein_10(X1)))&fn_synthesis_of_protein_45(X1)!=fn_synthesis_of_protein_42(X1))&subevent_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_44(X1)))&fn_synthesis_of_protein_42(X1)!=fn_synthesis_of_protein_41(X1))&has_part_2(fn_synthesis_of_protein_9(X1),fn_synthesis_of_protein_36(X1)))&result_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_9(X1)))&structural_complexity_2(fn_synthesis_of_protein_9(X1),fn_synthesis_of_protein_39(X1)))&called_2(fn_synthesis_of_protein_26(X1),'FE_r'))&called_2(fn_synthesis_of_protein_25(X1),'FE_p'))&result_2(X1,fn_synthesis_of_protein_7(X1)))&has_part_2(fn_synthesis_of_protein_7(X1),fn_synthesis_of_protein_18(X1)))&subevent_2(X1,fn_synthesis_of_protein_17(X1)))&result_2(fn_synthesis_of_protein_17(X1),fn_synthesis_of_protein_7(X1)))&possesses_2(fn_synthesis_of_protein_7(X1),fn_synthesis_of_protein_19(X1)))&greater_than_2(fn_synthesis_of_protein_25(X1),fn_synthesis_of_protein_26(X1)))&fn_attract_2(fn_synthesis_of_protein_24(X1))=fn_synthesis_of_protein_23(X1))&fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1))=fn_synthesis_of_protein_9(X1))&X1=fn_ribosome_2(fn_synthesis_of_protein_10(X1)))&fn_metabolic_pathway_1(X1)=fn_synthesis_of_protein_11(X1))&fn_synthesis_of_protein_5(X1)=fn_dehydration_reaction_5(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_8(X1)=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_8(X1)=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1)))&fn_hydrophilic_compound_2(fn_synthesis_of_protein_7(X1))=fn_synthesis_of_protein_24(X1))&fn_synthesis_of_protein_34(X1)=fn_anabolic_pathway_1(X1))&fn_anabolic_pathway_4(X1)=fn_synthesis_of_protein_21(X1))&fn_synthesis_of_protein_20(X1)=fn_anabolic_pathway_3(X1))&fn_anabolic_pathway_5(X1)=fn_synthesis_of_protein_16(X1))&fn_synthesis_of_protein_31(X1)=fn_polymer_synthesis_22(X1))&fn_polymer_synthesis_7(X1)=fn_synthesis_of_protein_29(X1))&fn_synthesis_of_protein_28(X1)=fn_polymer_synthesis_13(X1))&fn_polymer_synthesis_15(X1)=fn_synthesis_of_protein_6(X1))&fn_condensation_reaction_1(fn_synthesis_of_protein_17(X1))=fn_synthesis_of_protein_31(X1))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_synthesis_of_protein_31(X1))&X1=fn_reactant_2(fn_synthesis_of_protein_30(X1)))&fn_synthesis_of_protein_8(X1)=fn_polymer_synthesis_22(X1))&fn_synthesis_of_protein_8(X1)=fn_polymer_synthesis_20(X1))&fn_translation_37(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_46(X1))&fn_translation_12(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_43(X1))&fn_synthesis_of_protein_40(X1)=fn_translation_21(fn_synthesis_of_protein_13(X1)))&fn_translation_15(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_36(X1))&fn_translation_11(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_41(X1))&fn_translation_36(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_42(X1))&fn_translation_14(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_37(X1))&fn_translation_29(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_39(X1))&fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_9(X1))&fn_synthesis_of_protein_32(X1)=fn_polymer_synthesis_5(X1))&fn_polymer_synthesis_21(X1)=fn_synthesis_of_protein_18(X1))&fn_synthesis_of_protein_26(X1)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_19(X1)=fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_17(X1)=fn_polymer_synthesis_24(X1))&fn_intracellular_process_1(fn_synthesis_of_protein_15(X1))=fn_attract_2(fn_synthesis_of_protein_24(X1)))&fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1))=fn_attract_2(fn_synthesis_of_protein_24(X1)))&fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1))=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X1)))&fn_anabolic_pathway_5(X1)=fn_polymer_synthesis_23(X1))&fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))=fn_anabolic_pathway_5(X1))&fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_13(X1))&fn_polymer_synthesis_12(X1)=fn_polymer_synthesis_13(X1))&fn_polymer_synthesis_12(X1)=fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_15(X1))&fn_polymer_synthesis_15(X1)=fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1)))&fn_condensation_reaction_1(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_condensation_reaction_1(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_22(X1))&fn_polymer_synthesis_20(X1)=fn_polymer_synthesis_22(X1))&fn_polymer_synthesis_20(X1)=fn_polymer_synthesis_22(X1))&fn_polymer_synthesis_20(X1)=fn_reactant_3(fn_synthesis_of_protein_30(X1)))&fn_reactant_3(fn_synthesis_of_protein_30(X1))=fn_polymer_synthesis_22(X1))&fn_polymer_synthesis_22(X1)=fn_polymer_synthesis_22(X1))&fn_condensation_reaction_2(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_22(X1))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1)))&fn_translation_17(fn_synthesis_of_protein_13(X1))=fn_translation_20(fn_synthesis_of_protein_13(X1)))&fn_translation_17(fn_synthesis_of_protein_13(X1))=fn_translation_17(fn_synthesis_of_protein_13(X1)))&fn_translation_17(fn_synthesis_of_protein_13(X1))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1)))&fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X1))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1)))&fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1))=fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X1)))&fn_translation_23(fn_synthesis_of_protein_13(X1))=fn_translation_23(fn_synthesis_of_protein_13(X1)))&fn_polymer_synthesis_18(X1)=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X1)))&fn_water_molecule_63(fn_synthesis_of_protein_7(X1))=fn_water_molecule_63(fn_synthesis_of_protein_7(X1)))&fn_water_molecule_63(fn_synthesis_of_protein_7(X1))=fn_water_molecule_64(fn_synthesis_of_protein_7(X1)))&fn_water_molecule_64(fn_synthesis_of_protein_7(X1))=fn_water_molecule_64(fn_synthesis_of_protein_7(X1)))&fn_polymer_synthesis_21(X1)=fn_water_molecule_64(fn_synthesis_of_protein_7(X1)))&fn_polymer_synthesis_10(X1)=fn_polymer_synthesis_10(X1))&fn_polymer_synthesis_10(X1)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X1)))&fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_19(X1))&fn_polymer_synthesis_19(X1)=fn_polymer_synthesis_19(X1))&fn_polymer_synthesis_19(X1)=fn_condensation_reaction_3(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1)))&fn_condensation_reaction_3(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_11(X1))&fn_polymer_synthesis_11(X1)=fn_polymer_synthesis_11(X1))&fn_reactant_2(fn_synthesis_of_protein_30(X1))=fn_reactant_2(fn_synthesis_of_protein_30(X1)))&fn_ribosome_2(fn_synthesis_of_protein_10(X1))=fn_reactant_2(fn_synthesis_of_protein_30(X1)))&fn_polymer_synthesis_11(X1)=fn_ribosome_2(fn_synthesis_of_protein_10(X1)))&fn_polymer_synthesis_11(X1)=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1)))&fn_condensation_reaction_3(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1)))&fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_19(X1))&fn_polymer_synthesis_9(X1)=fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X1)))&fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_9(X1))&fn_polymer_synthesis_9(X1)=fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X1)))&fn_polymer_synthesis_9(X1)=fn_polymer_synthesis_9(X1))&fn_polymer_synthesis_10(X1)=fn_polymer_synthesis_9(X1))&fn_polymer_synthesis_10(X1)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X1)))&fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_21(X1))&fn_water_molecule_63(fn_synthesis_of_protein_7(X1))=fn_polar_molecule_2(fn_synthesis_of_protein_7(X1)))&fn_polymer_synthesis_18(X1)=fn_polar_molecule_2(fn_synthesis_of_protein_7(X1)))&fn_polymer_synthesis_18(X1)=fn_polymer_synthesis_18(X1))&fn_translation_23(fn_synthesis_of_protein_13(X1))=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X1)))&fn_translation_23(fn_synthesis_of_protein_13(X1))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1)))&fn_ribosome_6(fn_synthesis_of_protein_10(X1))=fn_translation_17(fn_synthesis_of_protein_13(X1)))&fn_ribosome_6(fn_synthesis_of_protein_10(X1))=fn_translation_17(fn_synthesis_of_protein_13(X1)))&fn_translation_20(fn_synthesis_of_protein_13(X1))=fn_translation_initiation_11(fn_synthesis_of_protein_15(X1)))&fn_translation_initiation_11(fn_synthesis_of_protein_15(X1))=fn_translation_20(fn_synthesis_of_protein_13(X1)))&fn_polymer_synthesis_20(X1)=fn_translation_20(fn_synthesis_of_protein_13(X1)))&fn_polymer_synthesis_20(X1)=fn_polymer_synthesis_20(X1))&fn_polymer_synthesis_20(X1)=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1))=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X1)))&fn_polymer_synthesis_22(X1)=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X1)))&fn_polymer_synthesis_22(X1)=fn_reactant_3(fn_synthesis_of_protein_30(X1)))&fn_polymer_synthesis_20(X1)=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1)))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_22(X1))&fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_15(X1))&fn_polymer_synthesis_15(X1)=fn_polymer_synthesis_15(X1))&fn_polymer_synthesis_12(X1)=fn_polymer_synthesis_13(X1))&fn_polymer_synthesis_13(X1)=fn_polymer_synthesis_13(X1))&fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))=fn_polymer_synthesis_13(X1))&fn_polymer_synthesis_23(X1)=fn_anabolic_pathway_5(X1))&fn_polymer_synthesis_23(X1)=fn_polymer_synthesis_23(X1))&fn_polymer_synthesis_23(X1)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X1)))&fn_polymer_synthesis_23(X1)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X1)))&fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1))=fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1)))&fn_intracellular_process_1(fn_synthesis_of_protein_15(X1))=fn_metabolic_pathway_1(X1))&fn_metabolic_pathway_1(X1)=fn_intracellular_process_1(fn_synthesis_of_protein_14(X1)))&fn_intracellular_process_1(fn_synthesis_of_protein_14(X1))=fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X1)))&fn_synthesis_of_protein_7(X1)=fn_polymer_synthesis_11(X1))&fn_synthesis_of_protein_7(X1)=fn_condensation_reaction_3(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_19(X1)=fn_polymer_synthesis_19(X1))&fn_synthesis_of_protein_25(X1)=fn_polymer_synthesis_9(X1))&fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X1))=fn_synthesis_of_protein_25(X1))&fn_synthesis_of_protein_26(X1)=fn_polymer_synthesis_10(X1))&fn_synthesis_of_protein_18(X1)=fn_water_molecule_64(fn_synthesis_of_protein_7(X1)))&fn_synthesis_of_protein_18(X1)=fn_water_molecule_63(fn_synthesis_of_protein_7(X1)))&fn_polar_molecule_2(fn_synthesis_of_protein_7(X1))=fn_synthesis_of_protein_18(X1))&fn_polymer_synthesis_18(X1)=fn_synthesis_of_protein_22(X1))&fn_polymer_synthesis_6(X1)=fn_synthesis_of_protein_33(X1))&fn_synthesis_of_protein_9(X1)=fn_translation_23(fn_synthesis_of_protein_13(X1)))&fn_synthesis_of_protein_45(X1)=fn_translation_16(fn_synthesis_of_protein_13(X1)))&fn_synthesis_of_protein_38(X1)=fn_translation_28(fn_synthesis_of_protein_13(X1)))&fn_synthesis_of_protein_44(X1)=fn_translation_19(fn_synthesis_of_protein_13(X1)))&fn_translation_17(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_15(X1))&fn_translation_20(fn_synthesis_of_protein_13(X1))=fn_synthesis_of_protein_10(X1))&fn_translation_initiation_11(fn_synthesis_of_protein_15(X1))=fn_synthesis_of_protein_10(X1))&fn_synthesis_of_protein_15(X1)=fn_ribosome_6(fn_synthesis_of_protein_10(X1)))&fn_synthesis_of_protein_14(X1)=fn_translation_8(fn_synthesis_of_protein_13(X1)))&fn_synthesis_of_protein_8(X1)=fn_reactant_3(fn_synthesis_of_protein_30(X1)))&fn_synthesis_of_protein_7(X1)=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_8(X1)=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_31(X1)=fn_polymer_synthesis_20(X1))&fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1))=fn_synthesis_of_protein_6(X1))&fn_synthesis_of_protein_28(X1)=fn_polymer_synthesis_12(X1))&fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))=fn_synthesis_of_protein_28(X1))&fn_polymer_synthesis_23(X1)=fn_synthesis_of_protein_16(X1))&fn_anabolic_pathway_2(X1)=fn_synthesis_of_protein_35(X1))&fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1))=fn_synthesis_of_protein_23(X1))&fn_polymer_synthesis_8(X1)=fn_synthesis_of_protein_27(X1))&fn_synthesis_of_protein_16(X1)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_22(X1)=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X1)))&fn_synthesis_of_protein_11(X1)=fn_intracellular_process_1(fn_synthesis_of_protein_15(X1)))&fn_synthesis_of_protein_11(X1)=fn_intracellular_process_1(fn_synthesis_of_protein_14(X1)))&fn_synthesis_of_protein_11(X1)=fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X1)))&quantity_2(fn_synthesis_of_protein_19(X1),fn_synthesis_of_protein_25(X1)))&quantity_2(fn_synthesis_of_protein_22(X1),fn_synthesis_of_protein_26(X1)))&possesses_2(fn_synthesis_of_protein_9(X1),fn_synthesis_of_protein_38(X1)))&possesses_2(fn_synthesis_of_protein_45(X1),fn_synthesis_of_protein_38(X1)))&structural_complexity_2(fn_synthesis_of_protein_45(X1),fn_synthesis_of_protein_39(X1)))&fn_synthesis_of_protein_42(X1)!=fn_synthesis_of_protein_41(X1))&has_state_2(fn_synthesis_of_protein_41(X1),fn_synthesis_of_protein_36(X1)))&has_state_2(fn_synthesis_of_protein_42(X1),fn_synthesis_of_protein_37(X1)))&has_part_2(fn_synthesis_of_protein_9(X1),fn_synthesis_of_protein_37(X1)))&fn_synthesis_of_protein_45(X1)!=fn_synthesis_of_protein_42(X1))&object_2(fn_synthesis_of_protein_40(X1),fn_synthesis_of_protein_9(X1)))&result_2(fn_synthesis_of_protein_44(X1),fn_synthesis_of_protein_9(X1)))&result_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_45(X1)))&raw_material_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_42(X1)))&next_event_2(fn_synthesis_of_protein_15(X1),fn_synthesis_of_protein_14(X1)))&causes_2(fn_synthesis_of_protein_44(X1),fn_synthesis_of_protein_40(X1)))&raw_material_2(fn_synthesis_of_protein_13(X1),fn_synthesis_of_protein_41(X1)))&result_2(fn_synthesis_of_protein_43(X1),fn_synthesis_of_protein_45(X1)))&result_2(fn_synthesis_of_protein_43(X1),fn_synthesis_of_protein_9(X1)))&is_between_2(fn_synthesis_of_protein_6(X1),fn_synthesis_of_protein_28(X1)))&fn_synthesis_of_protein_7(X1)!=fn_synthesis_of_protein_31(X1))&fn_synthesis_of_protein_8(X1)!=fn_synthesis_of_protein_7(X1))&raw_material_2(X1,fn_synthesis_of_protein_8(X1)))&raw_material_2(fn_synthesis_of_protein_17(X1),fn_synthesis_of_protein_31(X1)))&greater_than_2(fn_synthesis_of_protein_20(X1),fn_synthesis_of_protein_21(X1)))&structural_complexity_2(fn_synthesis_of_protein_16(X1),fn_synthesis_of_protein_20(X1)))&result_2(X1,fn_synthesis_of_protein_16(X1)))&site_2(fn_synthesis_of_protein_24(X1),fn_synthesis_of_protein_23(X1)))&has_region_2(fn_synthesis_of_protein_7(X1),fn_synthesis_of_protein_23(X1)))&has_state_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_27(X1)))&has_part_2(fn_synthesis_of_protein_16(X1),fn_synthesis_of_protein_27(X1)))&possesses_2(fn_synthesis_of_protein_16(X1),fn_synthesis_of_protein_19(X1)))&fn_synthesis_of_protein_31(X1)!=fn_synthesis_of_protein_8(X1))&has_region_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_5(X1)))&raw_material_2(fn_synthesis_of_protein_17(X1),fn_synthesis_of_protein_8(X1)))&possesses_2(fn_synthesis_of_protein_31(X1),fn_synthesis_of_protein_22(X1)))&in_event_2(fn_synthesis_of_protein_30(X1),X1))&base_2(X1,fn_synthesis_of_protein_11(X1)))&base_2(fn_synthesis_of_protein_14(X1),fn_synthesis_of_protein_11(X1)))&object_2(fn_synthesis_of_protein_12(X1),fn_synthesis_of_protein_9(X1)))&plays_2(fn_synthesis_of_protein_8(X1),fn_synthesis_of_protein_30(X1)))&scalar_unit_class_2(fn_synthesis_of_protein_20(X1),polypeptide_0))&first_subevent_2(X1,fn_synthesis_of_protein_13(X1)))&subevent_2(X1,fn_synthesis_of_protein_12(X1)))&quantity_2(fn_synthesis_of_protein_10(X1),fn_synthesis_of_protein_3(X1)))&structural_complexity_2(fn_synthesis_of_protein_8(X1),fn_synthesis_of_protein_21(X1)))&structural_complexity_2(fn_synthesis_of_protein_7(X1),fn_synthesis_of_protein_20(X1)))&molecule_1(fn_condensation_reaction_3(fn_synthesis_of_protein_17(X1))))&free_energy_1(fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X1))))&hydrogen_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X1))))&atom_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X1))))&entity_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X1))))&atom_1(fn_polar_molecule_2(fn_synthesis_of_protein_7(X1))))&free_energy_1(fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X1))))&polypeptide_1(fn_translation_23(fn_synthesis_of_protein_13(X1))))&chemical_entity_1(fn_translation_23(fn_synthesis_of_protein_13(X1))))&polymer_1(fn_translation_23(fn_synthesis_of_protein_13(X1))))&polypeptide_1(fn_post_translational_modification_10(fn_synthesis_of_protein_12(X1))))&chemical_entity_1(fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X1))))&translation_initiation_1(fn_translation_17(fn_synthesis_of_protein_13(X1))))&translation_initiation_1(fn_ribosome_6(fn_synthesis_of_protein_10(X1))))&ribosome_1(fn_translation_initiation_11(fn_synthesis_of_protein_15(X1))))&molecule_1(fn_condensation_reaction_2(fn_synthesis_of_protein_17(X1))))&chemical_entity_1(fn_reactant_3(fn_synthesis_of_protein_30(X1))))&polar_covalent_bond_1(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X1))))&atom_1(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X1))))&hydrophilic_region_1(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X1))))&cell_1(fn_intracellular_process_1(fn_synthesis_of_protein_14(X1))))&water_molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X1))))&chemical_entity_1(fn_translation_16(fn_synthesis_of_protein_13(X1))))&polar_molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X1))))&monomer_1(fn_translation_36(fn_synthesis_of_protein_13(X1))))&monomer_1(fn_translation_11(fn_synthesis_of_protein_13(X1))))&decrease_1(fn_translation_21(fn_synthesis_of_protein_13(X1))))&dehydration_reaction_1(fn_translation_12(fn_synthesis_of_protein_13(X1))))&attract_1(fn_hydrophilic_compound_2(fn_synthesis_of_protein_7(X1))))&water_molecule_1(fn_synthesis_of_protein_45(X1)))&polar_molecule_1(fn_synthesis_of_protein_45(X1)))&molecule_1(fn_synthesis_of_protein_45(X1)))&translation_termination_1(fn_synthesis_of_protein_44(X1)))&dehydration_reaction_1(fn_synthesis_of_protein_43(X1)))&monomer_1(fn_synthesis_of_protein_42(X1)))&decrease_1(fn_synthesis_of_protein_40(X1)))&monomer_1(fn_synthesis_of_protein_37(X1)))&monomer_1(fn_synthesis_of_protein_36(X1)))&reactant_1(fn_synthesis_of_protein_30(X1)))&monomer_1(fn_synthesis_of_protein_29(X1)))&oxygen_1(fn_synthesis_of_protein_28(X1)))&atom_1(fn_synthesis_of_protein_28(X1)))&chemical_entity_1(fn_synthesis_of_protein_28(X1)))&entity_1(fn_synthesis_of_protein_28(X1)))&monomer_1(fn_synthesis_of_protein_27(X1)))&attract_1(fn_synthesis_of_protein_24(X1)))&entity_1(fn_synthesis_of_protein_23(X1)))&free_energy_1(fn_synthesis_of_protein_19(X1)))&atom_1(fn_synthesis_of_protein_18(X1)))&chemical_entity_1(fn_synthesis_of_protein_18(X1)))&endergonic_reaction_1(fn_synthesis_of_protein_17(X1)))&translation_initiation_1(fn_synthesis_of_protein_15(X1)))&ribosome_1(fn_synthesis_of_protein_10(X1)))&polypeptide_1(fn_synthesis_of_protein_9(X1)))&chemical_entity_1(fn_synthesis_of_protein_9(X1)))&polar_molecule_1(fn_synthesis_of_protein_7(X1)))&~(synthesis_of_inosine_1(X1)))&~(synthesis_of_fatty_acid_1(X1)))&polymer_synthesis_1(X1))&concept2words_2(X1,'synthesis of protein'))&concept2words_2(X1,'protein-synthesis'))&concept2words_2(X1,synthesize))&concept2words_2(X1,'protein synthesis'))&user_description_2(X1,'The process by which a protein molecule is synthesized from amino acids at a ribosome.'))&original_name_2(X1,'Synthesis-Of-Protein'))), file('/export/starexec/sandbox2/benchmark/Axioms/BIO001+0.ax', a533083)). 96.50/96.76 fof(a532358, axiom, ![X1]:(((((((((((((((((((((((((((((((((((((((((((((((((user_description_2(X1,'Ribosome is a cellular component made up of rRNA and Proteins. It is primarily involved in protein synthesis.')&cellular_structure_1(X1))&synthesis_of_protein_1(fn_ribosome_2(X1)))&e_site_1(fn_ribosome_4(X1)))&size_value_1(fn_ribosome_5(X1)))&initiator_trna_1(fn_ribosome_7(X1)))&a_site_1(fn_ribosome_8(X1)))&initiator_trna_1(fn_translation_initiation_13(fn_ribosome_6(X1))))&ribosome_1(fn_a_site_3(fn_ribosome_8(X1))))&methionine_1(fn_translation_initiation_4(fn_ribosome_6(X1))))&attach_1(fn_translation_initiation_10(fn_ribosome_6(X1))))&attach_1(fn_translation_initiation_8(fn_ribosome_6(X1))))&the_scalar_value_2(fn_ribosome_5(X1),tiny_0))&agent_2(fn_ribosome_9(X1),X1))&size_2(X1,fn_ribosome_5(X1)))&has_part_2(X1,fn_ribosome_3(X1)))&site_2(fn_ribosome_6(X1),X1))&subevent_2(fn_ribosome_6(X1),fn_ribosome_9(X1)))&is_at_2(fn_ribosome_10(X1),fn_ribosome_7(X1)))&fn_move_1(fn_ribosome_11(X1))=fn_ribosome_10(X1))&fn_a_site_3(fn_ribosome_8(X1))=X1)&fn_translation_initiation_11(fn_ribosome_6(X1))=X1)&fn_ribosome_10(X1)=fn_translation_initiation_4(fn_ribosome_6(X1)))&fn_translation_initiation_8(fn_ribosome_6(X1))=fn_ribosome_9(X1))&fn_a_site_3(fn_ribosome_8(X1))=fn_translation_initiation_11(fn_ribosome_6(X1)))&fn_move_1(fn_ribosome_11(X1))=fn_translation_initiation_11(fn_ribosome_6(X1)))&fn_translation_initiation_10(fn_ribosome_6(X1))=fn_translation_initiation_8(fn_ribosome_6(X1)))&fn_translation_initiation_8(fn_ribosome_6(X1))=fn_translation_initiation_10(fn_ribosome_6(X1)))&fn_translation_initiation_4(fn_ribosome_6(X1))=fn_translation_initiation_8(fn_ribosome_6(X1)))&fn_move_1(fn_ribosome_11(X1))=fn_translation_initiation_4(fn_ribosome_6(X1)))&fn_ribosome_9(X1)=fn_translation_initiation_10(fn_ribosome_6(X1)))&fn_translation_initiation_13(fn_ribosome_6(X1))=fn_ribosome_7(X1))&object_2(fn_ribosome_9(X1),fn_ribosome_7(X1)))&has_region_2(X1,fn_ribosome_8(X1)))&object_2(fn_ribosome_11(X1),fn_ribosome_10(X1)))&has_region_2(X1,fn_ribosome_4(X1)))&has_function_2(X1,fn_ribosome_2(X1)))&destination_2(fn_ribosome_11(X1),X1))&scalar_unit_class_2(fn_ribosome_5(X1),eukaryotic_cell_structure_0))&spatial_entity_1(fn_move_1(fn_ribosome_11(X1))))&ribosome_1(fn_translation_initiation_11(fn_ribosome_6(X1))))&move_1(fn_ribosome_11(X1)))&methionine_1(fn_ribosome_10(X1)))&spatial_entity_1(fn_ribosome_10(X1)))&attach_1(fn_ribosome_9(X1)))&translation_initiation_1(fn_ribosome_6(X1)))&small_ribosomal_subunit_1(fn_ribosome_3(X1)))&concept2words_2(X1,ribosome))&original_name_2(X1,'Ribosome'))<=ribosome_1(X1)), file('/export/starexec/sandbox2/benchmark/Axioms/BIO001+0.ax', a532358)). 96.50/96.76 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).'))&concept2words_2(X1,cell))&cell_pole_1(fn_cell_1(X1)))&shape_value_1(fn_cell_5(X1)))&specific_surface_area_value_1(fn_cell_7(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)))&membrane_potential_1(fn_cell_21(X1)))&volume_value_1(fn_cell_22(X1)))&chromosome_1(fn_cell_25(X1)))&cytoplasmic_side_1(fn_cell_27(X1)))&mixture_1(fn_cell_28(X1)))&cytoplasm_1(fn_cell_28(X1)))&cytosol_1(fn_cell_29(X1)))&cytoplasm_1(fn_cytoplasmic_side_1(fn_cell_27(X1))))&tangible_entity_1(fn_biomembrane_63(fn_cell_30(X1))))&phospholipid_bilayer_1(fn_biomembrane_63(fn_cell_30(X1))))&cytoplasmic_side_1(fn_plasma_membrane_66(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)))&exactCardinality(X1,has_region_0,"2",cell_pole_0))&has_region_2(X1,fn_cell_1(X1)))&minCardinality(X1,has_part_0,"1",chromosome_0))&has_part_2(X1,fn_cell_8(X1)))&the_cardinal_value_2(fn_cell_20(X1),"100.0e0"))&greater_than_or_equal_to_2(fn_cell_20(X1),fn_cell_18(X1)))&the_cardinal_value_2(fn_cell_19(X1),"0.1e0"))&greater_than_or_equal_to_2(fn_cell_18(X1),fn_cell_19(X1)))&directly_proportional_2(fn_cell_11(X1),fn_cell_22(X1)))&is_oriented_toward_2(fn_cell_27(X1),fn_cell_28(X1)))&has_part_2(fn_cell_30(X1),fn_cell_26(X1)))&fn_cell_29(X1)=fn_mixture_1(fn_cell_28(X1)))&fn_cell_26(X1)=fn_plasma_membrane_71(fn_cell_30(X1)))&fn_cytoplasmic_side_1(fn_cell_27(X1))=fn_cell_28(X1))&fn_biomembrane_47(fn_cell_30(X1))=fn_plasma_membrane_66(fn_cell_30(X1)))&fn_biomembrane_47(fn_cell_30(X1))=fn_plasma_membrane_71(fn_cell_30(X1)))&fn_biomembrane_63(fn_cell_30(X1))=fn_plasma_membrane_71(fn_cell_30(X1)))&fn_cytoplasm_8(fn_cell_28(X1))=fn_biomembrane_63(fn_cell_30(X1)))&fn_mixture_1(fn_cell_28(X1))=fn_cytoplasm_8(fn_cell_28(X1)))&fn_biomembrane_63(fn_cell_30(X1))=fn_cell_26(X1))&fn_plasma_membrane_66(fn_cell_30(X1))=fn_cell_27(X1))&fn_cell_27(X1)=fn_biomembrane_47(fn_cell_30(X1)))&fn_cytoplasm_8(fn_cell_28(X1))=fn_cell_29(X1))&fn_cytoplasm_7(fn_cell_28(X1))=X1)&is_facing_2(fn_cell_27(X1),fn_cell_28(X1)))&has_region_2(fn_cell_30(X1),fn_cell_27(X1)))&has_part_2(fn_cell_28(X1),fn_cell_29(X1)))&has_part_2(X1,fn_cell_28(X1)))&is_at_2(fn_cell_26(X1),fn_cell_4(X1)))&scalar_unit_class_2(fn_cell_13(X1),organism_0))&the_scalar_value_2(fn_cell_13(X1),simple_0))&is_inside_2(fn_cell_14(X1),fn_cell_29(X1)))&cardinal_unit_class_2(fn_cell_19(X1),micrometer_0))&cardinal_unit_class_2(fn_cell_20(X1),micrometer_0))&has_part_2(fn_cell_28(X1),fn_cell_9(X1)))&is_inside_2(fn_cell_28(X1),fn_cell_30(X1)))&has_part_2(X1,fn_cell_30(X1)))&has_part_2(X1,fn_cell_14(X1)))&has_part_2(X1,fn_cell_24(X1)))&has_part_2(X1,fn_cell_25(X1)))&has_part_2(X1,fn_cell_2(X1)))&has_region_2(X1,fn_cell_4(X1)))&volume_2(X1,fn_cell_22(X1)))&diameter_2(X1,fn_cell_18(X1)))&structural_complexity_2(X1,fn_cell_13(X1)))&is_across_2(fn_cell_21(X1),fn_cell_30(X1)))&surface_1(fn_biomembrane_47(fn_cell_30(X1))))&phospholipid_bilayer_1(fn_plasma_membrane_71(fn_cell_30(X1))))&tangible_entity_1(fn_plasma_membrane_71(fn_cell_30(X1))))&cytosol_1(fn_cytoplasm_8(fn_cell_28(X1))))&substance_1(fn_mixture_1(fn_cell_28(X1))))&cell_1(fn_cytoplasm_7(fn_cell_28(X1))))&plasma_membrane_1(fn_cell_30(X1)))&substance_1(fn_cell_29(X1)))&surface_1(fn_cell_27(X1)))&phospholipid_bilayer_1(fn_cell_26(X1)))&tangible_entity_1(fn_cell_26(X1)))&genome_1(fn_cell_24(X1)))&length_value_1(fn_cell_20(X1)))&protein_enzyme_1(fn_cell_9(X1)))&motor_protein_1(fn_cell_8(X1)))&surface_1(fn_cell_4(X1)))&cytoskeleton_1(fn_cell_2(X1)))&living_entity_1(X1))&user_description_2(X1,'The basic unit from which living organisms are made.'))), file('/export/starexec/sandbox2/benchmark/Axioms/BIO001+0.ax', a528132)). 96.50/96.76 fof(a_cell, axiom, cell_1(a_cell), file('/export/starexec/sandbox2/benchmark/theBenchmark.p', a_cell)). 96.50/96.76 fof(c_0_6, plain, ![X4166]:(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((concept2words_2(X4166,'covalently bond')|~covalent_bond_1(X4166))&(concept2words_2(X4166,'covalently-bond')|~covalent_bond_1(X4166)))&(concept2words_2(X4166,'covalent bond')|~covalent_bond_1(X4166)))&(chemical_bond_1(X4166)|~covalent_bond_1(X4166)))&(~hydrogen_bond_1(X4166)|~covalent_bond_1(X4166)))&(asymmetrical_distribution_1(fn_covalent_bond_1(X4166))|~covalent_bond_1(X4166)))&(intensity_value_1(fn_covalent_bond_2(X4166))|~covalent_bond_1(X4166)))&(atomic_number_value_1(fn_covalent_bond_6(X4166))|~covalent_bond_1(X4166)))&(quantity_value_1(fn_covalent_bond_8(X4166))|~covalent_bond_1(X4166)))&(quantity_value_1(fn_covalent_bond_9(X4166))|~covalent_bond_1(X4166)))&(attract_1(fn_covalent_bond_10(X4166))|~covalent_bond_1(X4166)))&(atomic_orbital_1(fn_covalent_bond_13(X4166))|~covalent_bond_1(X4166)))&(hold_together_1(fn_covalent_bond_14(X4166))|~covalent_bond_1(X4166)))&(valence_electron_1(fn_covalent_bond_15(X4166))|~covalent_bond_1(X4166)))&(constant_motion_1(fn_covalent_bond_16(X4166))|~covalent_bond_1(X4166)))&(share_1(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(entity_1(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(atom_1(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(chemical_entity_1(fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(atomic_nucleus_1(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(center_1(fn_covalent_bond_23(X4166))|~covalent_bond_1(X4166)))&(atomic_nucleus_1(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(electron_shell_1(fn_atom_9(fn_covalent_bond_20(X4166)))|~covalent_bond_1(X4166)))&(center_1(fn_atomic_nucleus_3(fn_covalent_bond_24(X4166)))|~covalent_bond_1(X4166)))&(system_1(fn_atom_3(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(quantity_value_1(fn_atom_5(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(equation_set_1(fn_atom_4(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(center_1(fn_atomic_nucleus_3(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(attract_1(fn_atomic_nucleus_7(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(entity_1(fn_share_2(fn_covalent_bond_17(X4166)))|~covalent_bond_1(X4166)))&(tangible_entity_1(fn_constant_motion_1(fn_covalent_bond_16(X4166)))|~covalent_bond_1(X4166)))&(electron_1(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(atomic_number_value_1(fn_atom_17(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(entity_1(fn_share_1(fn_covalent_bond_17(X4166)))|~covalent_bond_1(X4166)))&(proton_1(fn_atomic_nucleus_9(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(quantity_value_1(fn_atom_11(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(quantity_value_1(fn_atomic_nucleus_2(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(fn_covalent_bond_21(X4166)!=fn_covalent_bond_23(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_24(X4166)!=fn_covalent_bond_22(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_23(X4166)!=fn_covalent_bond_21(X4166)|~covalent_bond_1(X4166)))&(the_scalar_value_2(fn_covalent_bond_2(X4166),strong_0)|~covalent_bond_1(X4166)))&(scalar_unit_class_2(fn_covalent_bond_2(X4166),chemical_bond_0)|~covalent_bond_1(X4166)))&(intensity_2(X4166,fn_covalent_bond_2(X4166))|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_17(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_1(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_12(X4166)!=fn_covalent_bond_11(X4166)|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_16(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(agent_2(fn_covalent_bond_17(X4166),fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_17(X4166),fn_covalent_bond_15(X4166))|~covalent_bond_1(X4166)))&(has_function_2(X4166,fn_covalent_bond_14(X4166))|~covalent_bond_1(X4166)))&(agent_2(fn_covalent_bond_14(X4166),X4166)|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_20(X4166),fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(is_near_2(fn_covalent_bond_15(X4166),fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(is_near_2(fn_covalent_bond_24(X4166),fn_covalent_bond_15(X4166))|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_19(X4166),fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(has_part_2(fn_covalent_bond_19(X4166),fn_covalent_bond_4(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_6(X4166)=fn_covalent_bond_8(X4166)|~covalent_bond_1(X4166)))&(atomic_number_2(fn_covalent_bond_19(X4166),fn_covalent_bond_6(X4166))|~covalent_bond_1(X4166)))&(agent_2(fn_covalent_bond_10(X4166),fn_covalent_bond_4(X4166))|~covalent_bond_1(X4166)))&(quantity_2(fn_covalent_bond_4(X4166),fn_covalent_bond_8(X4166))|~covalent_bond_1(X4166)))&(called_2(fn_covalent_bond_8(X4166),'Number_Proton')|~covalent_bond_1(X4166)))&(fn_covalent_bond_9(X4166)=fn_covalent_bond_8(X4166)|~covalent_bond_1(X4166)))&(called_2(fn_covalent_bond_9(X4166),'Number_Electron')|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_19(X4166),fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(is_near_2(fn_covalent_bond_22(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(quantity_2(fn_covalent_bond_18(X4166),fn_covalent_bond_9(X4166))|~covalent_bond_1(X4166)))&(has_part_2(fn_covalent_bond_19(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(is_inside_2(fn_covalent_bond_18(X4166),fn_covalent_bond_13(X4166))|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_12(X4166),fn_covalent_bond_13(X4166))|~covalent_bond_1(X4166)))&(fn_constant_motion_1(fn_covalent_bond_16(X4166))=fn_covalent_bond_18(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_15(X4166)=fn_share_2(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_19(X4166)=fn_share_1(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_atom_9(fn_covalent_bond_20(X4166))=fn_covalent_bond_11(X4166)|~covalent_bond_1(X4166)))&(fn_chemical_bond_1(X4166)=fn_covalent_bond_19(X4166)|~covalent_bond_1(X4166)))&(fn_chemical_bond_4(X4166)=fn_covalent_bond_20(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_20(X4166)=fn_atomic_nucleus_4(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_23(X4166)=fn_atomic_nucleus_3(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))=fn_covalent_bond_18(X4166)|~covalent_bond_1(X4166)))&(fn_atom_14(fn_covalent_bond_19(X4166))=fn_covalent_bond_18(X4166)|~covalent_bond_1(X4166)))&(fn_atom_3(fn_covalent_bond_19(X4166))=fn_covalent_bond_5(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_9(X4166)=fn_atom_5(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_19(X4166)=fn_electron_shell_1(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_7(X4166)=fn_atom_4(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_21(X4166)=fn_atomic_nucleus_3(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atom_17(fn_covalent_bond_19(X4166))=fn_covalent_bond_6(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_19(X4166)=fn_atomic_nucleus_4(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_10(X4166)=fn_atomic_nucleus_7(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_8(X4166)=fn_atom_11(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_8(X4166)=fn_atomic_nucleus_2(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_share_3(fn_covalent_bond_17(X4166))=fn_share_3(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_4(fn_covalent_bond_24(X4166))=fn_share_2(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_constant_motion_1(fn_covalent_bond_16(X4166))=fn_atomic_nucleus_8(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))=fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))=fn_electron_shell_2(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_electron_shell_2(fn_covalent_bond_12(X4166))=fn_electron_shell_2(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_electron_shell_2(fn_covalent_bond_12(X4166))=fn_atom_14(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_14(fn_covalent_bond_19(X4166))=fn_atom_17(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_17(fn_covalent_bond_19(X4166))=fn_atom_17(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_17(fn_covalent_bond_19(X4166))=fn_atomic_nucleus_1(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_chemical_bond_1(X4166)=fn_share_1(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_electron_shell_1(fn_covalent_bond_12(X4166))=fn_electron_shell_1(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_4(fn_covalent_bond_22(X4166))=fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))=fn_atom_8(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_2(fn_covalent_bond_22(X4166))=fn_atom_11(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_11(fn_covalent_bond_19(X4166))=fn_atomic_nucleus_2(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atom_11(fn_covalent_bond_19(X4166))=fn_atom_11(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))=fn_atom_11(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_8(fn_covalent_bond_19(X4166))=fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))=fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_4(fn_covalent_bond_22(X4166))=fn_atomic_nucleus_4(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_4(fn_covalent_bond_22(X4166))=fn_electron_shell_1(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_chemical_bond_1(X4166)=fn_electron_shell_1(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_chemical_bond_1(X4166)=fn_chemical_bond_1(X4166)|~covalent_bond_1(X4166)))&(fn_share_1(fn_covalent_bond_17(X4166))=fn_share_1(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_1(fn_covalent_bond_22(X4166))=fn_share_1(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_atom_17(fn_covalent_bond_19(X4166))=fn_atomic_nucleus_1(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_electron_shell_2(fn_covalent_bond_12(X4166))=fn_atom_14(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_14(fn_covalent_bond_19(X4166))=fn_atom_14(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))=fn_electron_shell_2(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_22(X4166))=fn_constant_motion_1(fn_covalent_bond_16(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_24(X4166))=fn_atomic_nucleus_8(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_24(X4166))=fn_share_2(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_4(fn_covalent_bond_24(X4166))=fn_atomic_nucleus_4(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_chemical_bond_4(X4166)=fn_atomic_nucleus_4(fn_covalent_bond_24(X4166))|~covalent_bond_1(X4166)))&(fn_chemical_bond_4(X4166)=fn_chemical_bond_4(X4166)|~covalent_bond_1(X4166)))&(fn_chemical_bond_4(X4166)=fn_share_3(fn_covalent_bond_17(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_4(X4166)=fn_atomic_nucleus_9(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_atom_8(fn_covalent_bond_19(X4166))=fn_covalent_bond_4(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_6(X4166)=fn_atomic_nucleus_1(fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_22(X4166)=fn_atom_18(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_atom_9(fn_covalent_bond_19(X4166))=fn_covalent_bond_12(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_18(X4166)=fn_electron_shell_2(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(fn_electron_shell_3(fn_covalent_bond_12(X4166))=fn_covalent_bond_13(X4166)|~covalent_bond_1(X4166)))&(fn_atomic_nucleus_8(fn_covalent_bond_24(X4166))=fn_covalent_bond_15(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_14(X4166)=fn_chemical_bond_3(X4166)|~covalent_bond_1(X4166)))&(fn_share_3(fn_covalent_bond_17(X4166))=fn_covalent_bond_20(X4166)|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_10(X4166),fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(is_near_2(fn_covalent_bond_18(X4166),fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_8(X4166)=fn_covalent_bond_9(X4166)|~covalent_bond_1(X4166)))&(called_2(fn_covalent_bond_6(X4166),'Atomic_Number')|~covalent_bond_1(X4166)))&(fn_covalent_bond_8(X4166)=fn_covalent_bond_6(X4166)|~covalent_bond_1(X4166)))&(is_at_2(fn_covalent_bond_22(X4166),fn_covalent_bond_21(X4166))|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_19(X4166),fn_covalent_bond_21(X4166))|~covalent_bond_1(X4166)))&(is_inside_2(fn_covalent_bond_4(X4166),fn_covalent_bond_22(X4166))|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_20(X4166),fn_covalent_bond_23(X4166))|~covalent_bond_1(X4166)))&(is_at_2(fn_covalent_bond_24(X4166),fn_covalent_bond_23(X4166))|~covalent_bond_1(X4166)))&(has_part_2(fn_covalent_bond_20(X4166),fn_covalent_bond_15(X4166))|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_14(X4166),fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(is_between_2(X4166,fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(object_2(fn_covalent_bond_14(X4166),fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(is_between_2(X4166,fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(has_region_2(fn_covalent_bond_20(X4166),fn_covalent_bond_11(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_19(X4166)!=fn_covalent_bond_20(X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_20(X4166)!=fn_covalent_bond_19(X4166)|~covalent_bond_1(X4166)))&(agent_2(fn_covalent_bond_17(X4166),fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(fn_covalent_bond_11(X4166)!=fn_covalent_bond_12(X4166)|~covalent_bond_1(X4166)))&(causes_2(fn_covalent_bond_16(X4166),fn_covalent_bond_1(X4166))|~covalent_bond_1(X4166)))&(result_2(fn_covalent_bond_17(X4166),X4166)|~covalent_bond_1(X4166)))&(fn_covalent_bond_24(X4166)!=fn_covalent_bond_22(X4166)|~covalent_bond_1(X4166)))&(proton_1(fn_atom_8(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(atom_1(fn_atomic_nucleus_4(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(atom_1(fn_electron_shell_1(fn_covalent_bond_12(X4166)))|~covalent_bond_1(X4166)))&(atomic_number_value_1(fn_atomic_nucleus_1(fn_covalent_bond_22(X4166)))|~covalent_bond_1(X4166)))&(electron_1(fn_atom_14(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(electron_1(fn_electron_shell_2(fn_covalent_bond_12(X4166)))|~covalent_bond_1(X4166)))&(electron_1(fn_atomic_nucleus_8(fn_covalent_bond_24(X4166)))|~covalent_bond_1(X4166)))&(atom_1(fn_atomic_nucleus_4(fn_covalent_bond_24(X4166)))|~covalent_bond_1(X4166)))&(entity_1(fn_share_3(fn_covalent_bond_17(X4166)))|~covalent_bond_1(X4166)))&(atomic_nucleus_1(fn_atom_18(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(electron_shell_1(fn_atom_9(fn_covalent_bond_19(X4166)))|~covalent_bond_1(X4166)))&(atomic_orbital_1(fn_electron_shell_3(fn_covalent_bond_12(X4166)))|~covalent_bond_1(X4166)))&(center_1(fn_covalent_bond_21(X4166))|~covalent_bond_1(X4166)))&(atom_1(fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(entity_1(fn_covalent_bond_20(X4166))|~covalent_bond_1(X4166)))&(chemical_entity_1(fn_covalent_bond_19(X4166))|~covalent_bond_1(X4166)))&(valence_electron_1(fn_covalent_bond_18(X4166))|~covalent_bond_1(X4166)))&(electron_shell_1(fn_covalent_bond_12(X4166))|~covalent_bond_1(X4166)))&(electron_shell_1(fn_covalent_bond_11(X4166))|~covalent_bond_1(X4166)))&(system_1(fn_covalent_bond_5(X4166))|~covalent_bond_1(X4166)))&(proton_1(fn_covalent_bond_4(X4166))|~covalent_bond_1(X4166)))&(~ionic_bond_1(X4166)|~covalent_bond_1(X4166)))&(~hydrophobic_interaction_1(X4166)|~covalent_bond_1(X4166)))&(concept2words_2(X4166,'covalent-bond')|~covalent_bond_1(X4166)))&(user_description_2(X4166,'A covalent bond is a form of chemical bonding that is characterized by the sharing of pairs of electrons between atoms, and other covalent bonds. In short, the stable balance of attractive and repulsive forces between atoms when they share electrons is known as covalent bonding.')|~covalent_bond_1(X4166)))&(original_name_2(X4166,'Covalent-Bond')|~covalent_bond_1(X4166))), inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[inference(fof_simplification,[status(thm)],[a528727])])])])). 96.50/96.76 fof(c_0_7, plain, ![X1390]:(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((original_name_2(X1390,'Polar-Covalent-Bond')|~polar_covalent_bond_1(X1390))&(concept2words_2(X1390,'polar covalent bond')|~polar_covalent_bond_1(X1390)))&(concept2words_2(X1390,'polar-covalent-bond')|~polar_covalent_bond_1(X1390)))&(covalent_bond_1(X1390)|~polar_covalent_bond_1(X1390)))&(~nonpolar_covalent_bond_1(X1390)|~polar_covalent_bond_1(X1390)))&(electronegativity_value_1(fn_polar_covalent_bond_1(X1390))|~polar_covalent_bond_1(X1390)))&(atomic_nucleus_1(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(chemical_entity_1(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(chemical_entity_1(fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(atom_1(fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(electron_shell_1(fn_polar_covalent_bond_20(X1390))|~polar_covalent_bond_1(X1390)))&(electron_shell_1(fn_polar_covalent_bond_22(X1390))|~polar_covalent_bond_1(X1390)))&(equation_set_1(fn_atom_4(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(system_1(fn_atom_3(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(electron_1(fn_atom_14(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(electron_1(fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(atomic_number_value_1(fn_atom_17(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(atomic_number_value_1(fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(proton_1(fn_atom_8(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(atomic_nucleus_1(fn_atom_18(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(electronegativity_2(fn_polar_covalent_bond_19(X1390),fn_polar_covalent_bond_1(X1390))|~polar_covalent_bond_1(X1390)))&(electronegativity_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_2(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_12(X1390)!=fn_polar_covalent_bond_11(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_2(X1390)!=fn_polar_covalent_bond_1(X1390)|~polar_covalent_bond_1(X1390)))&(agent_2(fn_polar_covalent_bond_16(X1390),fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(agent_2(fn_polar_covalent_bond_16(X1390),fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(object_2(fn_polar_covalent_bond_16(X1390),fn_polar_covalent_bond_11(X1390))|~polar_covalent_bond_1(X1390)))&(is_inside_2(fn_polar_covalent_bond_12(X1390),fn_polar_covalent_bond_15(X1390))|~polar_covalent_bond_1(X1390)))&(result_2(fn_polar_covalent_bond_16(X1390),X1390)|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_19(X1390),fn_polar_covalent_bond_22(X1390))|~polar_covalent_bond_1(X1390)))&(object_2(fn_polar_covalent_bond_17(X1390),fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(is_between_2(X1390,fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(has_function_2(X1390,fn_polar_covalent_bond_17(X1390))|~polar_covalent_bond_1(X1390)))&(is_at_2(fn_polar_covalent_bond_14(X1390),fn_polar_covalent_bond_23(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_19(X1390)!=fn_polar_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(is_near_2(fn_polar_covalent_bond_13(X1390),fn_polar_covalent_bond_11(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_14(X1390)!=fn_polar_covalent_bond_13(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_13(X1390)!=fn_polar_covalent_bond_14(X1390)|~polar_covalent_bond_1(X1390)))&(has_part_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_11(X1390))|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_20(X1390),fn_polar_covalent_bond_15(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_20(X1390)!=fn_polar_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(called_2(fn_polar_covalent_bond_10(X1390),'Number_Electron')|~polar_covalent_bond_1(X1390)))&(quantity_2(fn_polar_covalent_bond_5(X1390),fn_polar_covalent_bond_9(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_17(X1390)=fn_polar_covalent_bond_16(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_19(X1390)=fn_polar_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_14(X1390)=fn_polar_covalent_bond_17(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_21(X1390)=fn_polar_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_23(X1390)=fn_covalent_bond_23(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_15(X1390)=fn_polar_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_11(X1390)=fn_polar_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_13(X1390)=fn_polar_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_11(X1390)=fn_atom_14(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_18(X1390)=fn_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_20(X1390)=fn_atom_9(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_10(X1390)=fn_atom_5(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_8(X1390)=fn_atom_4(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_6(X1390)=fn_atom_3(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_7(X1390)=fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_5(X1390)=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))=fn_polar_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390))=fn_polar_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_23(X1390)=fn_covalent_bond_23(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_23(X1390)=fn_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_19(X1390)=fn_covalent_bond_23(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_20(X1390)=fn_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_15(X1390)=fn_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_18(X1390)=fn_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_22(X1390)=fn_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_24(X1390)=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_11(X1390)=fn_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))=fn_atom_14(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_14(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_15(X1390)=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))=fn_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_18(X1390)=fn_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_18(X1390)=fn_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_12(X1390)=fn_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_9(X1390)=fn_atom_5(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_5(fn_polar_covalent_bond_18(X1390))=fn_atom_5(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_11(fn_polar_covalent_bond_18(X1390))=fn_atom_11(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_11(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_17(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_17(fn_polar_covalent_bond_18(X1390))=fn_atom_17(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1390))=fn_atom_17(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1390))=fn_atom_8(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_19(X1390)=fn_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_19(X1390)=fn_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_19(X1390)=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_21(X1390)=fn_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390))=fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390))=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_22(X1390)=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_22(X1390)=fn_atom_18(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_18(fn_polar_covalent_bond_18(X1390))=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390))=fn_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_21(X1390)=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))=fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390))=fn_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))=fn_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_atom_8(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))=fn_atom_8(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))=fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_17(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_1(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_11(fn_polar_covalent_bond_18(X1390))=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_11(fn_polar_covalent_bond_18(X1390))=fn_atom_5(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_9(fn_polar_covalent_bond_18(X1390))=fn_covalent_bond_9(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_12(X1390)=fn_atom_9(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_15(X1390)=fn_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_11(X1390)=fn_atom_14(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_11(X1390)=fn_covalent_bond_11(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_24(X1390)=fn_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_24(X1390)=fn_covalent_bond_24(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_24(X1390)=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_18(X1390)=fn_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_20(X1390)=fn_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_23(X1390)=fn_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_5(X1390)=fn_atom_8(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_18(fn_polar_covalent_bond_18(X1390))=fn_polar_covalent_bond_13(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_7(X1390)=fn_atom_17(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_9(X1390)=fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_atom_11(fn_polar_covalent_bond_18(X1390))=fn_polar_covalent_bond_9(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_11(X1390)=fn_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_11(X1390)=fn_atomic_nucleus_8(fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_12(X1390)=fn_polar_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_22(X1390)=fn_polar_covalent_bond_13(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_14(X1390)=fn_covalent_bond_24(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_12(X1390)=fn_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_14(X1390)=fn_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_19(X1390)=fn_covalent_bond_20(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_23(X1390)=fn_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_9(X1390)=fn_polar_covalent_bond_10(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_12(X1390)=fn_polar_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_11(X1390)=fn_covalent_bond_15(X1390)|~polar_covalent_bond_1(X1390)))&(fn_covalent_bond_20(X1390)=fn_polar_covalent_bond_18(X1390)|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(is_inside_2(fn_polar_covalent_bond_5(X1390),fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(has_part_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_5(X1390))|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_21(X1390))|~polar_covalent_bond_1(X1390)))&(is_at_2(fn_polar_covalent_bond_13(X1390),fn_polar_covalent_bond_21(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_9(X1390)=fn_polar_covalent_bond_7(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_9(X1390)=fn_polar_covalent_bond_7(X1390)|~polar_covalent_bond_1(X1390)))&(called_2(fn_polar_covalent_bond_7(X1390),'Atomic_Number')|~polar_covalent_bond_1(X1390)))&(atomic_number_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_7(X1390))|~polar_covalent_bond_1(X1390)))&(called_2(fn_polar_covalent_bond_9(X1390),'Number_Proton')|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_10(X1390)=fn_polar_covalent_bond_9(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_9(X1390)=fn_polar_covalent_bond_10(X1390)|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_18(X1390),fn_polar_covalent_bond_20(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_20(X1390)!=fn_polar_covalent_bond_22(X1390)|~polar_covalent_bond_1(X1390)))&(is_inside_2(fn_polar_covalent_bond_11(X1390),fn_polar_covalent_bond_15(X1390))|~polar_covalent_bond_1(X1390)))&(is_between_2(X1390,fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(is_near_2(fn_polar_covalent_bond_14(X1390),fn_polar_covalent_bond_12(X1390))|~polar_covalent_bond_1(X1390)))&(is_near_2(fn_polar_covalent_bond_12(X1390),fn_polar_covalent_bond_14(X1390))|~polar_covalent_bond_1(X1390)))&(is_near_2(fn_polar_covalent_bond_11(X1390),fn_polar_covalent_bond_13(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_23(X1390)!=fn_polar_covalent_bond_21(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_21(X1390)!=fn_polar_covalent_bond_23(X1390)|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_19(X1390),fn_polar_covalent_bond_14(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_18(X1390)!=fn_polar_covalent_bond_19(X1390)|~polar_covalent_bond_1(X1390)))&(object_2(fn_polar_covalent_bond_17(X1390),fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(agent_2(fn_polar_covalent_bond_17(X1390),X1390)|~polar_covalent_bond_1(X1390)))&(quantity_2(fn_polar_covalent_bond_11(X1390),fn_polar_covalent_bond_10(X1390))|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_19(X1390),fn_polar_covalent_bond_23(X1390))|~polar_covalent_bond_1(X1390)))&(has_part_2(fn_polar_covalent_bond_19(X1390),fn_polar_covalent_bond_12(X1390))|~polar_covalent_bond_1(X1390)))&(object_2(fn_polar_covalent_bond_16(X1390),fn_polar_covalent_bond_12(X1390))|~polar_covalent_bond_1(X1390)))&(has_region_2(fn_polar_covalent_bond_22(X1390),fn_polar_covalent_bond_15(X1390))|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_2(X1390)!=fn_polar_covalent_bond_1(X1390)|~polar_covalent_bond_1(X1390)))&(fn_polar_covalent_bond_11(X1390)!=fn_polar_covalent_bond_12(X1390)|~polar_covalent_bond_1(X1390)))&(center_1(fn_atomic_nucleus_3(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(atom_1(fn_atomic_nucleus_4(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(proton_1(fn_atomic_nucleus_9(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(quantity_value_1(fn_atomic_nucleus_2(fn_polar_covalent_bond_13(X1390)))|~polar_covalent_bond_1(X1390)))&(quantity_value_1(fn_atom_11(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(quantity_value_1(fn_atom_5(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(electron_shell_1(fn_atom_9(fn_polar_covalent_bond_18(X1390)))|~polar_covalent_bond_1(X1390)))&(center_1(fn_polar_covalent_bond_23(X1390))|~polar_covalent_bond_1(X1390)))&(center_1(fn_polar_covalent_bond_21(X1390))|~polar_covalent_bond_1(X1390)))&(entity_1(fn_polar_covalent_bond_19(X1390))|~polar_covalent_bond_1(X1390)))&(atom_1(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(entity_1(fn_polar_covalent_bond_18(X1390))|~polar_covalent_bond_1(X1390)))&(hold_together_1(fn_polar_covalent_bond_17(X1390))|~polar_covalent_bond_1(X1390)))&(unequal_sharing_1(fn_polar_covalent_bond_16(X1390))|~polar_covalent_bond_1(X1390)))&(atomic_orbital_1(fn_polar_covalent_bond_15(X1390))|~polar_covalent_bond_1(X1390)))&(atomic_nucleus_1(fn_polar_covalent_bond_14(X1390))|~polar_covalent_bond_1(X1390)))&(valence_electron_1(fn_polar_covalent_bond_12(X1390))|~polar_covalent_bond_1(X1390)))&(valence_electron_1(fn_polar_covalent_bond_11(X1390))|~polar_covalent_bond_1(X1390)))&(electron_1(fn_polar_covalent_bond_11(X1390))|~polar_covalent_bond_1(X1390)))&(quantity_value_1(fn_polar_covalent_bond_10(X1390))|~polar_covalent_bond_1(X1390)))&(quantity_value_1(fn_polar_covalent_bond_9(X1390))|~polar_covalent_bond_1(X1390)))&(atomic_number_value_1(fn_polar_covalent_bond_7(X1390))|~polar_covalent_bond_1(X1390)))&(system_1(fn_polar_covalent_bond_6(X1390))|~polar_covalent_bond_1(X1390)))&(proton_1(fn_polar_covalent_bond_5(X1390))|~polar_covalent_bond_1(X1390)))&(electronegativity_value_1(fn_polar_covalent_bond_2(X1390))|~polar_covalent_bond_1(X1390)))&(user_description_2(X1390,'A covalent bond between two atoms with different electronegativities. The electrons in the bond are not shared equally and are pulled towards the atom with the stronger electronegativity, resulting in that atom having a slight negative charge relative to the other atom.')|~polar_covalent_bond_1(X1390))), inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[inference(fof_simplification,[status(thm)],[a531835])])])])). 96.50/96.76 cnf(c_0_8, plain, (fn_covalent_bond_20(X1)!=fn_covalent_bond_19(X1)|~covalent_bond_1(X1)), inference(split_conjunct,[status(thm)],[c_0_6])). 96.50/96.76 cnf(c_0_9, plain, (fn_covalent_bond_20(X1)=fn_covalent_bond_19(X1)|~polar_covalent_bond_1(X1)), inference(split_conjunct,[status(thm)],[c_0_7])). 96.50/96.76 cnf(c_0_10, plain, (covalent_bond_1(X1)|~polar_covalent_bond_1(X1)), inference(split_conjunct,[status(thm)],[c_0_7])). 96.50/96.76 fof(c_0_11, plain, ![X7435]:(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((concept2words_2(X7435,convert)|~synthesis_of_protein_1(X7435))&(concept2words_2(X7435,'synthesis-of-protein')|~synthesis_of_protein_1(X7435)))&(~oxidative_phosphorylation_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_amino_acid_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_cellulose_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_carbohydrate_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_coenzyme_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_fat_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_lipid_1(X7435)|~synthesis_of_protein_1(X7435)))&(rate_value_1(fn_synthesis_of_protein_1(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_value_1(fn_synthesis_of_protein_3(X7435))|~synthesis_of_protein_1(X7435)))&(hydroxyl_group_1(fn_synthesis_of_protein_5(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_bond_1(fn_synthesis_of_protein_6(X7435))|~synthesis_of_protein_1(X7435)))&(polar_covalent_bond_1(fn_synthesis_of_protein_6(X7435))|~synthesis_of_protein_1(X7435)))&(hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(water_molecule_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(amino_acid_1(fn_synthesis_of_protein_8(X7435))|~synthesis_of_protein_1(X7435)))&(polymer_1(fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(cell_1(fn_synthesis_of_protein_11(X7435))|~synthesis_of_protein_1(X7435)))&(post_translational_modification_1(fn_synthesis_of_protein_12(X7435))|~synthesis_of_protein_1(X7435)))&(translation_1(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(intracellular_process_1(fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(translation_elongation_1(fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(intracellular_process_1(fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(protein_1(fn_synthesis_of_protein_16(X7435))|~synthesis_of_protein_1(X7435)))&(condensation_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(dehydration_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(tangible_entity_1(fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(hydrogen_1(fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_value_1(fn_synthesis_of_protein_20(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_value_1(fn_synthesis_of_protein_21(X7435))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_synthesis_of_protein_22(X7435))|~synthesis_of_protein_1(X7435)))&(hydrophilic_region_1(fn_synthesis_of_protein_23(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_value_1(fn_synthesis_of_protein_25(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_value_1(fn_synthesis_of_protein_26(X7435))|~synthesis_of_protein_1(X7435)))&(amino_acid_1(fn_synthesis_of_protein_31(X7435))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_synthesis_of_protein_38(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_value_1(fn_synthesis_of_protein_39(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_41(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(hydroxyl_group_1(fn_dehydration_reaction_5(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(property_node_1(fn_translation_37(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(translation_elongation_1(fn_translation_8(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(translation_termination_1(fn_translation_19(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_translation_15(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_translation_14(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_translation_28(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(structural_complexity_value_1(fn_translation_29(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(cell_1(fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(cell_1(fn_intracellular_process_1(fn_synthesis_of_protein_15(X7435)))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_attract_2(fn_synthesis_of_protein_24(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(oxygen_1(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_bond_1(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_condensation_reaction_1(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(ribosome_1(fn_translation_20(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_polar_molecule_2(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(hydrogen_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(tangible_entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(quantity_value_1(fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(quantity_value_1(fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(water_molecule_1(fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(synthesis_of_protein_1(fn_ribosome_2(fn_synthesis_of_protein_10(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_reaction_1(fn_reactant_2(fn_synthesis_of_protein_30(X7435)))|~synthesis_of_protein_1(X7435)))&(directly_proportional_2(fn_synthesis_of_protein_3(X7435),fn_synthesis_of_protein_1(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(X7435,fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(rate_2(X7435,fn_synthesis_of_protein_1(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(X7435,fn_synthesis_of_protein_31(X7435))|~synthesis_of_protein_1(X7435)))&(site_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(instrument_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(the_scalar_value_2(fn_synthesis_of_protein_20(X7435),complex_0)|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_21(X7435))|~synthesis_of_protein_1(X7435)))&(agent_2(fn_synthesis_of_protein_24(X7435),fn_synthesis_of_protein_23(X7435))|~synthesis_of_protein_1(X7435)))&(base_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_11(X7435))|~synthesis_of_protein_1(X7435)))&(has_function_2(fn_synthesis_of_protein_10(X7435),X7435)|~synthesis_of_protein_1(X7435)))&(base_2(fn_synthesis_of_protein_15(X7435),fn_synthesis_of_protein_11(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)!=fn_synthesis_of_protein_31(X7435)|~synthesis_of_protein_1(X7435)))&(is_inside_2(fn_synthesis_of_protein_28(X7435),fn_synthesis_of_protein_5(X7435))|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_16(X7435),fn_synthesis_of_protein_29(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_17(X7435),fn_synthesis_of_protein_16(X7435))|~synthesis_of_protein_1(X7435)))&(has_function_2(fn_synthesis_of_protein_7(X7435),fn_synthesis_of_protein_24(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_8(X7435),fn_synthesis_of_protein_22(X7435))|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(has_state_2(fn_synthesis_of_protein_8(X7435),fn_synthesis_of_protein_29(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_6(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)!=fn_synthesis_of_protein_7(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_7(X7435)!=fn_synthesis_of_protein_31(X7435)|~synthesis_of_protein_1(X7435)))&(next_event_2(fn_synthesis_of_protein_14(X7435),fn_synthesis_of_protein_44(X7435))|~synthesis_of_protein_1(X7435)))&(instrument_2(fn_synthesis_of_protein_14(X7435),fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(causes_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_40(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(first_subevent_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_43(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(fn_synthesis_of_protein_43(X7435),fn_synthesis_of_protein_42(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(site_2(fn_synthesis_of_protein_15(X7435),fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_45(X7435)!=fn_synthesis_of_protein_42(X7435)|~synthesis_of_protein_1(X7435)))&(subevent_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_44(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_42(X7435)!=fn_synthesis_of_protein_41(X7435)|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_9(X7435),fn_synthesis_of_protein_36(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_9(X7435),fn_synthesis_of_protein_39(X7435))|~synthesis_of_protein_1(X7435)))&(called_2(fn_synthesis_of_protein_26(X7435),'FE_r')|~synthesis_of_protein_1(X7435)))&(called_2(fn_synthesis_of_protein_25(X7435),'FE_p')|~synthesis_of_protein_1(X7435)))&(result_2(X7435,fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_7(X7435),fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(X7435,fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_17(X7435),fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_7(X7435),fn_synthesis_of_protein_19(X7435))|~synthesis_of_protein_1(X7435)))&(greater_than_2(fn_synthesis_of_protein_25(X7435),fn_synthesis_of_protein_26(X7435))|~synthesis_of_protein_1(X7435)))&(fn_attract_2(fn_synthesis_of_protein_24(X7435))=fn_synthesis_of_protein_23(X7435)|~synthesis_of_protein_1(X7435)))&(fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435))=fn_synthesis_of_protein_9(X7435)|~synthesis_of_protein_1(X7435)))&(X7435=fn_ribosome_2(fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(fn_metabolic_pathway_1(X7435)=fn_synthesis_of_protein_11(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_5(X7435)=fn_dehydration_reaction_5(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_hydrophilic_compound_2(fn_synthesis_of_protein_7(X7435))=fn_synthesis_of_protein_24(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_34(X7435)=fn_anabolic_pathway_1(X7435)|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_4(X7435)=fn_synthesis_of_protein_21(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_20(X7435)=fn_anabolic_pathway_3(X7435)|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_5(X7435)=fn_synthesis_of_protein_16(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_31(X7435)=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_7(X7435)=fn_synthesis_of_protein_29(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_28(X7435)=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_15(X7435)=fn_synthesis_of_protein_6(X7435)|~synthesis_of_protein_1(X7435)))&(fn_condensation_reaction_1(fn_synthesis_of_protein_17(X7435))=fn_synthesis_of_protein_31(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_synthesis_of_protein_31(X7435)|~synthesis_of_protein_1(X7435)))&(X7435=fn_reactant_2(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_polymer_synthesis_20(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_37(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_46(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_12(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_43(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_40(X7435)=fn_translation_21(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_15(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_36(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_11(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_41(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_36(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_42(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_14(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_37(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_29(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_39(X7435)|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_9(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_32(X7435)=fn_polymer_synthesis_5(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_21(X7435)=fn_synthesis_of_protein_18(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_26(X7435)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_19(X7435)=fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_17(X7435)=fn_polymer_synthesis_24(X7435)|~synthesis_of_protein_1(X7435)))&(fn_intracellular_process_1(fn_synthesis_of_protein_15(X7435))=fn_attract_2(fn_synthesis_of_protein_24(X7435))|~synthesis_of_protein_1(X7435)))&(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))=fn_attract_2(fn_synthesis_of_protein_24(X7435))|~synthesis_of_protein_1(X7435)))&(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_5(X7435)=fn_polymer_synthesis_23(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_anabolic_pathway_5(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_12(X7435)=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_12(X7435)=fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_15(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_15(X7435)=fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_condensation_reaction_1(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_condensation_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_reactant_3(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_reactant_3(fn_synthesis_of_protein_30(X7435))=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_22(X7435)=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_condensation_reaction_2(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_17(fn_synthesis_of_protein_13(X7435))=fn_translation_20(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_17(fn_synthesis_of_protein_13(X7435))=fn_translation_17(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_17(fn_synthesis_of_protein_13(X7435))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435))|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X7435))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435))|~synthesis_of_protein_1(X7435)))&(fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435))=fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_23(fn_synthesis_of_protein_13(X7435))=fn_translation_23(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_18(X7435)=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435))=fn_water_molecule_63(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435))=fn_water_molecule_64(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435))=fn_water_molecule_64(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_21(X7435)=fn_water_molecule_64(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_10(X7435)=fn_polymer_synthesis_10(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_10(X7435)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_19(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_19(X7435)=fn_polymer_synthesis_19(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_19(X7435)=fn_condensation_reaction_3(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_condensation_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_11(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_11(X7435)=fn_polymer_synthesis_11(X7435)|~synthesis_of_protein_1(X7435)))&(fn_reactant_2(fn_synthesis_of_protein_30(X7435))=fn_reactant_2(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_ribosome_2(fn_synthesis_of_protein_10(X7435))=fn_reactant_2(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_11(X7435)=fn_ribosome_2(fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_11(X7435)=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_condensation_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_19(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_9(X7435)=fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_9(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_9(X7435)=fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_9(X7435)=fn_polymer_synthesis_9(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_10(X7435)=fn_polymer_synthesis_9(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_10(X7435)=fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_endergonic_reaction_5(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_21(X7435)|~synthesis_of_protein_1(X7435)))&(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435))=fn_polar_molecule_2(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_18(X7435)=fn_polar_molecule_2(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_18(X7435)=fn_polymer_synthesis_18(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_23(fn_synthesis_of_protein_13(X7435))=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_23(fn_synthesis_of_protein_13(X7435))=fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435))|~synthesis_of_protein_1(X7435)))&(fn_ribosome_6(fn_synthesis_of_protein_10(X7435))=fn_translation_17(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_ribosome_6(fn_synthesis_of_protein_10(X7435))=fn_translation_17(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_20(fn_synthesis_of_protein_13(X7435))=fn_translation_initiation_11(fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_initiation_11(fn_synthesis_of_protein_15(X7435))=fn_translation_20(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_translation_20(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_polymer_synthesis_20(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))=fn_dehydration_reaction_8(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_22(X7435)=fn_condensation_reaction_2(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_22(X7435)=fn_reactant_3(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_20(X7435)=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_15(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_15(X7435)=fn_polymer_synthesis_15(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_12(X7435)=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_13(X7435)=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_polymer_synthesis_13(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_23(X7435)=fn_anabolic_pathway_5(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_23(X7435)=fn_polymer_synthesis_23(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_23(X7435)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_23(X7435)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))=fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_intracellular_process_1(fn_synthesis_of_protein_15(X7435))=fn_metabolic_pathway_1(X7435)|~synthesis_of_protein_1(X7435)))&(fn_metabolic_pathway_1(X7435)=fn_intracellular_process_1(fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(fn_intracellular_process_1(fn_synthesis_of_protein_14(X7435))=fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_7(X7435)=fn_polymer_synthesis_11(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_7(X7435)=fn_condensation_reaction_3(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_19(X7435)=fn_polymer_synthesis_19(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_25(X7435)=fn_polymer_synthesis_9(X7435)|~synthesis_of_protein_1(X7435)))&(fn_endergonic_reaction_4(fn_synthesis_of_protein_17(X7435))=fn_synthesis_of_protein_25(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_26(X7435)=fn_polymer_synthesis_10(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_18(X7435)=fn_water_molecule_64(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_18(X7435)=fn_water_molecule_63(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(fn_polar_molecule_2(fn_synthesis_of_protein_7(X7435))=fn_synthesis_of_protein_18(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_18(X7435)=fn_synthesis_of_protein_22(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_6(X7435)=fn_synthesis_of_protein_33(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_9(X7435)=fn_translation_23(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_45(X7435)=fn_translation_16(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_38(X7435)=fn_translation_28(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_44(X7435)=fn_translation_19(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_translation_17(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_15(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_20(fn_synthesis_of_protein_13(X7435))=fn_synthesis_of_protein_10(X7435)|~synthesis_of_protein_1(X7435)))&(fn_translation_initiation_11(fn_synthesis_of_protein_15(X7435))=fn_synthesis_of_protein_10(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_15(X7435)=fn_ribosome_6(fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_14(X7435)=fn_translation_8(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_reactant_3(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_7(X7435)=fn_dehydration_reaction_6(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)=fn_dehydration_reaction_7(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_31(X7435)=fn_polymer_synthesis_20(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435))=fn_synthesis_of_protein_6(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_28(X7435)=fn_polymer_synthesis_12(X7435)|~synthesis_of_protein_1(X7435)))&(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435))=fn_synthesis_of_protein_28(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_23(X7435)=fn_synthesis_of_protein_16(X7435)|~synthesis_of_protein_1(X7435)))&(fn_anabolic_pathway_2(X7435)=fn_synthesis_of_protein_35(X7435)|~synthesis_of_protein_1(X7435)))&(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435))=fn_synthesis_of_protein_23(X7435)|~synthesis_of_protein_1(X7435)))&(fn_polymer_synthesis_8(X7435)=fn_synthesis_of_protein_27(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_16(X7435)=fn_endergonic_reaction_9(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_22(X7435)=fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_11(X7435)=fn_intracellular_process_1(fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_11(X7435)=fn_intracellular_process_1(fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_11(X7435)=fn_metabolic_pathway_1(fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_2(fn_synthesis_of_protein_19(X7435),fn_synthesis_of_protein_25(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_2(fn_synthesis_of_protein_22(X7435),fn_synthesis_of_protein_26(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_9(X7435),fn_synthesis_of_protein_38(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_45(X7435),fn_synthesis_of_protein_38(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_45(X7435),fn_synthesis_of_protein_39(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_42(X7435)!=fn_synthesis_of_protein_41(X7435)|~synthesis_of_protein_1(X7435)))&(has_state_2(fn_synthesis_of_protein_41(X7435),fn_synthesis_of_protein_36(X7435))|~synthesis_of_protein_1(X7435)))&(has_state_2(fn_synthesis_of_protein_42(X7435),fn_synthesis_of_protein_37(X7435))|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_9(X7435),fn_synthesis_of_protein_37(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_45(X7435)!=fn_synthesis_of_protein_42(X7435)|~synthesis_of_protein_1(X7435)))&(object_2(fn_synthesis_of_protein_40(X7435),fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_44(X7435),fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_42(X7435))|~synthesis_of_protein_1(X7435)))&(next_event_2(fn_synthesis_of_protein_15(X7435),fn_synthesis_of_protein_14(X7435))|~synthesis_of_protein_1(X7435)))&(causes_2(fn_synthesis_of_protein_44(X7435),fn_synthesis_of_protein_40(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(fn_synthesis_of_protein_13(X7435),fn_synthesis_of_protein_41(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_43(X7435),fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(fn_synthesis_of_protein_43(X7435),fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(is_between_2(fn_synthesis_of_protein_6(X7435),fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_7(X7435)!=fn_synthesis_of_protein_31(X7435)|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_8(X7435)!=fn_synthesis_of_protein_7(X7435)|~synthesis_of_protein_1(X7435)))&(raw_material_2(X7435,fn_synthesis_of_protein_8(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(fn_synthesis_of_protein_17(X7435),fn_synthesis_of_protein_31(X7435))|~synthesis_of_protein_1(X7435)))&(greater_than_2(fn_synthesis_of_protein_20(X7435),fn_synthesis_of_protein_21(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_16(X7435),fn_synthesis_of_protein_20(X7435))|~synthesis_of_protein_1(X7435)))&(result_2(X7435,fn_synthesis_of_protein_16(X7435))|~synthesis_of_protein_1(X7435)))&(site_2(fn_synthesis_of_protein_24(X7435),fn_synthesis_of_protein_23(X7435))|~synthesis_of_protein_1(X7435)))&(has_region_2(fn_synthesis_of_protein_7(X7435),fn_synthesis_of_protein_23(X7435))|~synthesis_of_protein_1(X7435)))&(has_state_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_27(X7435))|~synthesis_of_protein_1(X7435)))&(has_part_2(fn_synthesis_of_protein_16(X7435),fn_synthesis_of_protein_27(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_16(X7435),fn_synthesis_of_protein_19(X7435))|~synthesis_of_protein_1(X7435)))&(fn_synthesis_of_protein_31(X7435)!=fn_synthesis_of_protein_8(X7435)|~synthesis_of_protein_1(X7435)))&(has_region_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_5(X7435))|~synthesis_of_protein_1(X7435)))&(raw_material_2(fn_synthesis_of_protein_17(X7435),fn_synthesis_of_protein_8(X7435))|~synthesis_of_protein_1(X7435)))&(possesses_2(fn_synthesis_of_protein_31(X7435),fn_synthesis_of_protein_22(X7435))|~synthesis_of_protein_1(X7435)))&(in_event_2(fn_synthesis_of_protein_30(X7435),X7435)|~synthesis_of_protein_1(X7435)))&(base_2(X7435,fn_synthesis_of_protein_11(X7435))|~synthesis_of_protein_1(X7435)))&(base_2(fn_synthesis_of_protein_14(X7435),fn_synthesis_of_protein_11(X7435))|~synthesis_of_protein_1(X7435)))&(object_2(fn_synthesis_of_protein_12(X7435),fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(plays_2(fn_synthesis_of_protein_8(X7435),fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(scalar_unit_class_2(fn_synthesis_of_protein_20(X7435),polypeptide_0)|~synthesis_of_protein_1(X7435)))&(first_subevent_2(X7435,fn_synthesis_of_protein_13(X7435))|~synthesis_of_protein_1(X7435)))&(subevent_2(X7435,fn_synthesis_of_protein_12(X7435))|~synthesis_of_protein_1(X7435)))&(quantity_2(fn_synthesis_of_protein_10(X7435),fn_synthesis_of_protein_3(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_8(X7435),fn_synthesis_of_protein_21(X7435))|~synthesis_of_protein_1(X7435)))&(structural_complexity_2(fn_synthesis_of_protein_7(X7435),fn_synthesis_of_protein_20(X7435))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_condensation_reaction_3(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_endergonic_reaction_3(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(hydrogen_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_water_molecule_64(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_water_molecule_63(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_polar_molecule_2(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_dehydration_reaction_1(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(polypeptide_1(fn_translation_23(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_translation_23(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(polymer_1(fn_translation_23(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(polypeptide_1(fn_post_translational_modification_10(fn_synthesis_of_protein_12(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_anabolic_pathway_5(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(translation_initiation_1(fn_translation_17(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(translation_initiation_1(fn_ribosome_6(fn_synthesis_of_protein_10(X7435)))|~synthesis_of_protein_1(X7435)))&(ribosome_1(fn_translation_initiation_11(fn_synthesis_of_protein_15(X7435)))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_condensation_reaction_2(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_reactant_3(fn_synthesis_of_protein_30(X7435)))|~synthesis_of_protein_1(X7435)))&(polar_covalent_bond_1(fn_dehydration_reaction_2(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_dehydration_reaction_3(fn_synthesis_of_protein_17(X7435)))|~synthesis_of_protein_1(X7435)))&(hydrophilic_region_1(fn_hydrophilic_compound_1(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(cell_1(fn_intracellular_process_1(fn_synthesis_of_protein_14(X7435)))|~synthesis_of_protein_1(X7435)))&(water_molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_translation_16(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(polar_molecule_1(fn_translation_16(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_translation_36(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_translation_11(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(decrease_1(fn_translation_21(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(dehydration_reaction_1(fn_translation_12(fn_synthesis_of_protein_13(X7435)))|~synthesis_of_protein_1(X7435)))&(attract_1(fn_hydrophilic_compound_2(fn_synthesis_of_protein_7(X7435)))|~synthesis_of_protein_1(X7435)))&(water_molecule_1(fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(polar_molecule_1(fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(molecule_1(fn_synthesis_of_protein_45(X7435))|~synthesis_of_protein_1(X7435)))&(translation_termination_1(fn_synthesis_of_protein_44(X7435))|~synthesis_of_protein_1(X7435)))&(dehydration_reaction_1(fn_synthesis_of_protein_43(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_42(X7435))|~synthesis_of_protein_1(X7435)))&(decrease_1(fn_synthesis_of_protein_40(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_37(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_36(X7435))|~synthesis_of_protein_1(X7435)))&(reactant_1(fn_synthesis_of_protein_30(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_29(X7435))|~synthesis_of_protein_1(X7435)))&(oxygen_1(fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_synthesis_of_protein_28(X7435))|~synthesis_of_protein_1(X7435)))&(monomer_1(fn_synthesis_of_protein_27(X7435))|~synthesis_of_protein_1(X7435)))&(attract_1(fn_synthesis_of_protein_24(X7435))|~synthesis_of_protein_1(X7435)))&(entity_1(fn_synthesis_of_protein_23(X7435))|~synthesis_of_protein_1(X7435)))&(free_energy_1(fn_synthesis_of_protein_19(X7435))|~synthesis_of_protein_1(X7435)))&(atom_1(fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_synthesis_of_protein_18(X7435))|~synthesis_of_protein_1(X7435)))&(endergonic_reaction_1(fn_synthesis_of_protein_17(X7435))|~synthesis_of_protein_1(X7435)))&(translation_initiation_1(fn_synthesis_of_protein_15(X7435))|~synthesis_of_protein_1(X7435)))&(ribosome_1(fn_synthesis_of_protein_10(X7435))|~synthesis_of_protein_1(X7435)))&(polypeptide_1(fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(chemical_entity_1(fn_synthesis_of_protein_9(X7435))|~synthesis_of_protein_1(X7435)))&(polar_molecule_1(fn_synthesis_of_protein_7(X7435))|~synthesis_of_protein_1(X7435)))&(~synthesis_of_inosine_1(X7435)|~synthesis_of_protein_1(X7435)))&(~synthesis_of_fatty_acid_1(X7435)|~synthesis_of_protein_1(X7435)))&(polymer_synthesis_1(X7435)|~synthesis_of_protein_1(X7435)))&(concept2words_2(X7435,'synthesis of protein')|~synthesis_of_protein_1(X7435)))&(concept2words_2(X7435,'protein-synthesis')|~synthesis_of_protein_1(X7435)))&(concept2words_2(X7435,synthesize)|~synthesis_of_protein_1(X7435)))&(concept2words_2(X7435,'protein synthesis')|~synthesis_of_protein_1(X7435)))&(user_description_2(X7435,'The process by which a protein molecule is synthesized from amino acids at a ribosome.')|~synthesis_of_protein_1(X7435)))&(original_name_2(X7435,'Synthesis-Of-Protein')|~synthesis_of_protein_1(X7435))), inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[inference(fof_simplification,[status(thm)],[a533083])])])])). 96.50/96.76 cnf(c_0_12, plain, (~polar_covalent_bond_1(X1)), inference(csr,[status(thm)],[inference(spm,[status(thm)],[c_0_8, c_0_9]), c_0_10])). 96.50/96.76 cnf(c_0_13, plain, (polar_covalent_bond_1(fn_synthesis_of_protein_6(X1))|~synthesis_of_protein_1(X1)), inference(split_conjunct,[status(thm)],[c_0_11])). 96.50/96.76 fof(c_0_14, plain, ![X955]:(((((((((((((((((((((((((((((((((((((((((((((((((user_description_2(X955,'Ribosome is a cellular component made up of rRNA and Proteins. It is primarily involved in protein synthesis.')|~ribosome_1(X955))&(cellular_structure_1(X955)|~ribosome_1(X955)))&(synthesis_of_protein_1(fn_ribosome_2(X955))|~ribosome_1(X955)))&(e_site_1(fn_ribosome_4(X955))|~ribosome_1(X955)))&(size_value_1(fn_ribosome_5(X955))|~ribosome_1(X955)))&(initiator_trna_1(fn_ribosome_7(X955))|~ribosome_1(X955)))&(a_site_1(fn_ribosome_8(X955))|~ribosome_1(X955)))&(initiator_trna_1(fn_translation_initiation_13(fn_ribosome_6(X955)))|~ribosome_1(X955)))&(ribosome_1(fn_a_site_3(fn_ribosome_8(X955)))|~ribosome_1(X955)))&(methionine_1(fn_translation_initiation_4(fn_ribosome_6(X955)))|~ribosome_1(X955)))&(attach_1(fn_translation_initiation_10(fn_ribosome_6(X955)))|~ribosome_1(X955)))&(attach_1(fn_translation_initiation_8(fn_ribosome_6(X955)))|~ribosome_1(X955)))&(the_scalar_value_2(fn_ribosome_5(X955),tiny_0)|~ribosome_1(X955)))&(agent_2(fn_ribosome_9(X955),X955)|~ribosome_1(X955)))&(size_2(X955,fn_ribosome_5(X955))|~ribosome_1(X955)))&(has_part_2(X955,fn_ribosome_3(X955))|~ribosome_1(X955)))&(site_2(fn_ribosome_6(X955),X955)|~ribosome_1(X955)))&(subevent_2(fn_ribosome_6(X955),fn_ribosome_9(X955))|~ribosome_1(X955)))&(is_at_2(fn_ribosome_10(X955),fn_ribosome_7(X955))|~ribosome_1(X955)))&(fn_move_1(fn_ribosome_11(X955))=fn_ribosome_10(X955)|~ribosome_1(X955)))&(fn_a_site_3(fn_ribosome_8(X955))=X955|~ribosome_1(X955)))&(fn_translation_initiation_11(fn_ribosome_6(X955))=X955|~ribosome_1(X955)))&(fn_ribosome_10(X955)=fn_translation_initiation_4(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_translation_initiation_8(fn_ribosome_6(X955))=fn_ribosome_9(X955)|~ribosome_1(X955)))&(fn_a_site_3(fn_ribosome_8(X955))=fn_translation_initiation_11(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_move_1(fn_ribosome_11(X955))=fn_translation_initiation_11(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_translation_initiation_10(fn_ribosome_6(X955))=fn_translation_initiation_8(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_translation_initiation_8(fn_ribosome_6(X955))=fn_translation_initiation_10(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_translation_initiation_4(fn_ribosome_6(X955))=fn_translation_initiation_8(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_move_1(fn_ribosome_11(X955))=fn_translation_initiation_4(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_ribosome_9(X955)=fn_translation_initiation_10(fn_ribosome_6(X955))|~ribosome_1(X955)))&(fn_translation_initiation_13(fn_ribosome_6(X955))=fn_ribosome_7(X955)|~ribosome_1(X955)))&(object_2(fn_ribosome_9(X955),fn_ribosome_7(X955))|~ribosome_1(X955)))&(has_region_2(X955,fn_ribosome_8(X955))|~ribosome_1(X955)))&(object_2(fn_ribosome_11(X955),fn_ribosome_10(X955))|~ribosome_1(X955)))&(has_region_2(X955,fn_ribosome_4(X955))|~ribosome_1(X955)))&(has_function_2(X955,fn_ribosome_2(X955))|~ribosome_1(X955)))&(destination_2(fn_ribosome_11(X955),X955)|~ribosome_1(X955)))&(scalar_unit_class_2(fn_ribosome_5(X955),eukaryotic_cell_structure_0)|~ribosome_1(X955)))&(spatial_entity_1(fn_move_1(fn_ribosome_11(X955)))|~ribosome_1(X955)))&(ribosome_1(fn_translation_initiation_11(fn_ribosome_6(X955)))|~ribosome_1(X955)))&(move_1(fn_ribosome_11(X955))|~ribosome_1(X955)))&(methionine_1(fn_ribosome_10(X955))|~ribosome_1(X955)))&(spatial_entity_1(fn_ribosome_10(X955))|~ribosome_1(X955)))&(attach_1(fn_ribosome_9(X955))|~ribosome_1(X955)))&(translation_initiation_1(fn_ribosome_6(X955))|~ribosome_1(X955)))&(small_ribosomal_subunit_1(fn_ribosome_3(X955))|~ribosome_1(X955)))&(concept2words_2(X955,ribosome)|~ribosome_1(X955)))&(original_name_2(X955,'Ribosome')|~ribosome_1(X955))), inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[inference(fof_simplification,[status(thm)],[a532358])])])])). 96.50/96.76 cnf(c_0_15, plain, (~synthesis_of_protein_1(X1)), inference(spm,[status(thm)],[c_0_12, c_0_13])). 96.50/96.76 cnf(c_0_16, plain, (synthesis_of_protein_1(fn_ribosome_2(X1))|~ribosome_1(X1)), inference(split_conjunct,[status(thm)],[c_0_14])). 96.50/96.76 fof(c_0_17, plain, ![X9544]:((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((original_name_2(X9544,'Cell')|~cell_1(X9544))&(description_2(X9544,'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(X9544)))&(concept2words_2(X9544,cell)|~cell_1(X9544)))&(cell_pole_1(fn_cell_1(X9544))|~cell_1(X9544)))&(shape_value_1(fn_cell_5(X9544))|~cell_1(X9544)))&(specific_surface_area_value_1(fn_cell_7(X9544))|~cell_1(X9544)))&(size_value_1(fn_cell_11(X9544))|~cell_1(X9544)))&(structural_complexity_value_1(fn_cell_13(X9544))|~cell_1(X9544)))&(ribosome_1(fn_cell_14(X9544))|~cell_1(X9544)))&(length_value_1(fn_cell_18(X9544))|~cell_1(X9544)))&(length_value_1(fn_cell_19(X9544))|~cell_1(X9544)))&(membrane_potential_1(fn_cell_21(X9544))|~cell_1(X9544)))&(volume_value_1(fn_cell_22(X9544))|~cell_1(X9544)))&(chromosome_1(fn_cell_25(X9544))|~cell_1(X9544)))&(cytoplasmic_side_1(fn_cell_27(X9544))|~cell_1(X9544)))&(mixture_1(fn_cell_28(X9544))|~cell_1(X9544)))&(cytoplasm_1(fn_cell_28(X9544))|~cell_1(X9544)))&(cytosol_1(fn_cell_29(X9544))|~cell_1(X9544)))&(cytoplasm_1(fn_cytoplasmic_side_1(fn_cell_27(X9544)))|~cell_1(X9544)))&(tangible_entity_1(fn_biomembrane_63(fn_cell_30(X9544)))|~cell_1(X9544)))&(phospholipid_bilayer_1(fn_biomembrane_63(fn_cell_30(X9544)))|~cell_1(X9544)))&(cytoplasmic_side_1(fn_plasma_membrane_66(fn_cell_30(X9544)))|~cell_1(X9544)))&(shape_2(X9544,fn_cell_5(X9544))|~cell_1(X9544)))&(specific_surface_area_2(X9544,fn_cell_7(X9544))|~cell_1(X9544)))&(size_2(X9544,fn_cell_11(X9544))|~cell_1(X9544)))&(exactCardinality(X9544,has_region_0,"2",cell_pole_0)|~cell_1(X9544)))&(has_region_2(X9544,fn_cell_1(X9544))|~cell_1(X9544)))&(minCardinality(X9544,has_part_0,"1",chromosome_0)|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_8(X9544))|~cell_1(X9544)))&(the_cardinal_value_2(fn_cell_20(X9544),"100.0e0")|~cell_1(X9544)))&(greater_than_or_equal_to_2(fn_cell_20(X9544),fn_cell_18(X9544))|~cell_1(X9544)))&(the_cardinal_value_2(fn_cell_19(X9544),"0.1e0")|~cell_1(X9544)))&(greater_than_or_equal_to_2(fn_cell_18(X9544),fn_cell_19(X9544))|~cell_1(X9544)))&(directly_proportional_2(fn_cell_11(X9544),fn_cell_22(X9544))|~cell_1(X9544)))&(is_oriented_toward_2(fn_cell_27(X9544),fn_cell_28(X9544))|~cell_1(X9544)))&(has_part_2(fn_cell_30(X9544),fn_cell_26(X9544))|~cell_1(X9544)))&(fn_cell_29(X9544)=fn_mixture_1(fn_cell_28(X9544))|~cell_1(X9544)))&(fn_cell_26(X9544)=fn_plasma_membrane_71(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_cytoplasmic_side_1(fn_cell_27(X9544))=fn_cell_28(X9544)|~cell_1(X9544)))&(fn_biomembrane_47(fn_cell_30(X9544))=fn_plasma_membrane_66(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_biomembrane_47(fn_cell_30(X9544))=fn_plasma_membrane_71(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_biomembrane_63(fn_cell_30(X9544))=fn_plasma_membrane_71(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_cytoplasm_8(fn_cell_28(X9544))=fn_biomembrane_63(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_mixture_1(fn_cell_28(X9544))=fn_cytoplasm_8(fn_cell_28(X9544))|~cell_1(X9544)))&(fn_biomembrane_63(fn_cell_30(X9544))=fn_cell_26(X9544)|~cell_1(X9544)))&(fn_plasma_membrane_66(fn_cell_30(X9544))=fn_cell_27(X9544)|~cell_1(X9544)))&(fn_cell_27(X9544)=fn_biomembrane_47(fn_cell_30(X9544))|~cell_1(X9544)))&(fn_cytoplasm_8(fn_cell_28(X9544))=fn_cell_29(X9544)|~cell_1(X9544)))&(fn_cytoplasm_7(fn_cell_28(X9544))=X9544|~cell_1(X9544)))&(is_facing_2(fn_cell_27(X9544),fn_cell_28(X9544))|~cell_1(X9544)))&(has_region_2(fn_cell_30(X9544),fn_cell_27(X9544))|~cell_1(X9544)))&(has_part_2(fn_cell_28(X9544),fn_cell_29(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_28(X9544))|~cell_1(X9544)))&(is_at_2(fn_cell_26(X9544),fn_cell_4(X9544))|~cell_1(X9544)))&(scalar_unit_class_2(fn_cell_13(X9544),organism_0)|~cell_1(X9544)))&(the_scalar_value_2(fn_cell_13(X9544),simple_0)|~cell_1(X9544)))&(is_inside_2(fn_cell_14(X9544),fn_cell_29(X9544))|~cell_1(X9544)))&(cardinal_unit_class_2(fn_cell_19(X9544),micrometer_0)|~cell_1(X9544)))&(cardinal_unit_class_2(fn_cell_20(X9544),micrometer_0)|~cell_1(X9544)))&(has_part_2(fn_cell_28(X9544),fn_cell_9(X9544))|~cell_1(X9544)))&(is_inside_2(fn_cell_28(X9544),fn_cell_30(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_30(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_14(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_24(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_25(X9544))|~cell_1(X9544)))&(has_part_2(X9544,fn_cell_2(X9544))|~cell_1(X9544)))&(has_region_2(X9544,fn_cell_4(X9544))|~cell_1(X9544)))&(volume_2(X9544,fn_cell_22(X9544))|~cell_1(X9544)))&(diameter_2(X9544,fn_cell_18(X9544))|~cell_1(X9544)))&(structural_complexity_2(X9544,fn_cell_13(X9544))|~cell_1(X9544)))&(is_across_2(fn_cell_21(X9544),fn_cell_30(X9544))|~cell_1(X9544)))&(surface_1(fn_biomembrane_47(fn_cell_30(X9544)))|~cell_1(X9544)))&(phospholipid_bilayer_1(fn_plasma_membrane_71(fn_cell_30(X9544)))|~cell_1(X9544)))&(tangible_entity_1(fn_plasma_membrane_71(fn_cell_30(X9544)))|~cell_1(X9544)))&(cytosol_1(fn_cytoplasm_8(fn_cell_28(X9544)))|~cell_1(X9544)))&(substance_1(fn_mixture_1(fn_cell_28(X9544)))|~cell_1(X9544)))&(cell_1(fn_cytoplasm_7(fn_cell_28(X9544)))|~cell_1(X9544)))&(plasma_membrane_1(fn_cell_30(X9544))|~cell_1(X9544)))&(substance_1(fn_cell_29(X9544))|~cell_1(X9544)))&(surface_1(fn_cell_27(X9544))|~cell_1(X9544)))&(phospholipid_bilayer_1(fn_cell_26(X9544))|~cell_1(X9544)))&(tangible_entity_1(fn_cell_26(X9544))|~cell_1(X9544)))&(genome_1(fn_cell_24(X9544))|~cell_1(X9544)))&(length_value_1(fn_cell_20(X9544))|~cell_1(X9544)))&(protein_enzyme_1(fn_cell_9(X9544))|~cell_1(X9544)))&(motor_protein_1(fn_cell_8(X9544))|~cell_1(X9544)))&(surface_1(fn_cell_4(X9544))|~cell_1(X9544)))&(cytoskeleton_1(fn_cell_2(X9544))|~cell_1(X9544)))&(living_entity_1(X9544)|~cell_1(X9544)))&(user_description_2(X9544,'The basic unit from which living organisms are made.')|~cell_1(X9544))), inference(distribute,[status(thm)],[inference(variable_rename,[status(thm)],[inference(fof_nnf,[status(thm)],[a528132])])])). 96.60/96.85 cnf(c_0_18, plain, (~ribosome_1(X1)), inference(spm,[status(thm)],[c_0_15, c_0_16])). 96.60/96.85 cnf(c_0_19, plain, (ribosome_1(fn_cell_14(X1))|~cell_1(X1)), inference(split_conjunct,[status(thm)],[c_0_17])). 96.60/96.85 cnf(c_0_20, plain, (cell_1(a_cell)), inference(split_conjunct,[status(thm)],[a_cell])). 96.60/96.85 cnf(c_0_21, plain, (~cell_1(X1)), inference(spm,[status(thm)],[c_0_18, c_0_19])). 96.60/96.85 cnf(c_0_22, plain, ($false), inference(sr,[status(thm)],[c_0_20, c_0_21]), ['proof']). 96.60/96.85 # SZS output end CNFRefutation 96.60/96.85 # Proof object total steps : 23 96.60/96.85 # Proof object clause steps : 12 96.60/96.85 # Proof object formula steps : 11 96.60/96.85 # Proof object conjectures : 0 96.60/96.85 # Proof object clause conjectures : 0 96.60/96.85 # Proof object formula conjectures : 0 96.60/96.85 # Proof object initial clauses used : 7 96.60/96.85 # Proof object initial formulas used : 6 96.60/96.85 # Proof object generating inferences : 4 96.60/96.85 # Proof object simplifying inferences : 2 96.60/96.85 # Training examples: 0 positive, 0 negative 96.60/96.85 # Parsed axioms : 9162 96.60/96.85 # Removed by relevancy pruning/SinE : 0 96.60/96.85 # Initial clauses : 363125 96.60/96.85 # Removed in clause preprocessing : 15029 96.60/96.85 # Initial clauses in saturation : 348096 96.60/96.85 # Processed clauses : 66835 96.60/96.85 # ...of these trivial : 0 96.60/96.85 # ...subsumed : 12225 96.60/96.85 # ...remaining for further processing : 54610 96.60/96.85 # Other redundant clauses eliminated : 0 96.60/96.85 # Clauses deleted for lack of memory : 0 96.60/96.85 # Backward-subsumed : 0 96.60/96.85 # Backward-rewritten : 0 96.60/96.85 # Generated clauses : 92132 96.60/96.85 # ...of the previous two non-trivial : 92131 96.60/96.85 # Contextual simplify-reflections : 24 96.60/96.85 # Paramodulations : 92131 96.60/96.85 # Factorizations : 0 96.60/96.85 # Equation resolutions : 0 96.60/96.85 # Propositional unsat checks : 0 96.60/96.85 # Propositional check models : 0 96.60/96.85 # Propositional check unsatisfiable : 0 96.60/96.85 # Propositional clauses : 0 96.60/96.85 # Propositional clauses after purity: 0 96.60/96.85 # Propositional unsat core size : 0 96.60/96.85 # Current number of processed clauses : 54609 96.60/96.85 # Positive orientable unit clauses : 714 96.60/96.85 # Positive unorientable unit clauses: 0 96.60/96.85 # Negative unit clauses : 761 96.60/96.85 # Non-unit-clauses : 53134 96.60/96.85 # Current number of unprocessed clauses: 373392 96.60/96.85 # ...number of literals in the above : 764571 96.60/96.85 # Current number of archived formulas : 0 96.60/96.85 # Current number of archived clauses : 1 96.60/96.85 # Clause-clause subsumption calls (NU) : 534602378 96.60/96.85 # Rec. Clause-clause subsumption calls : 471417102 96.60/96.85 # Non-unit clause-clause subsumptions : 10540 96.60/96.85 # Unit Clause-clause subsumption calls : 33751318 96.60/96.85 # Rewrite failures with RHS unbound : 0 96.60/96.85 # BW rewrite match attempts : 0 96.60/96.85 # BW rewrite match successes : 0 96.60/96.85 # Condensation attempts : 0 96.60/96.85 # Condensation successes : 0 96.60/96.85 # Termbank termtop insertions : 11947700 96.70/96.92 96.70/96.92 # ------------------------------------------------- 96.70/96.92 # User time : 95.567 s 96.70/96.92 # System time : 1.119 s 96.70/96.92 # Total time : 96.686 s 96.70/96.92 # Maximum resident set size: 175380 pages 96.70/96.94 EOF