TSTP Solution File: BIO003+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : BIO003+1 : TPTP v8.1.0. Bugfixed v6.4.1.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n008.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 14 23:29:37 EDT 2022
% Result : Unknown 5.33s 5.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : BIO003+1 : TPTP v8.1.0. Bugfixed v6.4.1.
% 0.03/0.13 % Command : sos-script %s
% 0.14/0.34 % Computer : n008.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Thu Jun 16 16:41:22 EDT 2022
% 0.14/0.34 % CPUTime :
% 4.66/5.09 ----- Otter 3.2, August 2001 -----
% 4.66/5.09 The process was started by sandbox2 on n008.cluster.edu,
% 4.66/5.09 Thu Jun 16 16:41:27 2022
% 4.66/5.09 The command was "./sos". The process ID is 16716.
% 4.66/5.09
% 4.66/5.09 set(prolog_style_variables).
% 4.66/5.09 set(auto).
% 4.66/5.09 dependent: set(auto1).
% 4.66/5.09 dependent: set(process_input).
% 4.66/5.09 dependent: clear(print_kept).
% 4.66/5.09 dependent: clear(print_new_demod).
% 4.66/5.09 dependent: clear(print_back_demod).
% 4.66/5.09 dependent: clear(print_back_sub).
% 4.66/5.09 dependent: set(control_memory).
% 4.66/5.09 dependent: assign(max_mem, 12000).
% 4.66/5.09 dependent: assign(pick_given_ratio, 4).
% 4.66/5.09 dependent: assign(stats_level, 1).
% 4.66/5.09 dependent: assign(pick_semantic_ratio, 3).
% 4.66/5.09 dependent: assign(sos_limit, 5000).
% 4.66/5.09 dependent: assign(max_weight, 60).
% 4.66/5.09 clear(print_given).
% 4.66/5.09
% 4.66/5.09 formula_list(usable).
% 4.66/5.09
% 4.66/5.09 ERROR, the 3 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 'The has-region of a nucleotide sequence acid which includes the terminal nucleotide with a free 3\'
% 4.66/5.09 hydroxyl
% 4.66/5.09 group
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_3_prime_end_1(X)
% 4.66/5.09 -> ( original_name_2(X,'3-Prime-End')
% 4.66/5.09 & description_2(X, ***HERE*** 'The has-region of a nucleotide sequence acid which includes the terminal nucleotide with a free 3\' hydroxyl group.
% 4.66/5.09
% 4.66/5.09 ERROR, the 5 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 ')
% 4.66/5.09 & user_description_2(X,'
% 4.66/5.09 The
% 4.66/5.09 3
% 4.66/5.09 \
% 4.66/5.09 '- end of a strand is so named due to it terminating at the hydroxyl group of the third carbon in the sugar-ring, and is known as the tail end.'
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** ')
% 4.66/5.09 & user_description_2(X,'The 3\'- end of a strand is so named due to it terminating at the hydroxyl group of the third carbon in the sugar-ring, and is known as the tail end.')
% 4.66/5.09 & concept2words_2(X,'3\' end')
% 4.66/5.09 & concept2words_2(X,'3\'-end')
% 4.66/5.09 & concept2words_2(X,'3 prime end')
% 4.66/5.09 & concept2words_2(X,'3-prime-end')
% 4.66/5.09 & nucleic_acid_region_1(X)
% 4.66/5.09 & -number_5_prime_end_1(X)
% 4.66/5.09 & -a_site_1(X)
% 4.66/5.09 & -e_site_1(X)
% 4.66/5.09 & -p_site_1(X)
% 4.66/5.09 & -active_site_1(X)
% 4.66/5.09 & -amino_end_1(X)
% 4.66/5.09 & -carboxyl_end_1(X)
% 4.66/5.09 & -cell_equator_1(X)
% 4.66/5.09 & -cell_opposite_pole_1(X)
% 4.66/5.09 & -cell_pole_1(X)
% 4.66/5.09 & -centromere_1(X)
% 4.66/5.09 & -cis_face_1(X)
% 4.66/5.09 & -cisternal_space_1(X)
% 4.66/5.09 & -cleavage_furrow_1(X)
% 4.66/5.09 & -cytoplasmic_side_1(X)
% 4.66/5.09 & -inside_face_1(X)
% 4.66/5.09 & -intermembrane_space_1(X)
% 4.66/5.09 & -metaphase_plate_1(X)
% 4.66/5.09 & -mitochondrial_matrix_1(X)
% 4.66/5.09 & -origin_of_replication_1(X)
% 4.66/5.09 & -plasmodesmata_1(X)
% 4.66/5.09 & -poly_a__tail_1(X)
% 4.66/5.09 & -splice_site_1(X)
% 4.66/5.09 & -target_destination_1(X)
% 4.66/5.09 & -thylakoid_space_1(X)
% 4.66/5.09 & -trans_face_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 ERROR, the 9 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 'Region of nucleic acids which is associated with the 3\'
% 4.66/5.09 carbon
% 4.66/5.09 on
% 4.66/5.09 the
% 4.66/5.09 sugar
% 4.66/5.09 component
% 4.66/5.09 of
% 4.66/5.09 the
% 4.66/5.09 molecule
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_3_prime_region_1(X)
% 4.66/5.09 -> ( original_name_2(X,'3-Prime-Region')
% 4.66/5.09 & user_description_2(X, ***HERE*** 'Region of nucleic acids which is associated with the 3\' carbon on the sugar component of the molecule.
% 4.66/5.09
% 4.66/5.09 ERROR, the 25 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 3
% 4.66/5.09 prime
% 4.66/5.09 region
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 3
% 4.66/5.09 -
% 4.66/5.09 prime
% 4.66/5.09 -
% 4.66/5.09 region
% 4.66/5.09 ')
% 4.66/5.09 & nucleic_acid_region_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 % a527192, axiom
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_carbon_1(X)
% 4.66/5.09 -> ( original_name_2(X,'
% 4.66/5.09 5
% 4.66/5.09 -
% 4.66/5.09 Prime
% 4.66/5.09 -
% 4.66/5.09 Carbon
% 4.66/5.09 ')
% 4.66/5.09 & user_description_2(X,'
% 4.66/5.09 The
% 4.66/5.09 carbon
% 4.66/5.09 present
% 4.66/5.09 at
% 4.66/5.09 5
% 4.66/5.09 -
% 4.66/5.09 prime
% 4.66/5.09 region
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** ')
% 4.66/5.09 & concept2words_2(X,'3 prime region')
% 4.66/5.09 & concept2words_2(X,'3-prime-region')
% 4.66/5.09 & nucleic_acid_region_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_carbon_1(X)
% 4.66/5.09 -> ( original_name_2(X,'5-Prime-Carbon')
% 4.66/5.09 & user_description_2(X,'The carbon present at 5-prime region.
% 4.66/5.09
% 4.66/5.09 ERROR, the 35 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 5
% 4.66/5.09 prime
% 4.66/5.09 carbon
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 5
% 4.66/5.09 -
% 4.66/5.09 prime
% 4.66/5.09 -
% 4.66/5.09 carbon
% 4.66/5.09 ')
% 4.66/5.09 & carbon_1(X)
% 4.66/5.09 & number_5_prime_region_1(fn_5_prime_carbon_1(X))
% 4.66/5.09 & is_at_2(X,fn_5_prime_carbon_1(X)) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 % a527193, axiom
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_end_1(X)
% 4.66/5.09 -> ( original_name_2(X,'
% 4.66/5.09 5
% 4.66/5.09 -
% 4.66/5.09 Prime
% 4.66/5.09 -
% 4.66/5.09 End
% 4.66/5.09 ')
% 4.66/5.09 & description_2(X,'
% 4.66/5.09 The
% 4.66/5.09 Region
% 4.66/5.09 of
% 4.66/5.09 a
% 4.66/5.09 Nucleotide
% 4.66/5.09 -
% 4.66/5.09 Sequence
% 4.66/5.09 which
% 4.66/5.09 includes
% 4.66/5.09 the
% 4.66/5.09 terminal
% 4.66/5.09 Nucleotide
% 4.66/5.09 with
% 4.66/5.09 a
% 4.66/5.09 free
% 4.66/5.09 5
% 4.66/5.09 \
% 4.66/5.09 ' Triphosphate group.'
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** ')
% 4.66/5.09 & concept2words_2(X,'5 prime carbon')
% 4.66/5.09 & concept2words_2(X,'5-prime-carbon')
% 4.66/5.09 & carbon_1(X)
% 4.66/5.09 & number_5_prime_region_1(fn_5_prime_carbon_1(X))
% 4.66/5.09 & is_at_2(X,fn_5_prime_carbon_1(X)) ) ) ) ).
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_end_1(X)
% 4.66/5.09 -> ( original_name_2(X,'5-Prime-End')
% 4.66/5.09 & description_2(X,'The Region of a Nucleotide-Sequence which includes the terminal Nucleotide with a free 5\' Triphosphate group.')
% 4.66/5.09 & user_description_2(X,'The 5\'-end designates the end of the DNA or RNA strand that has the fifth carbon in the sugar-ring of the deoxyribose or ribose at its terminus.
% 4.66/5.09
% 4.66/5.09 ERROR, the 9 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 A
% 4.66/5.09 phosphate
% 4.66/5.09 group
% 4.66/5.09 attached
% 4.66/5.09 to
% 4.66/5.09 the
% 4.66/5.09 5
% 4.66/5.09 \
% 4.66/5.09 '-end permits ligation of two nucleotides.'
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** A phosphate group attached to the 5\'-end permits ligation of two nucleotides.')
% 4.66/5.09 & concept2words_2(X,'five prime end')
% 4.66/5.09 & concept2words_2(X,'five-prime-end')
% 4.66/5.09 & concept2words_2(X,'5\' end')
% 4.66/5.09 & concept2words_2(X,'5\'-end')
% 4.66/5.09 & concept2words_2(X,'5 prime end')
% 4.66/5.09 & concept2words_2(X,'5-prime-end')
% 4.66/5.09 & nucleic_acid_region_1(X)
% 4.66/5.09 & -number_3_prime_end_1(X)
% 4.66/5.09 & -a_site_1(X)
% 4.66/5.09 & -e_site_1(X)
% 4.66/5.09 & -p_site_1(X)
% 4.66/5.09 & -active_site_1(X)
% 4.66/5.09 & -amino_end_1(X)
% 4.66/5.09 & -carboxyl_end_1(X)
% 4.66/5.09 & -cell_equator_1(X)
% 4.66/5.09 & -cell_opposite_pole_1(X)
% 4.66/5.09 & -cell_pole_1(X)
% 4.66/5.09 & -centromere_1(X)
% 4.66/5.09 & -cis_face_1(X)
% 4.66/5.09 & -cisternal_space_1(X)
% 4.66/5.09 & -cleavage_furrow_1(X)
% 4.66/5.09 & -cytoplasmic_side_1(X)
% 4.66/5.09 & -inside_face_1(X)
% 4.66/5.09 & -intermembrane_space_1(X)
% 4.66/5.09 & -metaphase_plate_1(X)
% 4.66/5.09 & -mitochondrial_matrix_1(X)
% 4.66/5.09 & -origin_of_replication_1(X)
% 4.66/5.09 & -plasmodesmata_1(X)
% 4.66/5.09 & -poly_a__tail_1(X)
% 4.66/5.09 & -splice_site_1(X)
% 4.66/5.09 & -target_destination_1(X)
% 4.66/5.09 & -thylakoid_space_1(X)
% 4.66/5.09 & -trans_face_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 ERROR, the 9 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 free
% 4.66/5.09 sequences
% 4.66/5.09 like
% 4.66/5.09 DNA
% 4.66/5.09 strands
% 4.66/5.09 or
% 4.66/5.09 DNA
% 4.66/5.09 strand
% 4.66/5.09 fragments
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_nucleotide_1(X)
% 4.66/5.09 -> ( original_name_2(X,'5-Prime-Nucleotide')
% 4.66/5.09 & description_2(X,'Nucleotide at the end of a sequence whose 5\' end either bears a free triphosphate ( ***HERE*** free sequences like DNA strands or DNA strand fragments) or whose 5\' end is attached to a neighboring sequence (internal sequences like introns or regulatory sequences).')
% 4.66/5.09 & user_description_2(X,'Nucleotide at the 5\' end of a sequence.
% 4.66/5.09
% 4.66/5.09 ERROR, the 4 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 5
% 4.66/5.09 \
% 4.66/5.09 ' nucleotide'
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** ')
% 4.66/5.09 & concept2words_2(X,'5\' nucleotide')
% 4.66/5.09 & concept2words_2(X,'5\'-nucleotide')
% 4.66/5.09 & concept2words_2(X,'5\' base')
% 4.66/5.09 & concept2words_2(X,'five prime base')
% 4.66/5.09 & concept2words_2(X,'5 prime nucleotide')
% 4.66/5.09 & concept2words_2(X,'5-prime-nucleotide')
% 4.66/5.09 & nucleotide_1(X)
% 4.66/5.09 & number_5_prime_end_1(fn_5_prime_nucleotide_1(X))
% 4.66/5.09 & is_at_2(X,fn_5_prime_nucleotide_1(X)) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 ERROR, the 9 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 'Region of nucleic acids which is associated with the 5\'
% 4.66/5.09 carbon
% 4.66/5.09 on
% 4.66/5.09 the
% 4.66/5.09 sugar
% 4.66/5.09 component
% 4.66/5.09 of
% 4.66/5.09 the
% 4.66/5.09 molecule
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( number_5_prime_region_1(X)
% 4.66/5.09 -> ( original_name_2(X,'5-Prime-Region')
% 4.66/5.09 & user_description_2(X, ***HERE*** 'Region of nucleic acids which is associated with the 5\' carbon on the sugar component of the molecule.
% 4.66/5.09
% 4.66/5.09 ERROR, the 25 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 5
% 4.66/5.09 prime
% 4.66/5.09 region
% 4.66/5.09 ')
% 4.66/5.09 & concept2words_2(X,'
% 4.66/5.09 5
% 4.66/5.09 -
% 4.66/5.09 prime
% 4.66/5.09 -
% 4.66/5.09 region
% 4.66/5.09 ')
% 4.66/5.09 & nucleic_acid_region_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09 % a527196, axiom
% 4.66/5.09 ( all X (
% 4.66/5.09 ( a_antigen_1(X)
% 4.66/5.09 -> ( original_name_2(X,'
% 4.66/5.09 A
% 4.66/5.09 -
% 4.66/5.09 Antigen
% 4.66/5.09 ')
% 4.66/5.09 & user_description_2(X,'
% 4.66/5.09 An
% 4.66/5.09 antigen
% 4.66/5.09 is
% 4.66/5.09 a
% 4.66/5.09 molecule
% 4.66/5.09 recognized
% 4.66/5.09 by
% 4.66/5.09 the
% 4.66/5.09 immune
% 4.66/5.09 system
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** ')
% 4.66/5.09 & concept2words_2(X,'5 prime region')
% 4.66/5.09 & concept2words_2(X,'5-prime-region')
% 4.66/5.09 & nucleic_acid_region_1(X) ) ) ) ).
% 4.66/5.09
% 4.66/5.09
% 4.66/5.09 ( all X (
% 4.66/5.09 ( a_antigen_1(X)
% 4.66/5.09 -> ( original_name_2(X,'A-Antigen')
% 4.66/5.09 & user_description_2(X,'An antigen is a molecule recognized by the immune system.
% 4.66/5.09
% 4.66/5.09 ERROR, the 12 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.09 Type
% 4.66/5.09 A
% 4.66/5.09 blood
% 4.66/5.09 has
% 4.66/5.09 one
% 4.66/5.09 kind
% 4.66/5.09 of
% 4.66/5.09 antigen
% 4.66/5.09 and
% 4.66/5.09 type
% 4.66/5.09 B
% 4.66/5.09 another
% 4.66/5.09
% 4.66/5.09 The context of the bad sequence is:
% 4.66/5.09 ***HERE*** Type A blood has one kind of antigen and type B another.
% 4.66/5.09
% 4.66/5.09 ERROR, the 13 terms/operators in the following sequence are OK, but they
% 4.66/5.09 could not be combined into a single term with special operators.
% 4.66/5.10 A
% 4.66/5.10 person
% 4.66/5.10 with
% 4.66/5.10 type
% 4.66/5.10 AB
% 4.66/5.10 blood
% 4.66/5.10 has
% 4.66/5.10 both
% 4.66/5.10 the
% 4.66/5.10 A
% 4.66/5.10 and
% 4.66/5.10 B
% 4.66/5.10 antigen
% 4.66/5.10
% 4.66/5.10 The context of the bad sequence is:
% 4.66/5.10 ***HERE*** A person with type AB blood has both the A and B antigen.
% 4.66/5.10
% 4.66/5.10 ERROR, the 67 terms/operators in the following sequence are OK, but they
% 4.66/5.10 could not be combined into a single term with special operators.
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 carbohydrate
% 4.66/5.10 a
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 carbohydrate
% 4.66/5.10 -
% 4.66/5.10 a
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 antigen
% 4.66/5.10 of
% 4.66/5.10 a
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 a
% 4.66/5.10 antigen
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 a
% 4.66/5.10 -
% 4.66/5.10 antigen
% 4.66/5.10 ')
% 4.66/5.10 & blood_carbohydrate_1(X)
% 4.66/5.10 & -b_antigen_1(X) ) ) ) ).
% 4.66/5.10
% 4.66/5.10 % a527197, axiom
% 4.66/5.10 ( all X (
% 4.66/5.10 ( a_band_1(X)
% 4.66/5.10 -> ( original_name_2(X,'
% 4.66/5.10 A
% 4.66/5.10 -
% 4.66/5.10 Band
% 4.66/5.10 ')
% 4.66/5.10 & user_description_2(X,'
% 4.66/5.10 A
% 4.66/5.10 broad
% 4.66/5.10 region
% 4.66/5.10 that
% 4.66/5.10 corresponds
% 4.66/5.10 to
% 4.66/5.10 the
% 4.66/5.10 length
% 4.66/5.10 of
% 4.66/5.10 the
% 4.66/5.10 thick
% 4.66/5.10 filaments
% 4.66/5.10 in
% 4.66/5.10 a
% 4.66/5.10 sarcomere
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 band
% 4.66/5.10 of
% 4.66/5.10 a
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 a
% 4.66/5.10 band
% 4.66/5.10 ')
% 4.66/5.10 & concept2words_2(X,'
% 4.66/5.10 a
% 4.66/5.10 -
% 4.66/5.10 band
% 4.66/5.10 ')
% 4.66/5.10 & biological_region_1(X) ) ) ) ).
% 4.66/5.10
% 4.66/5.10 % a527198, axiom
% 4.66/5.10 ( all X (
% 4.66/5.10 ( a_site_1(X)
% 4.66/5.10 -> ( original_name_2(X,'
% 4.66/5.10 A
% 4.66/5.10 -
% 4.66/5.10 Site
% 4.66/5.10 ')
% 4.66/5.10 & description_2(X,'
% 4.66/5.10 The
% 4.66/5.10 site
% 4.66/5.10 on
% 4.66/5.10 the
% 4.66/5.10 ribosome
% 4.66/5.10 where
% 4.66/5.10 the
% 4.66/5.10 incoming
% 4.66/5.10 amino
% 4.66/5.10 -
% 4.66/5.10 acyl
% 4.66/5.10 tRNA
% 4.66/5.10 binds
% 4.66/5.10
% 4.66/5.10 The context of the bad sequence is:
% 4.66/5.10 ***HERE*** ')
% 4.66/5.10 & concept2words_2(X,'carbohydrate a')
% 4.66/5.10 & concept2words_2(X,'carbohydrate-a')
% 4.66/5.10 & concept2words_2(X,'antigen of a')
% 4.66/5.10 & concept2words_2(X,'a antigen')
% 4.66/5.10 & concept2words_2(X,'a-antigen')
% 4.66/5.10 & blood_carbohydrate_1(X)
% 4.66/5.10 & -b_antigen_1(X) ) ) ) ).
% 4.66/5.10
% 4.66/5.10
% 4.66/5.10 ( all X (
% 4.66/5.10 ( a_band_1(X)
% 4.66/5.10 -> ( original_name_2(X,'A-Band')
% 4.66/5.10 & user_description_2(X,'A broad region that corresponds to the length of the thick filaments in a sarcomere')
% 4.66/5.10 & concept2words_2(X,'band of a')
% 4.66/5.10 & concept2words_2(X,'a band')
% 4.66/5.10 & concept2words_2(X,'a-band')
% 4.66/5.10 & biological_region_1(X) ) ) ) ).
% 4.66/5.10
% 4.66/5.10
% 4.66/5.10 ( all X (
% 4.66/5.10 ( a_site_1(X)
% 4.66/5.10 -> ( original_name_2(X,'A-Site')
% 4.66/5.10 & description_2(X,'The site on the ribosome where the incoming amino-acyl tRNA binds.
% 4.66/5.10
% 4.66/5.10 ERROR, the 7 terms/operators in the following sequence are OK, but they
% 4.66/5.10 could not be combined into a single term with special operators.
% 4.66/5.10 ')
% 4.66/5.10 & user_description_2(X,'
% 4.66/5.10 One
% 4.66/5.10 of
% 4.66/5.10 a
% 4.66/5.10 ribosome
% 4.66/5.10 \
% 4.66/5.10 's three binding sites for tRNA during translation. The A site holds the tRNA carrying the next amino acid to be added to the polypeptide chain.'
% 4.94/5.11
% 4.94/5.11 The context of the bad sequence is:
% 4.94/5.11 ***HERE*** ')
% 4.94/5.11 & user_description_2(X,'One of a ribosome\'s three binding sites for tRNA during translation. The A site holds the tRNA carrying the next amino acid to be added to the polypeptide chain.')
% 4.94/5.11 & concept2words_2(X,'a-site')
% 4.94/5.11 & ribosome_region_1(X)
% 4.94/5.11 & -number_3_prime_end_1(X)
% 4.94/5.11 & -number_5_prime_end_1(X)
% 4.94/5.11 & -e_site_1(X)
% 4.94/5.11 & -p_site_1(X)
% 4.94/5.11 & -active_site_1(X)
% 4.94/5.11 & -amino_end_1(X)
% 4.94/5.11 & -carboxyl_end_1(X)
% 4.94/5.11 & -cell_equator_1(X)
% 4.94/5.11 & -cell_opposite_pole_1(X)
% 4.94/5.11 & -cell_pole_1(X)
% 4.94/5.11 & -centromere_1(X)
% 4.94/5.11 & -cis_face_1(X)
% 4.94/5.11 & -cisternal_space_1(X)
% 4.94/5.11 & -cleavage_furrow_1(X)
% 4.94/5.11 & -cytoplasmic_side_1(X)
% 4.94/5.11 & -inside_face_1(X)
% 4.94/5.11 & -intermembrane_space_1(X)
% 4.94/5.11 & -metaphase_plate_1(X)
% 4.94/5.11 & -mitochondrial_matrix_1(X)
% 4.94/5.11 & -origin_of_replication_1(X)
% 4.94/5.11 & -plasmodesmata_1(X)
% 4.94/5.11 & -poly_a__tail_1(X)
% 4.94/5.11 & -splice_site_1(X)
% 4.94/5.11 & -target_destination_1(X)
% 4.94/5.11 & -thylakoid_space_1(X)
% 4.94/5.11 & -trans_face_1(X)
% 4.94/5.11 & three_prime_end_of_mrna_1(fn_a_site_1(X))
% 4.94/5.11 & large_ribosomal_subunit_1(fn_a_site_2(X))
% 4.94/5.11 & ribosome_1(fn_a_site_3(X))
% 4.94/5.11 & spatial_entity_1(fn_a_site_4(X))
% 4.94/5.11 & aminoacyl_trna_1(fn_a_site_4(X))
% 4.94/5.11 & attach_1(fn_a_site_5(X))
% 4.94/5.11 & attach_1(fn_a_site_6(X))
% 4.94/5.11 & codon_recognition_1(fn_a_site_7(X))
% 4.94/5.11 & move_1(fn_a_site_8(X))
% 4.94/5.11 & move_into_1(fn_a_site_8(X))
% 4.94/5.11 & attach_1(fn_codon_recognition_9(fn_a_site_7(X)))
% 4.94/5.11 & move_into_1(fn_codon_recognition_8(fn_a_site_7(X)))
% 4.94/5.11 & tangible_entity_1(fn_move_into_1(fn_a_site_8(X)))
% 4.94/5.11 & spatial_entity_1(fn_attach_2(fn_a_site_5(X)))
% 4.94/5.11 & a_site_1(fn_codon_recognition_3(fn_a_site_7(X)))
% 4.94/5.11 & spatial_entity_1(fn_move_1(fn_a_site_8(X)))
% 4.94/5.11 & spatial_entity_1(fn_attach_1(fn_a_site_5(X)))
% 4.94/5.11 & aminoacyl_trna_1(fn_codon_recognition_11(fn_a_site_7(X)))
% 4.94/5.11 & site_2(fn_a_site_7(X),fn_a_site_3(X))
% 4.94/5.11 & has_region_2(fn_a_site_2(X),X)
% 4.94/5.11 & is_inside_2(X,fn_a_site_3(X))
% 4.94/5.11 & is_near_2(X,fn_a_site_1(X))
% 4.94/5.11 & has_part_2(fn_a_site_3(X),fn_a_site_2(X))
% 4.94/5.11 & has_region_2(fn_a_site_3(X),X)
% 4.94/5.11 & is_near_2(fn_a_site_1(X),X)
% 4.94/5.11 & object_2(fn_a_site_5(X),fn_a_site_4(X))
% 4.94/5.11 & base_2(fn_a_site_5(X),X)
% 4.94/5.11 & object_2(fn_a_site_7(X),fn_a_site_4(X))
% 4.94/5.11 & object_2(fn_a_site_6(X),fn_a_site_4(X))
% 4.94/5.11 & subevent_2(fn_a_site_7(X),fn_a_site_6(X))
% 4.94/5.11 & subevent_2(fn_a_site_7(X),fn_a_site_8(X))
% 4.94/5.11 & agent_2(fn_a_site_7(X),fn_a_site_4(X))
% 4.94/5.11 & object_2(fn_a_site_8(X),fn_a_site_4(X))
% 4.94/5.11 & destination_2(fn_a_site_8(X),X)
% 4.94/5.11 & path_2(fn_a_site_8(X),X)
% 4.94/5.11 & next_event_2(fn_a_site_8(X),fn_a_site_6(X))
% 4.94/5.11 & base_2(fn_a_site_8(X),fn_a_site_3(X))
% 4.94/5.11 & =(fn_a_site_4(X),fn_attach_1(fn_a_site_5(X)))
% 4.94/5.11 & =(X,fn_attach_2(fn_a_site_5(X)))
% 4.94/5.11 & =(fn_a_site_6(X),fn_codon_recognition_9(fn_a_site_7(X)))
% 4.94/5.11 & =(X,fn_codon_recognition_3(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_a_site_4(X),fn_move_1(fn_a_site_8(X)))
% 4.94/5.11 & =(fn_a_site_8(X),fn_codon_recognition_8(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_a_site_4(X),fn_codon_recognition_11(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_a_site_3(X),fn_move_into_1(fn_a_site_8(X)))
% 4.94/5.11 & =(fn_attach_2(fn_a_site_5(X)),fn_codon_recognition_3(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_codon_recognition_3(fn_a_site_7(X)),fn_codon_recognition_3(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_codon_recognition_3(fn_a_site_7(X)),fn_attach_1(fn_a_site_5(X)))
% 4.94/5.11 & =(fn_attach_1(fn_a_site_5(X)),fn_move_1(fn_a_site_8(X)))
% 4.94/5.11 & =(fn_move_1(fn_a_site_8(X)),fn_attach_1(fn_a_site_5(X)))
% 4.94/5.11 & =(fn_attach_1(fn_a_site_5(X)),fn_codon_recognition_11(fn_a_site_7(X)))
% 4.94/5.11 & =(fn_codon_recognition_11(fn_a_site_7(X)),fn_codon_recognition_11(fn_a_site_7(X))) ) ) ) ).
% 4.94/5.11
% 4.94/5.11 ERROR, the 14 terms/operators in the following sequence are OK, but they
% 4.94/5.11 could not be combined into a single term with special operators.
% 4.94/5.11 'The fourth chamber in a ruminant\'
% 4.94/5.11 s
% 4.94/5.11 digestive
% 4.94/5.11 system
% 4.94/5.11 in
% 4.94/5.11 which
% 4.94/5.11 cud
% 4.94/5.11 is
% 4.94/5.11 digested
% 4.94/5.11 by
% 4.94/5.11 the
% 4.94/5.11 ruminant
% 4.94/5.11 \
% 4.94/5.11 's own enzymes. The abomasum corresponds to the stomach in other mammals.'
% 4.94/5.15
% 4.94/5.15 The context of the bad sequence is:
% 4.94/5.15
% 4.94/5.15
% 4.94/5.15 ( all X (
% 4.94/5.15 ( abomasum_1(X)
% 4.94/5.15 -> ( original_name_2(X,'Abomasum')
% 4.94/5.15 & user_description_2(X, ***HERE*** 'The fourth chamber in a ruminant\'s digestive system in which cud is digested by the ruminant\'s own enzymes. The abomasum corresponds to the stomach in other mammals.')
% 4.94/5.15 & concept2words_2(X,abomasum)
% 4.94/5.15 & digestive_organ_1(X) ) ) ) ).
% 4.94/5.15
% 4.94/5.15 ERROR, name too big, max is 255;
% 4.94/5.15 ERROR, name expected:
% 4.94/5.15
% 4.94/5.15
% 4.94/5.15 ( all X (
% 4.94/5.15 ( acetyl_coa_1(X)
% 4.94/5.15 -> ( original_name_2(X,'Acetyl-CoA')
% 4.94/5.15 & user_description_2(X,'Acetyl coenzyme A or acetyl-CoA is an important molecule in metabolism, used in many biochemical reactions. Its main function is to convey the carbon atoms within the acetyl group to the citric acid cycle to be oxidized for energy production. In chemical ***HERE*** structure, acetyl-CoA is the thioester between coenzyme A (a thiol) and acetic acid (an acyl group carrier).')
% 4.94/5.15 & concept2words_2(X,'acetyl coenzyme a')
% 4.94/5.15 & concept2words_2(X,'acetyl-coenzyme-a')
% 4.94/5.15 & concept2words_2(X,'acetyl coa')
% 4.94/5.15 & concept2words_2(X,'acetyl-coa')
% 4.94/5.15 & ester_1(X)
% 4.94/5.15 & -coenzyme_a_1(X)
% 4.94/5.15 & -fadh2_1(X)
% 4.94/5.15 & -nad_plus_1(X)
% 4.94/5.15 & -nadh_1(X)
% 4.94/5.15 & -nadp_plus_1(X)
% 4.94/5.15 & -nadph_1(X)
% 4.94/5.15 & -succinyl_coa_1(X)
% 4.99/5.15 & coenzyme_a_1(fn_acetyl_coa_1(X))
% 4.99/5.15 & charge_value_1(fn_acetyl_coa_2(X))
% 4.99/5.15 & kinetic_energy_1(fn_acetyl_coa_6(X))
% 4.99/5.15 & constant_motion_1(fn_acetyl_coa_7(X))
% 4.99/5.15 & speed_value_1(fn_acetyl_coa_8(X))
% 4.99/5.15 & quantity_value_1(fn_acetyl_coa_9(X))
% 4.99/5.15 & hold_together_1(fn_acetyl_coa_10(X))
% 4.99/5.15 & hold_together_1(fn_acetyl_coa_11(X))
% 4.99/5.15 & atomic_nucleus_1(fn_acetyl_coa_12(X))
% 4.99/5.15 & center_1(fn_acetyl_coa_13(X))
% 4.99/5.15 & entity_1(fn_acetyl_coa_14(X))
% 4.99/5.15 & chemical_entity_1(fn_acetyl_coa_14(X))
% 4.99/5.15 & atom_1(fn_acetyl_coa_14(X))
% 4.99/5.15 & oxygen_1(fn_acetyl_coa_14(X))
% 4.99/5.15 & carbon_skeleton_1(fn_acetyl_coa_15(X))
% 4.99/5.15 & hold_together_1(fn_acetyl_coa_16(X))
% 4.99/5.15 & tangible_entity_1(fn_acetyl_coa_17(X))
% 4.99/5.15 & entity_1(fn_acetyl_coa_17(X))
% 4.99/5.15 & atom_1(fn_acetyl_coa_17(X))
% 4.99/5.15 & chemical_entity_1(fn_acetyl_coa_17(X))
% 4.99/5.15 & oxygen_1(fn_acetyl_coa_17(X))
% 4.99/5.15 & single_bond_1(fn_acetyl_coa_18(X))
% 4.99/5.15 & ester_linkage_1(fn_acetyl_coa_18(X))
% 4.99/5.15 & entity_1(fn_acetyl_coa_19(X))
% 4.99/5.15 & chemical_entity_1(fn_acetyl_coa_19(X))
% 4.99/5.15 & atom_1(fn_acetyl_coa_19(X))
% 4.99/5.15 & carbon_1(fn_acetyl_coa_19(X))
% 4.99/5.15 & acetyl_group_1(fn_acetyl_coa_20(X))
% 4.99/5.15 & entity_1(fn_acetyl_coa_21(X))
% 4.99/5.15 & electron_1(fn_acetyl_coa_21(X))
% 4.99/5.15 & valence_electron_1(fn_acetyl_coa_21(X))
% 4.99/5.15 & electron_1(fn_acetyl_coa_22(X))
% 4.99/5.15 & valence_electron_1(fn_acetyl_coa_22(X))
% 4.99/5.15 & share_1(fn_acetyl_coa_23(X))
% 4.99/5.15 & share_1(fn_acetyl_coa_24(X))
% 4.99/5.15 & unequal_sharing_1(fn_acetyl_coa_24(X))
% 4.99/5.15 & covalent_bond_1(fn_acetyl_coa_25(X))
% 4.99/5.15 & double_bond_1(fn_acetyl_coa_25(X))
% 4.99/5.15 & hold_together_1(fn_acetyl_coa_26(X))
% 4.99/5.15 & hold_1(fn_acetyl_coa_27(X))
% 4.99/5.15 & hold_together_1(fn_acetyl_coa_27(X))
% 4.99/5.15 & carboxyl_group_1(fn_acetyl_coa_28(X))
% 4.99/5.15 & center_1(fn_acetyl_coa_29(X))
% 4.99/5.15 & electron_shell_1(fn_acetyl_coa_30(X))
% 4.99/5.15 & electron_shell_1(fn_acetyl_coa_31(X))
% 4.99/5.15 & entity_1(fn_acetyl_coa_32(X))
% 4.99/5.15 & chemical_entity_1(fn_acetyl_coa_32(X))
% 4.99/5.15 & atom_1(fn_acetyl_coa_32(X))
% 4.99/5.15 & hydrogen_1(fn_acetyl_coa_32(X))
% 4.99/5.15 & carbonyl_group_1(fn_acetyl_coa_33(X))
% 4.99/5.15 & chemical_entity_1(fn_functional_group_1(fn_acetyl_coa_20(X)))
% 4.99/5.15 & share_1(fn_carboxyl_group_49(fn_acetyl_coa_28(X)))
% 4.99/5.15 & atomic_nucleus_1(fn_carboxyl_group_46(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hold_together_1(fn_carboxyl_group_55(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hold_together_1(fn_acetyl_group_1(fn_acetyl_coa_20(X)))
% 4.99/5.15 & electron_1(fn_carboxyl_group_45(fn_acetyl_coa_28(X)))
% 4.99/5.15 & valence_electron_1(fn_carboxyl_group_45(fn_acetyl_coa_28(X)))
% 4.99/5.15 & electron_1(fn_carboxyl_group_62(fn_acetyl_coa_28(X)))
% 4.99/5.15 & valence_electron_1(fn_carboxyl_group_62(fn_acetyl_coa_28(X)))
% 4.99/5.15 & entity_1(fn_carboxyl_group_21(fn_acetyl_coa_28(X)))
% 4.99/5.15 & valence_electron_1(fn_carboxyl_group_21(fn_acetyl_coa_28(X)))
% 4.99/5.15 & electron_1(fn_carboxyl_group_40(fn_acetyl_coa_28(X)))
% 4.99/5.15 & valence_electron_1(fn_carboxyl_group_40(fn_acetyl_coa_28(X)))
% 4.99/5.15 & share_1(fn_covalent_bond_17(fn_acetyl_coa_25(X)))
% 4.99/5.15 & unequal_sharing_1(fn_ester_linkage_32(fn_acetyl_coa_18(X)))
% 4.99/5.15 & share_1(fn_carboxyl_group_66(fn_acetyl_coa_28(X)))
% 4.99/5.15 & unequal_sharing_1(fn_carboxyl_group_66(fn_acetyl_coa_28(X)))
% 4.99/5.15 & electron_shell_1(fn_acetyl_group_6(fn_acetyl_coa_20(X)))
% 4.99/5.15 & electron_shell_1(fn_carboxyl_group_22(fn_acetyl_coa_28(X)))
% 4.99/5.15 & electron_shell_1(fn_ester_linkage_10(fn_acetyl_coa_18(X)))
% 4.99/5.15 & electron_shell_1(fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & electron_shell_1(fn_carboxyl_group_16(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hydrogen_1(fn_acetyl_group_2(fn_acetyl_coa_20(X)))
% 4.99/5.15 & entity_1(fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & chemical_entity_1(fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & atom_1(fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hydrogen_1(fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & center_1(fn_acetyl_group_7(fn_acetyl_coa_20(X)))
% 4.99/5.15 & center_1(fn_carboxyl_group_20(fn_acetyl_coa_28(X)))
% 4.99/5.15 & center_1(fn_ester_linkage_44(fn_acetyl_coa_18(X)))
% 4.99/5.15 & center_1(fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & center_1(fn_carboxyl_group_18(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hold_together_1(fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & hold_together_1(fn_carboxyl_group_47(fn_acetyl_coa_28(X)))
% 4.99/5.15 & hold_together_1(fn_carboxyl_group_67(fn_acetyl_coa_28(X)))
% 4.99/5.15 & double_bond_1(fn_carboxyl_group_70(fn_acetyl_coa_28(X)))
% 4.99/5.15 & tangible_entity_1(fn_hold_2(fn_acetyl_coa_27(X)))
% 4.99/5.15 & carbon_1(fn_acetyl_group_3(fn_acetyl_coa_20(X)))
% 4.99/5.15 & entity_1(fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 4.99/5.15 & chemical_entity_1(fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 4.99/5.15 & atom_1(fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 4.99/5.15 & carbon_1(fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 4.99/5.15 & carbon_1(fn_acetyl_group_5(fn_acetyl_coa_20(X)))
% 4.99/5.15 & entity_1(fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 4.99/5.15 & chemical_entity_1(fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 4.99/5.15 & atom_1(fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 4.99/5.15 & carbon_1(fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 4.99/5.15 & oxygen_1(fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 4.99/5.15 & oxygen_1(fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 4.99/5.15 & oxygen_1(fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 4.99/5.15 & oxygen_1(fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 4.99/5.15 & the_cardinal_value_2(fn_acetyl_coa_2(X),"0")
% 4.99/5.15 & cardinal_unit_class_2(fn_acetyl_coa_2(X),unity_0)
% 4.99/5.15 & the_categorical_value_2(fn_acetyl_coa_2(X),partial_positive_0)
% 4.99/5.15 & the_categorical_value_2(fn_acetyl_coa_2(X),partial_negative_0)
% 4.99/5.15 & has_part_2(X,fn_acetyl_coa_1(X))
% 4.99/5.15 & has_part_2(X,fn_acetyl_coa_32(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_27(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & result_2(fn_acetyl_coa_24(X),fn_acetyl_coa_25(X))
% 4.99/5.15 & has_region_2(X,fn_acetyl_coa_20(X))
% 4.99/5.15 & possesses_2(X,fn_acetyl_coa_18(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_18(X),fn_acetyl_coa_14(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_24(X),fn_acetyl_coa_14(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_19(X),fn_acetyl_coa_29(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_26(X),fn_acetyl_coa_18(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_17(X),fn_acetyl_coa_31(X))
% 4.99/5.15 & result_2(fn_acetyl_coa_24(X),fn_acetyl_coa_18(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_24(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_19(X),fn_acetyl_coa_30(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_18(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_16(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_16(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_18(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & has_function_2(fn_acetyl_coa_18(X),fn_acetyl_coa_26(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_14(X),fn_acetyl_coa_31(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_19(X),fn_acetyl_coa_20(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_19(X),fn_acetyl_coa_32(X)) )
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_32(X),fn_acetyl_coa_20(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_14(X),fn_acetyl_coa_20(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_14(X),fn_acetyl_coa_13(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_32(X),fn_acetyl_coa_19(X)) )
% 4.99/5.15 & has_region_2(fn_acetyl_coa_32(X),fn_acetyl_coa_29(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_23(X),fn_acetyl_coa_22(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_32(X),fn_acetyl_coa_30(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_19(X),fn_acetyl_coa_28(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_17(X),fn_acetyl_coa_28(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_25(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & has_function_2(fn_acetyl_coa_25(X),fn_acetyl_coa_26(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_26(X),fn_acetyl_coa_25(X))
% 4.99/5.15 & result_2(fn_acetyl_coa_23(X),fn_acetyl_coa_25(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_23(X),fn_acetyl_coa_21(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_11(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_11(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_23(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_23(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_19(X),fn_acetyl_coa_31(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_24(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_24(X),fn_acetyl_coa_21(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_21(X),fn_acetyl_coa_22(X)) )
% 4.99/5.15 & object_2(fn_acetyl_coa_24(X),fn_acetyl_coa_22(X))
% 4.99/5.15 & agent_2(fn_acetyl_coa_24(X),fn_acetyl_coa_32(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_22(X),fn_acetyl_coa_21(X)) )
% 4.99/5.15 & object_2(fn_acetyl_coa_10(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_10(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_19(X),fn_acetyl_coa_13(X))
% 4.99/5.15 & is_at_2(fn_acetyl_coa_12(X),fn_acetyl_coa_13(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_19(X),fn_acetyl_coa_12(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_26(X),fn_acetyl_coa_17(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_26(X),fn_acetyl_coa_32(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_32(X),fn_acetyl_coa_14(X)) )
% 4.99/5.15 & has_region_2(fn_acetyl_coa_14(X),fn_acetyl_coa_30(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_30(X),fn_acetyl_coa_31(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_14(X),fn_acetyl_coa_32(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_31(X),fn_acetyl_coa_30(X)) )
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_14(X),fn_acetyl_coa_28(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_14(X),fn_acetyl_coa_29(X))
% 4.99/5.15 & has_region_2(fn_acetyl_coa_17(X),fn_acetyl_coa_29(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_13(X),fn_acetyl_coa_29(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_29(X),fn_acetyl_coa_13(X)) )
% 4.99/5.15 & has_region_2(X,fn_acetyl_coa_33(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_19(X),fn_acetyl_coa_33(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_17(X),fn_acetyl_coa_33(X))
% 4.99/5.15 & has_part_2(X,fn_acetyl_coa_17(X))
% 4.99/5.15 & possesses_2(X,fn_acetyl_coa_25(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_26(X),fn_acetyl_coa_14(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_26(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & is_inside_2(fn_acetyl_coa_19(X),fn_acetyl_coa_15(X))
% 4.99/5.15 & has_region_2(X,fn_acetyl_coa_15(X))
% 4.99/5.15 & has_part_2(X,fn_acetyl_coa_19(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_7(X),X)
% 4.99/5.15 & speed_2(fn_acetyl_coa_7(X),fn_acetyl_coa_8(X))
% 4.99/5.15 & directly_proportional_2(fn_acetyl_coa_8(X),fn_acetyl_coa_9(X))
% 4.99/5.15 & quantity_2(fn_acetyl_coa_6(X),fn_acetyl_coa_9(X))
% 4.99/5.15 & possesses_2(X,fn_acetyl_coa_6(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_27(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & object_2(fn_acetyl_coa_27(X),fn_acetyl_coa_14(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_25(X),fn_acetyl_coa_14(X))
% 4.99/5.15 & is_between_2(fn_acetyl_coa_25(X),fn_acetyl_coa_19(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_19(X),fn_acetyl_coa_17(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_17(X),fn_acetyl_coa_19(X)) )
% 4.99/5.15 & has_part_2(X,fn_acetyl_coa_14(X))
% 4.99/5.15 & - ( =(fn_acetyl_coa_19(X),fn_acetyl_coa_14(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_14(X),fn_acetyl_coa_19(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_17(X),fn_acetyl_coa_14(X)) )
% 4.99/5.15 & - ( =(fn_acetyl_coa_14(X),fn_acetyl_coa_17(X)) )
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_hold_2(fn_acetyl_coa_27(X)))
% 4.99/5.15 & =(fn_acetyl_coa_24(X),fn_covalent_bond_17(fn_acetyl_coa_25(X)))
% 4.99/5.15 & =(X,fn_functional_group_1(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_29(X),fn_ester_linkage_44(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_31(X),fn_ester_linkage_10(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_30(X),fn_ester_linkage_10(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_24(X),fn_ester_linkage_32(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_26(X),fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_ester_9(X))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_16(X),fn_acetyl_group_1(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_16(X),fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_18(X),fn_ester_10(X))
% 4.99/5.15 & =(fn_acetyl_coa_19(X),fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_acetyl_coa_31(X),fn_acetyl_group_6(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_13(X),fn_acetyl_group_7(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_32(X),fn_acetyl_group_2(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_19(X),fn_acetyl_group_3(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_19(X),fn_acetyl_group_5(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_coa_29(X),fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_22(X),fn_carboxyl_group_45(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_30(X),fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_21(X),fn_carboxyl_group_21(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_26(X),fn_carboxyl_group_47(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_25(X),fn_carboxyl_group_70(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_31(X),fn_carboxyl_group_22(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_23(X),fn_carboxyl_group_49(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_11(X),fn_carboxyl_group_47(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_22(X),fn_carboxyl_group_62(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_21(X),fn_carboxyl_group_40(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_24(X),fn_carboxyl_group_66(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_12(X),fn_carboxyl_group_46(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_13(X),fn_carboxyl_group_20(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_19(X),fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_10(X),fn_carboxyl_group_55(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_31(X),fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_30(X),fn_carboxyl_group_16(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_32(X),fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_26(X),fn_carboxyl_group_67(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_13(X),fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_29(X),fn_carboxyl_group_18(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_acetyl_coa_5(X),fn_ester_2(X))
% 4.99/5.15 & =(fn_acetyl_coa_4(X),fn_ester_1(X))
% 4.99/5.15 & =(fn_acetyl_coa_33(X),fn_ester_8(X))
% 4.99/5.15 & =(fn_acetyl_coa_15(X),fn_ester_15(X))
% 4.99/5.15 & =(fn_acetyl_coa_26(X),fn_ester_14(X))
% 4.99/5.15 & =(fn_acetyl_coa_6(X),fn_ester_3(X))
% 4.99/5.15 & =(fn_acetyl_coa_9(X),fn_ester_6(X))
% 4.99/5.15 & =(fn_acetyl_coa_8(X),fn_ester_5(X))
% 4.99/5.15 & =(fn_acetyl_coa_7(X),fn_ester_4(X))
% 4.99/5.15 & =(fn_acetyl_coa_25(X),fn_ester_7(X))
% 4.99/5.15 & =(fn_acetyl_coa_27(X),fn_ester_13(X))
% 4.99/5.15 & =(fn_acetyl_coa_17(X),fn_ester_12(X))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_ester_12(X))
% 4.99/5.15 & =(fn_acetyl_coa_19(X),fn_ester_11(X))
% 4.99/5.15 & =(fn_acetyl_coa_14(X),fn_ester_9(X))
% 4.99/5.15 & =(fn_ester_linkage_19(fn_acetyl_coa_18(X)),fn_acetyl_group_1(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_1(fn_acetyl_coa_20(X)),fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_19(fn_acetyl_coa_18(X)),fn_carboxyl_group_45(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_45(fn_acetyl_coa_28(X)),fn_carboxyl_group_62(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_62(fn_acetyl_coa_28(X)),fn_carboxyl_group_62(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_62(fn_acetyl_coa_28(X)),fn_carboxyl_group_21(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_21(fn_acetyl_coa_28(X)),fn_carboxyl_group_40(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_40(fn_acetyl_coa_28(X)),fn_carboxyl_group_40(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_40(fn_acetyl_coa_28(X)),fn_covalent_bond_17(fn_acetyl_coa_25(X)))
% 4.99/5.15 & =(fn_covalent_bond_17(fn_acetyl_coa_25(X)),fn_ester_linkage_32(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_32(fn_acetyl_coa_18(X)),fn_ester_linkage_32(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_32(fn_acetyl_coa_18(X)),fn_carboxyl_group_66(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_66(fn_acetyl_coa_28(X)),fn_carboxyl_group_66(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_66(fn_acetyl_coa_28(X)),fn_ester_linkage_10(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_10(fn_acetyl_coa_18(X)),fn_acetyl_group_6(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_6(fn_acetyl_coa_20(X)),fn_acetyl_group_6(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_6(fn_acetyl_coa_20(X)),fn_carboxyl_group_22(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_22(fn_acetyl_coa_28(X)),fn_carboxyl_group_22(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_22(fn_acetyl_coa_28(X)),fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_63(fn_acetyl_coa_28(X)),fn_ester_linkage_10(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_10(fn_acetyl_coa_18(X)),fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_63(fn_acetyl_coa_28(X)),fn_carboxyl_group_63(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_63(fn_acetyl_coa_28(X)),fn_carboxyl_group_16(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_16(fn_acetyl_coa_28(X)),fn_carboxyl_group_16(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_16(fn_acetyl_coa_28(X)),fn_acetyl_group_2(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_2(fn_acetyl_coa_20(X)),fn_acetyl_group_2(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_2(fn_acetyl_coa_20(X)),fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_25(fn_acetyl_coa_28(X)),fn_carboxyl_group_25(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_25(fn_acetyl_coa_28(X)),fn_acetyl_group_7(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_7(fn_acetyl_coa_20(X)),fn_carboxyl_group_20(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_20(fn_acetyl_coa_28(X)),fn_carboxyl_group_20(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_20(fn_acetyl_coa_28(X)),fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_64(fn_acetyl_coa_28(X)),fn_ester_linkage_44(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_44(fn_acetyl_coa_18(X)),fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_64(fn_acetyl_coa_28(X)),fn_carboxyl_group_64(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_64(fn_acetyl_coa_28(X)),fn_carboxyl_group_18(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_18(fn_acetyl_coa_28(X)),fn_carboxyl_group_18(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_18(fn_acetyl_coa_28(X)),fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_19(fn_acetyl_coa_18(X)),fn_ester_linkage_19(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_19(fn_acetyl_coa_18(X)),fn_carboxyl_group_47(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_47(fn_acetyl_coa_28(X)),fn_carboxyl_group_47(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_47(fn_acetyl_coa_28(X)),fn_carboxyl_group_67(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_67(fn_acetyl_coa_28(X)),fn_carboxyl_group_67(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_67(fn_acetyl_coa_28(X)),fn_ester_14(X))
% 4.99/5.15 & =(fn_ester_14(X),fn_ester_14(X))
% 4.99/5.15 & =(fn_ester_14(X),fn_carboxyl_group_70(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_70(fn_acetyl_coa_28(X)),fn_carboxyl_group_70(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_70(fn_acetyl_coa_28(X)),fn_ester_7(X))
% 4.99/5.15 & =(fn_ester_7(X),fn_ester_7(X))
% 4.99/5.15 & =(fn_ester_7(X),fn_hold_2(fn_acetyl_coa_27(X)))
% 4.99/5.15 & =(fn_hold_2(fn_acetyl_coa_27(X)),fn_ester_9(X))
% 4.99/5.15 & =(fn_ester_9(X),fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 4.99/5.15 & =(fn_acetyl_group_4(fn_acetyl_coa_20(X)),fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_27(fn_acetyl_coa_18(X)),fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 4.99/5.15 & =(fn_ester_linkage_27(fn_acetyl_coa_18(X)),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_23(fn_acetyl_coa_28(X)),fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 4.99/5.15 & =(fn_carboxyl_group_24(fn_acetyl_coa_28(X)),fn_ester_12(X))
% 5.22/5.39 & =(fn_ester_12(X),fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 5.22/5.39 & =(fn_ester_linkage_28(fn_acetyl_coa_18(X)),fn_acetyl_group_3(fn_acetyl_coa_20(X)))
% 5.22/5.39 & =(fn_acetyl_group_3(fn_acetyl_coa_20(X)),fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 5.22/5.39 & =(fn_ester_linkage_28(fn_acetyl_coa_18(X)),fn_ester_linkage_28(fn_acetyl_coa_18(X)))
% 5.22/5.39 & =(fn_ester_linkage_28(fn_acetyl_coa_18(X)),fn_acetyl_group_5(fn_acetyl_coa_20(X)))
% 5.22/5.39 & =(fn_acetyl_group_5(fn_acetyl_coa_20(X)),fn_acetyl_group_5(fn_acetyl_coa_20(X)))
% 5.22/5.39 & =(fn_acetyl_group_5(fn_acetyl_coa_20(X)),fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_ester_11(X),fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_19(fn_acetyl_coa_28(X)),fn_carboxyl_group_19(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_19(fn_acetyl_coa_28(X)),fn_ester_11(X))
% 5.22/5.39 & =(fn_ester_11(X),fn_ester_11(X))
% 5.22/5.39 & =(fn_ester_11(X),fn_ester_linkage_27(fn_acetyl_coa_18(X)))
% 5.22/5.39 & =(fn_ester_linkage_27(fn_acetyl_coa_18(X)),fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 5.22/5.39 & =(fn_acetyl_group_4(fn_acetyl_coa_20(X)),fn_acetyl_group_4(fn_acetyl_coa_20(X)))
% 5.22/5.39 & =(fn_acetyl_group_4(fn_acetyl_coa_20(X)),fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_24(fn_acetyl_coa_28(X)),fn_carboxyl_group_24(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_24(fn_acetyl_coa_28(X)),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_ester_12(X),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_23(fn_acetyl_coa_28(X)),fn_carboxyl_group_23(fn_acetyl_coa_28(X)))
% 5.22/5.39 & =(fn_carboxyl_group_23(fn_acetyl_coa_28(X)),fn_ester_12(X))
% 5.22/5.39 & =(fn_ester_12(X),fn_ester_12(X))
% 5.22/5.39 & =(fn_ester_9(X),fn_ester_12(X))
% 5.22/5.39 & =(fn_ester_12(X),fn_ester_9(X))
% 5.22/5.39 & =(fn_ester_9(X),fn_ester_9(X)) ) ) ) ).
% 5.22/5.39
% 5.22/5.39 ERROR, term too big:
% 5.22/5.39
% 5.22/5.39
% 5.22/5.39 ( all X (
% 5.22/5.39 ( acidic_amino_acid_1(X)
% 5.22/5.39 -> ( original_name_2(X,'Acidic-Amino-Acid')
% 5.22/5.39 & user_description_2(X,'Amino acids which carry an overall negative charge due to the presence of negatively charged side chain.')
% 5.22/5.39 & concept2words_2(X,'negatively charged amino acid')
% 5.22/5.39 & concept2words_2(X,'negatively-charged-amino-acid')
% 5.22/5.39 & concept2words_2(X,'acidic amino acid')
% 5.22/5.39 & concept2words_2(X,'acidic-amino-acid')
% 5.22/5.39 & electrically_charged_amino_acid_1(X)
% 5.22/5.39 & negatively_charged_region_1(fn_acidic_amino_acid_1(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_2(X))
% 5.22/5.39 & kinetic_energy_1(fn_acidic_amino_acid_6(X))
% 5.22/5.39 & end_1(fn_acidic_amino_acid_7(X))
% 5.22/5.39 & constant_motion_1(fn_acidic_amino_acid_8(X))
% 5.22/5.39 & charge_value_1(fn_acidic_amino_acid_9(X))
% 5.22/5.39 & speed_value_1(fn_acidic_amino_acid_10(X))
% 5.22/5.39 & quantity_value_1(fn_acidic_amino_acid_11(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_12(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_13(X))
% 5.22/5.39 & hold_1(fn_acidic_amino_acid_14(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_14(X))
% 5.22/5.39 & hold_1(fn_acidic_amino_acid_15(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_15(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_16(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_17(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_18(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_19(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_20(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_21(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_22(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_23(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_24(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_25(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_26(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_27(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_28(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_29(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_30(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_31(X))
% 5.22/5.39 & electron_1(fn_acidic_amino_acid_31(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_31(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_31(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_32(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_33(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_34(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_35(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_36(X))
% 5.22/5.39 & electron_shell_1(fn_acidic_amino_acid_37(X))
% 5.22/5.39 & electron_shell_1(fn_acidic_amino_acid_38(X))
% 5.22/5.39 & electron_shell_1(fn_acidic_amino_acid_39(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_40(X))
% 5.22/5.39 & polar_side_chain_1(fn_acidic_amino_acid_41(X))
% 5.22/5.39 & amino_group_1(fn_acidic_amino_acid_42(X))
% 5.22/5.39 & carboxyl_group_1(fn_acidic_amino_acid_43(X))
% 5.22/5.39 & carbon_skeleton_1(fn_acidic_amino_acid_44(X))
% 5.22/5.39 & covalent_bond_1(fn_acidic_amino_acid_45(X))
% 5.22/5.39 & single_bond_1(fn_acidic_amino_acid_45(X))
% 5.22/5.39 & chemical_entity_1(fn_acidic_amino_acid_46(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_46(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_46(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_46(X))
% 5.22/5.39 & nitrogen_1(fn_acidic_amino_acid_46(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_47(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_47(X))
% 5.22/5.39 & chemical_entity_1(fn_acidic_amino_acid_47(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_47(X))
% 5.22/5.39 & hydrogen_1(fn_acidic_amino_acid_47(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_48(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_48(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_48(X))
% 5.22/5.39 & oxygen_1(fn_acidic_amino_acid_48(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_49(X))
% 5.22/5.39 & chemical_entity_1(fn_acidic_amino_acid_49(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_49(X))
% 5.22/5.39 & hydrogen_1(fn_acidic_amino_acid_49(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_50(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_50(X))
% 5.22/5.39 & chemical_entity_1(fn_acidic_amino_acid_50(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_50(X))
% 5.22/5.39 & carbon_1(fn_acidic_amino_acid_50(X))
% 5.22/5.39 & electron_shell_1(fn_acidic_amino_acid_51(X))
% 5.22/5.39 & electron_shell_1(fn_acidic_amino_acid_52(X))
% 5.22/5.39 & hold_1(fn_acidic_amino_acid_53(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_53(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_54(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_55(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_56(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_57(X))
% 5.22/5.39 & atom_1(fn_acidic_amino_acid_57(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_57(X))
% 5.22/5.39 & oxygen_1(fn_acidic_amino_acid_57(X))
% 5.22/5.39 & entity_1(fn_acidic_amino_acid_58(X))
% 5.22/5.39 & tangible_entity_1(fn_acidic_amino_acid_58(X))
% 5.22/5.39 & electron_1(fn_acidic_amino_acid_58(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_58(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_59(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_60(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_61(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_62(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_63(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_64(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_65(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_66(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_67(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_68(X))
% 5.22/5.39 & hold_1(fn_acidic_amino_acid_69(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_69(X))
% 5.22/5.39 & hold_1(fn_acidic_amino_acid_70(X))
% 5.22/5.39 & hold_together_1(fn_acidic_amino_acid_70(X))
% 5.22/5.39 & atomic_nucleus_1(fn_acidic_amino_acid_71(X))
% 5.22/5.39 & valence_electron_1(fn_acidic_amino_acid_72(X))
% 5.22/5.39 & atomic_nucleus_1(fn_acidic_amino_acid_73(X))
% 5.22/5.39 & share_1(fn_acidic_amino_acid_74(X))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & entity_1(fn_share_2(fn_acidic_amino_acid_23(X)))
% 5.22/5.39 & electron_shell_1(fn_atom_9(fn_acidic_amino_acid_57(X)))
% 5.22/5.39 & electron_shell_1(fn_atom_9(fn_acidic_amino_acid_48(X)))
% 5.22/5.39 & electron_shell_1(fn_covalent_bond_11(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & hold_together_1(fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_19(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_59(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_14(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_70(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_55(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_16(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & atomic_nucleus_1(fn_covalent_bond_24(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & atomic_nucleus_1(fn_covalent_bond_22(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_53(X)))
% 5.22/5.39 & share_1(fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & valence_electron_1(fn_covalent_bond_15(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & valence_electron_1(fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_15(X)))
% 5.22/5.39 & entity_1(fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & chemical_entity_1(fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & atom_1(fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & entity_1(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & chemical_entity_1(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & atom_1(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & entity_1(fn_share_1(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & entity_1(fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_36(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_54(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_18(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_17(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_67(X)))
% 5.22/5.39 & tangible_entity_1(fn_hold_2(fn_acidic_amino_acid_68(X)))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_68(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_67(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_59(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_56(X),fn_acidic_amino_acid_2(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_55(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_55(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_55(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_54(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_53(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & exactCardinality(X,has_region_0,"2",carboxyl_group_0)
% 5.22/5.39 & has_region_2(X,fn_acidic_amino_acid_1(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_1(X),fn_acidic_amino_acid_41(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_2(X),fn_acidic_amino_acid_40(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_40(X),fn_acidic_amino_acid_2(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_39(X),fn_acidic_amino_acid_38(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_39(X),fn_acidic_amino_acid_37(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_38(X),fn_acidic_amino_acid_39(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_37(X),fn_acidic_amino_acid_39(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_36(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_34(X),fn_acidic_amino_acid_2(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_19(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_18(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_17(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_16(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_15(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & the_categorical_value_2(fn_acidic_amino_acid_9(X),partial_negative_0)
% 5.22/5.39 & object_2(fn_acidic_amino_acid_34(X),fn_acidic_amino_acid_40(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_28(X),fn_acidic_amino_acid_29(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_35(X),fn_acidic_amino_acid_40(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_27(X),fn_acidic_amino_acid_29(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_56(X),fn_acidic_amino_acid_40(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_26(X),fn_acidic_amino_acid_29(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_62(X),fn_acidic_amino_acid_64(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_25(X),fn_acidic_amino_acid_30(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_63(X),fn_acidic_amino_acid_64(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_24(X),fn_acidic_amino_acid_30(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_65(X),fn_acidic_amino_acid_64(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_23(X),fn_acidic_amino_acid_30(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_35(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_34(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_56(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_34(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_56(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_32(X),fn_acidic_amino_acid_46(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_61(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_28(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_61(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_27(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_62(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_27(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_63(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_26(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_63(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_26(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_65(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_25(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_65(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_24(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_74(X),fn_acidic_amino_acid_46(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_36(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_53(X),fn_acidic_amino_acid_46(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_19(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_54(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_18(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_55(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_17(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_59(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_16(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_67(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_15(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_68(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_14(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_70(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_24(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_57(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_49(X)) )
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_39(X))
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_39(X))
% 5.22/5.39 & has_region_2(X,fn_acidic_amino_acid_41(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_32(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & result_2(fn_acidic_amino_acid_74(X),fn_acidic_amino_acid_45(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_14(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_13(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_74(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_12(X),fn_acidic_amino_acid_33(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_12(X),fn_acidic_amino_acid_72(X))
% 5.22/5.39 & charge_2(X,fn_acidic_amino_acid_9(X))
% 5.22/5.39 & has_function_2(fn_acidic_amino_acid_45(X),fn_acidic_amino_acid_53(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_53(X),fn_acidic_amino_acid_45(X))
% 5.22/5.39 & result_2(fn_acidic_amino_acid_32(X),fn_acidic_amino_acid_45(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_32(X),fn_acidic_amino_acid_33(X))
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_71(X))
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_61(X),fn_acidic_amino_acid_58(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_21(X),fn_acidic_amino_acid_31(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_52(X),fn_acidic_amino_acid_51(X)) )
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_52(X))
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_47(X))
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_46(X))
% 5.22/5.39 & has_part_2(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_72(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_51(X),fn_acidic_amino_acid_52(X)) )
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_49(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_47(X)) )
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_42(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_49(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_46(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_49(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_66(X),fn_acidic_amino_acid_58(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_60(X),fn_acidic_amino_acid_58(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_60(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_23(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_23(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & has_part_2(X,fn_acidic_amino_acid_48(X))
% 5.22/5.39 & possesses_2(X,fn_acidic_amino_acid_45(X))
% 5.22/5.39 & is_between_2(fn_acidic_amino_acid_45(X),fn_acidic_amino_acid_46(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_66(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_66(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_22(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_22(X),fn_acidic_amino_acid_31(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_20(X),fn_acidic_amino_acid_31(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_15(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_15(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_21(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_21(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_13(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_69(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_69(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_20(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_20(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_49(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_50(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_14(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_14(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_50(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_48(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_49(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_57(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_50(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_48(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_69(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_69(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_50(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_46(X)) )
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_51(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_47(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_50(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_13(X),fn_acidic_amino_acid_48(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_13(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_43(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_43(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_48(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_57(X)) )
% 5.22/5.39 & object_2(fn_acidic_amino_acid_70(X),fn_acidic_amino_acid_57(X))
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_57(X),fn_acidic_amino_acid_38(X))
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_38(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_48(X),fn_acidic_amino_acid_43(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_49(X),fn_acidic_amino_acid_43(X))
% 5.22/5.39 & result_2(fn_acidic_amino_acid_12(X),fn_acidic_amino_acid_45(X))
% 5.22/5.39 & is_between_2(fn_acidic_amino_acid_45(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_46(X)) )
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_73(X))
% 5.22/5.39 & is_near_2(fn_acidic_amino_acid_73(X),fn_acidic_amino_acid_72(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_47(X)) )
% 5.22/5.39 & is_near_2(fn_acidic_amino_acid_72(X),fn_acidic_amino_acid_73(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_74(X),fn_acidic_amino_acid_72(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_74(X),fn_acidic_amino_acid_33(X))
% 5.22/5.39 & is_near_2(fn_acidic_amino_acid_33(X),fn_acidic_amino_acid_71(X))
% 5.22/5.39 & is_near_2(fn_acidic_amino_acid_71(X),fn_acidic_amino_acid_33(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_73(X),fn_acidic_amino_acid_71(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_71(X),fn_acidic_amino_acid_73(X)) )
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_12(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & agent_2(fn_acidic_amino_acid_12(X),fn_acidic_amino_acid_46(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_46(X),fn_acidic_amino_acid_42(X))
% 5.22/5.39 & has_region_2(X,fn_acidic_amino_acid_42(X))
% 5.22/5.39 & has_region_2(X,fn_acidic_amino_acid_43(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_70(X),fn_acidic_amino_acid_50(X))
% 5.22/5.39 & object_2(fn_acidic_amino_acid_70(X),fn_acidic_amino_acid_47(X))
% 5.22/5.39 & has_part_2(fn_acidic_amino_acid_47(X),fn_acidic_amino_acid_33(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_72(X),fn_acidic_amino_acid_33(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_33(X),fn_acidic_amino_acid_72(X)) )
% 5.22/5.39 & has_region_2(X,fn_acidic_amino_acid_44(X))
% 5.22/5.39 & is_inside_2(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_44(X))
% 5.22/5.39 & has_region_2(fn_acidic_amino_acid_50(X),fn_acidic_amino_acid_37(X))
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_38(X),fn_acidic_amino_acid_37(X)) )
% 5.22/5.39 & - ( =(fn_acidic_amino_acid_37(X),fn_acidic_amino_acid_38(X)) )
% 5.22/5.39 & =(fn_acidic_amino_acid_40(X),fn_share_2(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_29(X),fn_share_2(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_40(X),fn_share_2(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_29(X),fn_share_2(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_40(X),fn_share_2(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_29(X),fn_share_2(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_64(X),fn_share_2(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_30(X),fn_share_2(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_64(X),fn_share_2(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_30(X),fn_share_2(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_64(X),fn_share_2(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_30(X),fn_share_2(fn_acidic_amino_acid_23(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_share_3(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_share_3(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_share_3(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_share_1(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_share_1(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_share_1(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_share_3(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_share_1(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_share_3(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_25(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_1(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_share_3(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_share_1(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_36(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_hold_2(fn_acidic_amino_acid_53(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hold_2(fn_acidic_amino_acid_19(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_54(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_18(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_hold_2(fn_acidic_amino_acid_55(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_17(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hold_2(fn_acidic_amino_acid_59(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_hold_2(fn_acidic_amino_acid_16(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_67(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_47(X),fn_hold_2(fn_acidic_amino_acid_15(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hold_2(fn_acidic_amino_acid_68(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hold_2(fn_acidic_amino_acid_14(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hold_2(fn_acidic_amino_acid_70(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_49(X),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_share_1(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_39(X),fn_atom_9(fn_acidic_amino_acid_57(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_39(X),fn_atom_9(fn_acidic_amino_acid_48(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_41(X),fn_hydrophilic_amino_acid_24(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_14(X),fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_13(X),fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_74(X),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_72(X),fn_covalent_bond_15(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_12(X),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_5(X),fn_molecule_6(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_9(X),fn_molecule_5(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_32(X),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_53(X),fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_3(X),fn_amino_acid_4(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_4(X),fn_amino_acid_3(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_8(X),fn_amino_acid_5(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_10(X),fn_amino_acid_6(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_11(X),fn_amino_acid_7(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_6(X),fn_amino_acid_16(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_61(X),fn_hydrophilic_amino_acid_17(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_52(X),fn_covalent_bond_11(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_52(X),fn_hydrophilic_amino_acid_10(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_7(X),fn_hydrophilic_amino_acid_23(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_60(X),fn_hydrophilic_amino_acid_19(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_58(X),fn_hydrophilic_amino_acid_22(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_23(X),fn_hydrophilic_amino_acid_17(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_31(X),fn_hydrophilic_amino_acid_6(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_22(X),fn_hydrophilic_amino_acid_5(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_66(X),fn_hydrophilic_amino_acid_18(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_13(X),fn_hydrophilic_amino_acid_1(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_21(X),fn_hydrophilic_amino_acid_4(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_15(X),fn_hydrophilic_amino_acid_16(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_49(X),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_20(X),fn_hydrophilic_amino_acid_3(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_69(X),fn_hydrophilic_amino_acid_15(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hydrophilic_amino_acid_31(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_hydrophilic_amino_acid_32(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_14(X),fn_hydrophilic_amino_acid_7(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_51(X),fn_hydrophilic_amino_acid_14(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_69(X),fn_hydrophilic_amino_acid_7(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_13(X),fn_hydrophilic_amino_acid_2(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_49(X),fn_hydrophilic_amino_acid_33(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_48(X),fn_hydrophilic_amino_acid_32(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_57(X),fn_hydrophilic_amino_acid_31(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_45(X),fn_hydrophilic_amino_acid_28(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_73(X),fn_covalent_bond_24(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_73(X),fn_hydrophilic_amino_acid_13(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_71(X),fn_covalent_bond_24(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_71(X),fn_covalent_bond_22(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_71(X),fn_hydrophilic_amino_acid_9(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_74(X),fn_hydrophilic_amino_acid_8(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_43(X),fn_hydrophilic_amino_acid_26(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_42(X),fn_hydrophilic_amino_acid_25(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_46(X),fn_hydrophilic_amino_acid_29(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_12(X),fn_hydrophilic_amino_acid_8(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_72(X),fn_hydrophilic_amino_acid_12(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_47(X),fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_33(X),fn_covalent_bond_15(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_47(X),fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_33(X),fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_acidic_amino_acid_33(X),fn_hydrophilic_amino_acid_11(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_47(X),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_70(X),fn_hydrophilic_amino_acid_1(X)) ***HERE***
% 5.22/5.39 & =(fn_acidic_amino_acid_38(X),fn_hydrophilic_amino_acid_21(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_37(X),fn_hydrophilic_amino_acid_20(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_50(X),fn_hydrophilic_amino_acid_34(X))
% 5.22/5.39 & =(fn_acidic_amino_acid_44(X),fn_hydrophilic_amino_acid_27(X))
% 5.22/5.39 & =(fn_covalent_bond_11(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_10(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_10(X),fn_hydrophilic_amino_acid_10(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_10(X),fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_14(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_7(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_7(X),fn_hydrophilic_amino_acid_15(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_15(X),fn_hydrophilic_amino_acid_15(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_15(X),fn_hydrophilic_amino_acid_7(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_7(X),fn_hydrophilic_amino_acid_7(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_7(X),fn_covalent_bond_14(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_14(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_1(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_1(X),fn_hydrophilic_amino_acid_1(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_1(X),fn_hydrophilic_amino_acid_2(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_2(X),fn_hydrophilic_amino_acid_2(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_2(X),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_24(X)),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_24(X)),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_33(X),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_30(X),fn_hydrophilic_amino_acid_33(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_33(X),fn_hydrophilic_amino_acid_33(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_33(X),fn_share_3(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_34(X)),fn_share_1(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_63(X)),fn_share_1(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_61(X)),fn_share_1(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_27(X)),fn_share_1(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_63(X)),fn_hold_2(fn_acidic_amino_acid_19(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_70(X)),fn_hold_2(fn_acidic_amino_acid_19(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_19(X)),fn_hold_2(fn_acidic_amino_acid_59(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_59(X)),fn_hold_2(fn_acidic_amino_acid_14(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_14(X)),fn_hold_2(fn_acidic_amino_acid_70(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_70(X)),fn_hydrophilic_amino_acid_31(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_31(X),fn_hydrophilic_amino_acid_32(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_32(X),fn_share_3(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_56(X)),fn_share_3(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_26(X)),fn_share_3(fn_acidic_amino_acid_65(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_65(X)),fn_hold_2(fn_acidic_amino_acid_55(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_16(X)),fn_hold_2(fn_acidic_amino_acid_55(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_55(X)),fn_hold_2(fn_acidic_amino_acid_16(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_16(X)),fn_share_1(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_24(X)),fn_share_1(fn_acidic_amino_acid_24(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_24(X)),fn_hydrophilic_amino_acid_32(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_32(X),fn_hydrophilic_amino_acid_32(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_32(X),fn_hydrophilic_amino_acid_31(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_31(X),fn_hydrophilic_amino_acid_31(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_31(X),fn_hydrophilic_amino_acid_13(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_13(X),fn_hydrophilic_amino_acid_13(X))
% 5.22/5.39 & =(fn_covalent_bond_24(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_13(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_13(X),fn_covalent_bond_24(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_22(fn_acidic_amino_acid_45(X)),fn_covalent_bond_22(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_22(fn_acidic_amino_acid_45(X)),fn_covalent_bond_24(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_24(fn_acidic_amino_acid_45(X)),fn_covalent_bond_22(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_9(X),fn_covalent_bond_22(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_22(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_9(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_9(X),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_8(X),fn_share_3(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_32(X)),fn_share_1(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_32(X)),fn_share_3(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_74(X)),fn_share_1(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_74(X)),fn_share_1(fn_acidic_amino_acid_32(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_32(X)),fn_share_1(fn_acidic_amino_acid_74(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_74(X)),fn_hold_2(fn_acidic_amino_acid_53(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_53(X)),fn_hold_2(fn_acidic_amino_acid_53(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_53(X)),fn_hydrophilic_amino_acid_29(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_29(X),fn_hydrophilic_amino_acid_29(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_29(X),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_17(fn_acidic_amino_acid_45(X)),fn_covalent_bond_17(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_17(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_8(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_8(X),fn_hydrophilic_amino_acid_8(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_8(X),fn_covalent_bond_15(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_15(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_12(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_12(X),fn_hydrophilic_amino_acid_12(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_12(X),fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_18(fn_acidic_amino_acid_45(X)),fn_covalent_bond_15(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_15(fn_acidic_amino_acid_45(X)),fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_18(fn_acidic_amino_acid_45(X)),fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_11(X),fn_hydrophilic_amino_acid_11(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_11(X),fn_covalent_bond_18(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_18(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_11(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_11(X),fn_hold_2(fn_acidic_amino_acid_15(X)))
% 5.22/5.39 & =(fn_hold_2(fn_acidic_amino_acid_15(X)),fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_20(fn_acidic_amino_acid_45(X)),fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)),fn_covalent_bond_20(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_20(fn_acidic_amino_acid_45(X)),fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)),fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_30(X),fn_covalent_bond_19(fn_acidic_amino_acid_45(X)))
% 5.22/5.39 & =(fn_covalent_bond_19(fn_acidic_amino_acid_45(X)),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_30(X),fn_hydrophilic_amino_acid_30(X))
% 5.22/5.39 & =(fn_hydrophilic_amino_acid_30(X),fn_share_3(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_35(X)),fn_share_1(fn_acidic_amino_acid_35(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_35(X)),fn_share_1(fn_acidic_amino_acid_34(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_34(X)),fn_share_1(fn_acidic_amino_acid_56(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_56(X)),fn_share_3(fn_acidic_amino_acid_61(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_28(X)),fn_share_1(fn_acidic_amino_acid_28(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_28(X)),fn_share_3(fn_acidic_amino_acid_27(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_62(X)),fn_share_1(fn_acidic_amino_acid_62(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_62(X)),fn_share_3(fn_acidic_amino_acid_63(X)))
% 5.22/5.39 & =(fn_share_3(fn_acidic_amino_acid_63(X)),fn_share_1(fn_acidic_amino_acid_26(X)))
% 5.22/5.39 & =(fn_share_1(fn_acidic_amino_acid_26(X)),fn_share_3(fn_acidic_amino_acid_25(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_25(X)),fn_share_1(fn_acidic_amino_acid_25(X)))
% 5.29/5.48 & =(fn_share_1(fn_acidic_amino_acid_25(X)),fn_share_1(fn_acidic_amino_acid_65(X)))
% 5.29/5.48 & =(fn_share_1(fn_acidic_amino_acid_65(X)),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_24(X)),fn_share_3(fn_acidic_amino_acid_35(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_35(X)),fn_share_3(fn_acidic_amino_acid_61(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_61(X)),fn_share_3(fn_acidic_amino_acid_28(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_28(X)),fn_share_3(fn_acidic_amino_acid_27(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_27(X)),fn_share_3(fn_acidic_amino_acid_62(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_62(X)),fn_share_3(fn_acidic_amino_acid_63(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_63(X)),fn_share_3(fn_acidic_amino_acid_25(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_25(X)),fn_share_3(fn_acidic_amino_acid_24(X)))
% 5.29/5.48 & =(fn_share_3(fn_acidic_amino_acid_24(X)),fn_hold_2(fn_acidic_amino_acid_36(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_68(X)),fn_hold_2(fn_acidic_amino_acid_36(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_36(X)),fn_hold_2(fn_acidic_amino_acid_54(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_54(X)),fn_hold_2(fn_acidic_amino_acid_18(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_18(X)),fn_hold_2(fn_acidic_amino_acid_17(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_17(X)),fn_hold_2(fn_acidic_amino_acid_67(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_67(X)),fn_hold_2(fn_acidic_amino_acid_68(X)))
% 5.29/5.48 & =(fn_hold_2(fn_acidic_amino_acid_68(X)),fn_hydrophilic_amino_acid_34(X))
% 5.29/5.48 & =(fn_hydrophilic_amino_acid_34(X),fn_hydrophilic_amino_acid_34(X)) ) ) ) ).
% 5.29/5.48
% 5.29/5.48 ERROR, the 5 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 'A caplike vesicle in the tip of a sperm that contains enzymes used to penetrate an egg\'
% 5.29/5.48 s
% 5.29/5.48 protective
% 5.29/5.48 outer
% 5.29/5.48 covering
% 5.29/5.48
% 5.29/5.48 The context of the bad sequence is:
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( acrosome_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Acrosome')
% 5.29/5.48 & user_description_2(X, ***HERE*** 'A caplike vesicle in the tip of a sperm that contains enzymes used to penetrate an egg\'s protective outer covering.
% 5.29/5.48
% 5.29/5.48 ERROR, name too big, max is 255;
% 5.29/5.48 ERROR, name expected:
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,acrosome)
% 5.29/5.48 & vesicle_1(X)
% 5.29/5.48 & -cortical_granule_1(X)
% 5.29/5.48 & -lysosome_1(X)
% 5.29/5.48 & -synaptic_vesicle_1(X)
% 5.29/5.48 & -transport_vesicle_1(X)
% 5.29/5.48 & -vacuole_1(X)
% 5.29/5.48 & sperm_cell_1(fn_acrosome_1(X))
% 5.29/5.48 & has_part_2(fn_acrosome_1(X), ***HERE*** X)
% 5.29/5.48 & =(fn_acrosome_1(X),fn_vesicle_5(X)) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( actin_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Actin')
% 5.29/5.48 & user_description_2(X,'Actin is a globular protein found in all eukaryotic cells.
% 5.29/5.48
% 5.29/5.48 ERROR, name too big, max is 255;
% 5.29/5.48 ERROR, name expected:
% 5.29/5.48 It serves as the basic structural unit for microfilament and thin filaments')
% 5.29/5.48 & concept2words_2(X,actin)
% 5.29/5.48 & globular_protein_1(X)
% 5.29/5.48 & size_value_1(fn_actin_1(X))
% 5.29/5.48 & size_value_1(fn_actin_2(X))
% 5.29/5.48 & monomer_1(fn_actin_3(X))
% 5.29/5.48 & has_part_2(X,fn_actin_3(X))
% 5.29/5.48 & size_2(fn_actin_3(X),fn_actin_2(X))
% 5.29/5.48 & greater_than_ ***HERE*** 2(fn_actin_1(X),fn_actin_2(X))
% 5.29/5.48 & size_2(X,fn_actin_1(X))
% 5.29/5.48 & the_scalar_value_2(fn_actin_1(X),big_0)
% 5.29/5.48 & scalar_unit_class_2(fn_actin_1(X),polypeptide_0)
% 5.29/5.48 & =(fn_actin_1(X),fn_polymer_8(X))
% 5.29/5.48 & =(fn_actin_2(X),fn_polymer_7(X))
% 5.29/5.48 & =(fn_actin_3(X),fn_polymer_4(X))
% 5.29/5.48 & =(fn_actin_1(X),fn_protein_9(X))
% 5.29/5.48 & =(fn_polymer_8(X),fn_protein_9(X))
% 5.29/5.48 & =(fn_protein_9(X),fn_protein_9(X)) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( actinium_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Actinium')
% 5.29/5.48 & user_description_2(X,'Actinium is a metal atom with atomic number 89.
% 5.29/5.48
% 5.29/5.48 ERROR, the 7 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 It
% 5.29/5.48 is
% 5.29/5.48 represented
% 5.29/5.48 by
% 5.29/5.48 the
% 5.29/5.48 symbol
% 5.29/5.48 Ac
% 5.29/5.48
% 5.29/5.48 The context of the bad sequence is:
% 5.29/5.48 ***HERE*** It is represented by the symbol Ac.
% 5.29/5.48
% 5.29/5.48 ERROR, name too big, max is 255;
% 5.29/5.48 ERROR, name expected:
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,actinium)
% 5.29/5.48 & concept2words_2(X,ac)
% 5.29/5.48 & metal_atom_1(X)
% 5.29/5.48 & neutron_1(fn_actinium_4(X))
% 5.29/5.48 & atomic_mass_value_1(fn_actinium_5(X))
% 5.29/5.48 & valence_value_1(fn_actinium_6(X))
% 5.29/5.48 & electronegativity_value_1(fn_actinium_7(X))
% 5.29/5.48 ***HERE*** & valence_electron_1(fn_actinium_11(X))
% 5.29/5.48 & atomic_weight_value_1(fn_actinium_12(X))
% 5.29/5.48 & atomic_number_value_1(fn_actinium_13(X))
% 5.29/5.48 & quantity_value_1(fn_actinium_14(X))
% 5.29/5.48 & electronegativity_2(X,fn_actinium_7(X))
% 5.29/5.48 & valence_2(X,fn_actinium_6(X))
% 5.29/5.48 & mass_number_2(X,fn_actinium_5(X))
% 5.29/5.48 & exactCardinality(X,has_part_0,"138",neutron_0)
% 5.29/5.48 & exactCardinality(X,has_part_0,"89",proton_0)
% 5.29/5.48 & exactCardinality(X,has_part_0,"89",electron_0)
% 5.29/5.48 & has_part_2(X,fn_actinium_4(X))
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_14(X),"3")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_14(X),unity_0)
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_7(X),"1.1")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_7(X),unity_0)
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_6(X),"3")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_6(X),unity_0)
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_5(X),"227")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_5(X),unity_0)
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_13(X),"89")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_13(X),unity_0)
% 5.29/5.48 & the_cardinal_value_2(fn_actinium_12(X),"227")
% 5.29/5.48 & cardinal_unit_class_2(fn_actinium_12(X),dalton_0)
% 5.29/5.48 & atomic_number_2(X,fn_actinium_13(X))
% 5.29/5.48 & atomic_weight_2(X,fn_actinium_12(X))
% 5.29/5.48 & has_part_2(X,fn_actinium_11(X))
% 5.29/5.48 & quantity_2(fn_actinium_11(X),fn_actinium_14(X))
% 5.29/5.48 & =(fn_actinium_9(X),fn_atom_12(X))
% 5.29/5.48 & =(fn_actinium_13(X),fn_atom_17(X))
% 5.29/5.48 & =(fn_actinium_10(X),fn_atom_13(X))
% 5.29/5.48 & =(fn_actinium_12(X),fn_atom_16(X))
% 5.29/5.48 & =(fn_actinium_8(X),fn_atom_1(X))
% 5.29/5.48 & =(fn_actinium_14(X),fn_atom_5(X))
% 5.29/5.48 & =(fn_actinium_11(X),fn_atom_14(X)) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( actinopod_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Actinopod')
% 5.29/5.48 & user_description_2(X,'An amoeboid protist whose pseudopods are reinforced by regular arrays of microtubules; examples include radiolarians and heliozoans.
% 5.29/5.48
% 5.29/5.48 ERROR, the 11 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,actinopod)
% 5.29/5.48 & amoeba_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48 % a527257, axiom
% 5.29/5.48 ( all X (
% 5.29/5.48 ( actinopterygii_1(X)
% 5.29/5.48 -> ( original_name_2(X,'
% 5.29/5.48 Actinopterygii
% 5.29/5.48 ')
% 5.29/5.48 & user_description_2(X,'
% 5.29/5.48 The
% 5.29/5.48 taxon
% 5.29/5.48 comprising
% 5.29/5.48 the
% 5.29/5.48 ray
% 5.29/5.48 -
% 5.29/5.48 finned
% 5.29/5.48 fishes
% 5.29/5.48
% 5.29/5.48 The context of the bad sequence is:
% 5.29/5.48 ***HERE*** ')
% 5.29/5.48 & concept2words_2(X,actinopod)
% 5.29/5.48 & amoeba_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( actinopterygii_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Actinopterygii')
% 5.29/5.48 & user_description_2(X,'The taxon comprising the ray-finned fishes.
% 5.29/5.48
% 5.29/5.48 ERROR, name too big, max is 255;
% 5.29/5.48 ERROR, name expected:
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,actinopterygii)
% 5.29/5.48 & ray_finned_fish_1(X)
% 5.29/5.48 & -sunfish_1(X)
% 5.29/5.48 & -stickleback_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( action_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Action')
% 5.29/5.48 & concept2words_2(X,'work on')
% 5.29/5.48 & concept2words_2(X,make)
% 5.29/5.48 & concept2words_2(X,act)
% 5.29/5.48 & concept2words_2(X,do)
% 5.29/5.48 & concept2words_2(X,execute)
% 5.29/5.48 & concept2words_2(X,move)
% 5.29/5.48 & concept2words_2(X,perform)
% 5.29/5.48 & concept2words_2(X,work)
% 5.29/5.48 & concept2words_2(X,process)
% 5.29/5.48 & c ***HERE*** oncept2words_2(X,action)
% 5.29/5.48 & event_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( action_potential_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Action-Potential')
% 5.29/5.48 & user_description_2(X,'A rapid change in the membrane potential of an excitable cell, caused by stimulus-triggered, selective opening and closing of voltage-sensitive gates in sodium and potassium ion channels.
% 5.29/5.48
% 5.29/5.48 ERROR, the 31 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,'
% 5.29/5.48 potential
% 5.29/5.48 of
% 5.29/5.48 action
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,'
% 5.29/5.48 action
% 5.29/5.48 potential
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,'
% 5.29/5.48 action
% 5.29/5.48 -
% 5.29/5.48 potential
% 5.29/5.48 ')
% 5.29/5.48 & change_in_membrane_potential_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48 % a527260, axiom
% 5.29/5.48 ( all X (
% 5.29/5.48 ( action_spectrum_1(X)
% 5.29/5.48 -> ( original_name_2(X,'
% 5.29/5.48 Action
% 5.29/5.48 -
% 5.29/5.48 Spectrum
% 5.29/5.48 ')
% 5.29/5.48 & user_description_2(X,'
% 5.29/5.48 A
% 5.29/5.48 range
% 5.29/5.48 of
% 5.29/5.48 wavelengths
% 5.29/5.48 of
% 5.29/5.48 radiation
% 5.29/5.48 that
% 5.29/5.48 are
% 5.29/5.48 most
% 5.29/5.48 effective
% 5.29/5.48 in
% 5.29/5.48 promoting
% 5.29/5.48 a
% 5.29/5.48 particular
% 5.29/5.48 process
% 5.29/5.48
% 5.29/5.48 The context of the bad sequence is:
% 5.29/5.48 ***HERE*** ')
% 5.29/5.48 & concept2words_2(X,'potential of action')
% 5.29/5.48 & concept2words_2(X,'action potential')
% 5.29/5.48 & concept2words_2(X,'action-potential')
% 5.29/5.48 & change_in_membrane_potential_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( action_spectrum_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Action-Spectrum')
% 5.29/5.48 & user_description_2(X,'A range of wavelengths of radiation that are most effective in promoting a particular process.
% 5.29/5.48
% 5.29/5.48 ERROR, the 12 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 This
% 5.29/5.48 range
% 5.29/5.48 is
% 5.29/5.48 sometimes
% 5.29/5.48 depicted
% 5.29/5.48 in
% 5.29/5.48 a
% 5.29/5.48 graph
% 5.29/5.48 with
% 5.29/5.48 the
% 5.29/5.48 same
% 5.29/5.48 name
% 5.29/5.48
% 5.29/5.48 The context of the bad sequence is:
% 5.29/5.48 ***HERE*** This range is sometimes depicted in a graph with the same name.
% 5.29/5.48
% 5.29/5.48 ERROR, name too big, max is 255;
% 5.29/5.48 ERROR, name expected:
% 5.29/5.48 ')
% 5.29/5.48 & concept2words_2(X,'spectrum of action')
% 5.29/5.48 & concept2words_2(X,'action spectrum')
% 5.29/5.48 & concept2words_2(X,'action-spectrum')
% 5.29/5.48 & graphical_representation_1(X)
% 5.29/5.48 & -age_structure_diagram_1(X)
% 5.29/5.48 & -cell_lineage_1(X)
% 5.29/5.48 & -cladogram_1(X)
% 5.29/5.48 & -climograph_1(X)
% 5.29/5.48 & -fate_map_1(X)
% 5.29/5.48 & -genetic_map_1(X)
% 5.29/5.48 & -genomic_representation_1(X)
% 5.29/5.48 & -genotypic_ratio_1(X)
% 5.29/5.48 & ***HERE*** -life_table_1(X)
% 5.29/5.48 & -pedigree_1(X)
% 5.29/5.48 & -periodic_table_1(X)
% 5.29/5.48 & -phenotypic_ratio_1(X)
% 5.29/5.48 & -phylogenetic_tree_1(X)
% 5.29/5.48 & -punnett_square_1(X)
% 5.29/5.48 & -reproductive_table_1(X)
% 5.29/5.48 & -species_area_curve_1(X)
% 5.29/5.48 & -survivorship_curve_1(X)
% 5.29/5.48 & -tree_of_life_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( activate_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Activate')
% 5.29/5.48 & concept2words_2(X,activate)
% 5.29/5.48 & concept2words_2(X,enable)
% 5.29/5.48 & concept2words_2(X,reactivate)
% 5.29/5.48 & concept2words_2(X,set)
% 5.29/5.48 & concept2words_2(X,throw)
% 5.29/5.48 & concept2words_2(X,switch)
% 5.29/5.48 & concept2words_2(X,'set up')
% 5.29/5.48 & concept2words_2(X,ready)
% 5.29/5.48 & concept2words_2(X,prepare)
% 5.29/5.48 & concept2words_2(X,'gear up')
% 5.29/5.48 & concept2words_2(X,flip)
% 5.29/5.48 & make_accessible_1(X)
% 5.29/5.48 & -unobstruct_1(X)
% 5.29/5.48 & -unblock_1(X)
% 5.29/5.48 & -expose_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( activation_constant_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Activation-Constant')
% 5.29/5.48 & concept2words_2(X,'constant of activation')
% 5.29/5.48 & concept2words_2(X,'activation constant')
% 5.29/5.48 & concept2words_2(X,'activation-constant')
% 5.29/5.48 & constant_1(X) ) ) ) ).
% 5.29/5.48
% 5.29/5.48
% 5.29/5.48 ( all X (
% 5.29/5.48 ( activation_energy_1(X)
% 5.29/5.48 -> ( original_name_2(X,'Activation-Energy')
% 5.29/5.48 & user_description_2(X,'Activation energy is the minimum amount of energy (heat, electromagnetic radiation, or electrical energy) required to activate atoms or molecules to a condition in which it is equally likely that they will undergo chemical reaction.
% 5.29/5.48
% 5.29/5.48 ERROR, the 3 terms/operators in the following sequence are OK, but they
% 5.29/5.48 could not be combined into a single term with special operators.
% 5.29/5.48 In
% 5.29/5.48 decomposition
% 5.29/5.48 reactions
% 5.29/5.49
% 5.29/5.49 The context of the bad sequence is:
% 5.29/5.49 ***HERE*** In decomposition reactions, activation energy is proportional to the difficulty of breaking bonds.
% 5.29/5.49
% 5.29/5.49 ERROR, the 55 terms/operators in the following sequence are OK, but they
% 5.29/5.49 could not be combined into a single term with special operators.
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 energy
% 5.29/5.49 of
% 5.29/5.49 activation
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 energy
% 5.29/5.49 -
% 5.29/5.49 of
% 5.29/5.49 -
% 5.29/5.49 activation
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 free
% 5.29/5.49 energy
% 5.29/5.49 of
% 5.29/5.49 activation
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 free
% 5.29/5.49 -
% 5.29/5.49 energy
% 5.29/5.49 -
% 5.29/5.49 of
% 5.29/5.49 -
% 5.29/5.49 activation
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,ea)
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 activation
% 5.29/5.49 energy
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'
% 5.29/5.49 activation
% 5.29/5.49 -
% 5.29/5.49 energy
% 5.29/5.49 ')
% 5.29/5.49 & energy_1(X) ) ) ) ).
% 5.29/5.49
% 5.29/5.49 % a527264, axiom
% 5.29/5.49 ( all X (
% 5.29/5.49 ( activation_of_atp_synthase_1(X)
% 5.29/5.49 -> ( original_name_2(X,'
% 5.29/5.49 Activation
% 5.29/5.49 -
% 5.29/5.49 Of
% 5.29/5.49 -
% 5.29/5.49 ATP
% 5.29/5.49 -
% 5.29/5.49 Synthase
% 5.29/5.49 ')
% 5.29/5.49 & user_description_2(X,'
% 5.29/5.49 Activation
% 5.29/5.49 of
% 5.29/5.49 the
% 5.29/5.49 enzyme
% 5.29/5.49 that
% 5.29/5.49 catalyzes
% 5.29/5.49 the
% 5.29/5.49 reaction
% 5.29/5.49 that
% 5.29/5.49 forms
% 5.29/5.49 ATP
% 5.29/5.49 from
% 5.29/5.49 ADP
% 5.29/5.49 and
% 5.29/5.49 inorganic
% 5.29/5.49 phosphate
% 5.29/5.49
% 5.29/5.49 The context of the bad sequence is:
% 5.29/5.49 ***HERE*** ')
% 5.29/5.49 & concept2words_2(X,'energy of activation')
% 5.29/5.49 & concept2words_2(X,'energy-of-activation')
% 5.29/5.49 & concept2words_2(X,'free energy of activation')
% 5.29/5.49 & concept2words_2(X,'free-energy-of-activation')
% 5.29/5.49 & concept2words_2(X,ea)
% 5.29/5.49 & concept2words_2(X,'activation energy')
% 5.29/5.49 & concept2words_2(X,'activation-energy')
% 5.29/5.49 & energy_1(X) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( activation_of_atp_synthase_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Activation-Of-ATP-Synthase')
% 5.29/5.49 & user_description_2(X,'Activation of the enzyme that catalyzes the reaction that forms ATP from ADP and inorganic phosphate.
% 5.29/5.49
% 5.29/5.49 ERROR, name too big, max is 255;
% 5.29/5.49 ERROR, name expected:
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,activate)
% 5.29/5.49 & concept2words_2(X,'activation of atp synthase')
% 5.29/5.49 & concept2words_2(X,'activation-of-atp-synthase')
% 5.29/5.49 & cellular_process_1(X)
% 5.29/5.49 & atp_synthase_1(fn_activation_of_atp_synthase_3(X))
% 5.29/5.49 & atp_synthase_1(fn_activation_of_atp_synthase_4(X))
% 5.29/5.49 & tangible_entity_1(fn_activation_of_atp_synthase_5(X))
% 5.29/5.49 & activation_value_1(fn_activation_of_atp_synth ***HERE*** ase_6(X))
% 5.29/5.49 & activation_value_1(fn_activation_of_atp_synthase_7(X))
% 5.29/5.49 & has_state_2(fn_activation_of_atp_synthase_3(X),fn_activation_of_atp_synthase_4(X))
% 5.29/5.49 & activation_2(fn_activation_of_atp_synthase_3(X),fn_activation_of_atp_synthase_7(X))
% 5.29/5.49 & activation_2(fn_activation_of_atp_synthase_4(X),fn_activation_of_atp_synthase_6(X))
% 5.29/5.49 & the_categorical_value_2(fn_activation_of_atp_synthase_6(X),active_0)
% 5.29/5.49 & the_categorical_value_2(fn_activation_of_atp_synthase_7(X),inactive_0)
% 5.29/5.49 & object_2(X,fn_activation_of_atp_synthase_3(X))
% 5.29/5.49 & result_2(X,fn_activation_of_atp_synthase_4(X))
% 5.29/5.49 & agent_2(X,fn_activation_of_atp_synthase_5(X)) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( activation_of_cyclin_dependent_kinase_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Activation-Of-Cyclin-Dependent-Kinase')
% 5.29/5.49 & user_description_2(X,'The process of activating certain kinase molecules by the attachment of one or more cyclin molecules.
% 5.29/5.49
% 5.29/5.49 ERROR, name too big, max is 255;
% 5.29/5.49 ERROR, name expected:
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'activation of cyclin dependent kinase')
% 5.29/5.49 & concept2words_2(X,'activation-of-cyclin-dependent-kinase')
% 5.29/5.49 & activate_1(X)
% 5.29/5.49 & activation_value_1(fn_activation_of_cyclin_dependent_kinase_1(X))
% 5.29/5.49 & activation_value_1(fn_activation_of_cyclin_dependent_kinase_3(X))
% 5.29/5.49 & cyclin_dependent_kinase_1(fn_activation_of_cyclin_dependent_kinase_4(X))
% 5.29/5.49 & atta ***HERE*** ch_1(fn_activation_of_cyclin_dependent_kinase_6(X))
% 5.29/5.49 & cyclin_1(fn_activation_of_cyclin_dependent_kinase_7(X))
% 5.29/5.49 & cyclin_dependent_kinase_1(fn_activation_of_cyclin_dependent_kinase_8(X))
% 5.29/5.49 & spatial_entity_1(fn_attach_1(fn_activation_of_cyclin_dependent_kinase_6(X)))
% 5.29/5.49 & spatial_entity_1(fn_attach_2(fn_activation_of_cyclin_dependent_kinase_6(X)))
% 5.29/5.49 & activation_2(fn_activation_of_cyclin_dependent_kinase_4(X),fn_activation_of_cyclin_dependent_kinase_3(X))
% 5.29/5.49 & the_categorical_value_2(fn_activation_of_cyclin_dependent_kinase_3(X),active_0)
% 5.29/5.49 & has_state_2(fn_activation_of_cyclin_dependent_kinase_8(X),fn_activation_of_cyclin_dependent_kinase_4(X))
% 5.29/5.49 & activation_2(fn_activation_of_cyclin_dependent_kinase_8(X),fn_activation_of_cyclin_dependent_kinase_1(X))
% 5.29/5.49 & the_categorical_value_2(fn_activation_of_cyclin_dependent_kinase_1(X),inactive_0)
% 5.29/5.49 & by_means_of_2(X,fn_activation_of_cyclin_dependent_kinase_6(X))
% 5.29/5.49 & result_2(X,fn_activation_of_cyclin_dependent_kinase_4(X))
% 5.29/5.49 & object_2(X,fn_activation_of_cyclin_dependent_kinase_8(X))
% 5.29/5.49 & base_2(fn_activation_of_cyclin_dependent_kinase_6(X),fn_activation_of_cyclin_dependent_kinase_8(X))
% 5.29/5.49 & object_2(fn_activation_of_cyclin_dependent_kinase_6(X),fn_activation_of_cyclin_dependent_kinase_7(X))
% 5.29/5.49 & =(fn_activation_of_cyclin_dependent_kinase_8(X),fn_make_accessible_1(X))
% 5.29/5.49 & =(fn_activation_of_cyclin_dependent_kinase_8(X),fn_attach_2(fn_activation_of_cyclin_dependent_kinase_6(X)))
% 5.29/5.49 & =(fn_activation_of_cyclin_dependent_kinase_7(X),fn_attach_1(fn_activation_of_cyclin_dependent_kinase_6(X)))
% 5.29/5.49 & =(fn_make_accessible_1(X),fn_attach_2(fn_activation_of_cyclin_dependent_kinase_6(X))) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( activation_value_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Activation-Value')
% 5.29/5.49 & concept2words_2(X,activation)
% 5.29/5.49 & concept2words_2(X,'value of activation')
% 5.29/5.49 & concept2words_2(X,'activation value')
% 5.29/5.49 & concept2words_2(X,'activation-value')
% 5.29/5.49 & property_value_1(X) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( activator_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Activator')
% 5.29/5.49 & user_description_2(X,'A protein that binds to DNA and stimulates gene transcription.
% 5.29/5.49
% 5.29/5.49 ERROR, the 2 terms/operators in the following sequence are OK, but they
% 5.29/5.49 could not be combined into a single term with special operators.
% 5.29/5.49 In
% 5.29/5.49 prokaryotes
% 5.29/5.49
% 5.29/5.49 The context of the bad sequence is:
% 5.29/5.49 ***HERE*** In prokaryotes, activators bind in or near the promoter; in eukaryotes, activators bind to control elements in enhancers.
% 5.29/5.49
% 5.29/5.49 ERROR, name too big, max is 255;
% 5.29/5.49 ERROR, name expected:
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,activator)
% 5.29/5.49 & transcription_factor_1(X)
% 5.29/5.49 & -homeodomain_protein_1(X)
% 5.29/5.49 & -morphogen_1(X)
% 5.29/5.49 & -muscle_specific_transcription_factor_1(X)
% 5.29/5.49 & -p53_protein_1(X)
% 5.29/5.49 & enhancer_1(fn_activator_1(X))
% 5.29/5.49 & attach_1(fn_activ ***HERE*** ator_2(X))
% 5.29/5.49 & spatial_entity_1(fn_attach_2(fn_activator_2(X)))
% 5.29/5.49 & spatial_entity_1(fn_attach_1(fn_activator_2(X)))
% 5.29/5.49 & agent_2(fn_activator_2(X),X)
% 5.29/5.49 & base_2(fn_activator_2(X),X)
% 5.29/5.49 & object_2(fn_activator_2(X),fn_activator_1(X))
% 5.29/5.49 & =(fn_activator_2(X),fn_transcription_factor_8(X))
% 5.29/5.49 & =(X,fn_attach_2(fn_activator_2(X)))
% 5.29/5.49 & =(fn_activator_1(X),fn_attach_1(fn_activator_2(X))) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( active_movement_of_ions_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Active-Movement-Of-Ions')
% 5.29/5.49 & user_description_2(X,'The proteins mediate the movement of ions to move across a membrane.
% 5.29/5.49
% 5.29/5.49 ERROR, name too big, max is 255;
% 5.29/5.49 ERROR, name expected:
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,move)
% 5.29/5.49 & concept2words_2(X,transport)
% 5.29/5.49 & concept2words_2(X,'active movement of ion')
% 5.29/5.49 & concept2words_2(X,'active-movement-of-ion')
% 5.29/5.49 & active_transport_1(X)
% 5.29/5.49 & constant_motion_1(fn_active_movement_of_ions_1(X))
% 5.29/5.49 & kinetic_energy_1(fn_active_movement_of_ions_2(X))
% 5.29/5.49 & covalent_bond_1(fn_active_movement_of_ions_3(X))
% 5.29/5.49 & chemical_bond_1(fn_active_movement_of_ions_3(X))
% 5.29/5.49 ***HERE*** & double_bond_1(fn_active_movement_of_ions_3(X))
% 5.29/5.49 & covalent_bond_1(fn_active_movement_of_ions_4(X))
% 5.29/5.49 & single_bond_1(fn_active_movement_of_ions_4(X))
% 5.29/5.49 & oxygen_1(fn_active_movement_of_ions_5(X))
% 5.29/5.49 & entity_1(fn_active_movement_of_ions_5(X))
% 5.29/5.49 & chemical_entity_1(fn_active_movement_of_ions_5(X))
% 5.29/5.49 & atom_1(fn_active_movement_of_ions_5(X))
% 5.29/5.49 & phosphorus_1(fn_active_movement_of_ions_6(X))
% 5.29/5.49 & entity_1(fn_active_movement_of_ions_7(X))
% 5.29/5.49 & chemical_entity_1(fn_active_movement_of_ions_7(X))
% 5.29/5.49 & atom_1(fn_active_movement_of_ions_7(X))
% 5.29/5.49 & oxygen_1(fn_active_movement_of_ions_7(X))
% 5.29/5.49 & quantity_value_1(fn_active_movement_of_ions_8(X))
% 5.29/5.49 & speed_value_1(fn_active_movement_of_ions_9(X))
% 5.29/5.49 & chemical_entity_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & tangible_entity_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & membrane_protein_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & protein_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & molecule_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & polymer_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & transport_protein_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & integral_protein_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & carrier_protein_1(fn_active_movement_of_ions_10(X))
% 5.29/5.49 & carbon_skeleton_1(fn_active_movement_of_ions_11(X))
% 5.29/5.49 & hydrophilic_region_1(fn_active_movement_of_ions_12(X))
% 5.29/5.49 & hydrophilic_end_1(fn_active_movement_of_ions_12(X))
% 5.29/5.49 & outside_face_1(fn_active_movement_of_ions_13(X))
% 5.29/5.49 & surface_1(fn_active_movement_of_ions_13(X))
% 5.29/5.49 & hydrophilic_region_1(fn_active_movement_of_ions_14(X))
% 5.29/5.49 & hydrophilic_end_1(fn_active_movement_of_ions_14(X))
% 5.29/5.49 & hydrophobic_region_1(fn_active_movement_of_ions_15(X))
% 5.29/5.49 & phosphate_group_1(fn_active_movement_of_ions_16(X))
% 5.29/5.49 & tangible_entity_1(fn_active_movement_of_ions_17(X))
% 5.29/5.49 & phospholipid_bilayer_1(fn_active_movement_of_ions_17(X))
% 5.29/5.49 & inside_face_1(fn_active_movement_of_ions_18(X))
% 5.29/5.49 & membrane_1(fn_active_movement_of_ions_19(X))
% 5.29/5.49 & spatial_entity_1(fn_active_movement_of_ions_19(X))
% 5.29/5.49 & biomembrane_1(fn_active_movement_of_ions_19(X))
% 5.29/5.49 & polar_amino_acid_1(fn_active_movement_of_ions_20(X))
% 5.29/5.49 & hydrophobic_amino_acid_1(fn_active_movement_of_ions_21(X))
% 5.29/5.49 & monomer_1(fn_active_movement_of_ions_22(X))
% 5.29/5.49 & atom_1(fn_active_movement_of_ions_23(X))
% 5.29/5.49 & carbon_1(fn_active_movement_of_ions_23(X))
% 5.29/5.49 & expose_1(fn_active_movement_of_ions_24(X))
% 5.29/5.49 & ion_1(fn_active_movement_of_ions_25(X))
% 5.29/5.49 & inside_face_1(fn_biomembrane_42(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & phosphorus_1(fn_phosphate_group_6(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & property_node_1(fn_carrier_protein_12(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & property_node_1(fn_carrier_protein_11(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophilic_region_1(fn_carrier_protein_22(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophilic_end_1(fn_carrier_protein_22(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophobic_region_1(fn_carrier_protein_21(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophobic_amino_acid_1(fn_carrier_protein_31(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & carbon_skeleton_1(fn_carrier_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & constant_motion_1(fn_carrier_protein_42(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & speed_value_1(fn_carrier_protein_37(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & quantity_value_1(fn_carrier_protein_38(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & kinetic_energy_1(fn_carrier_protein_41(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & surface_1(fn_biomembrane_47(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & outside_face_1(fn_biomembrane_41(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & surface_1(fn_integral_protein_29(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & covalent_bond_1(fn_polymer_1(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & single_bond_1(fn_phosphate_group_37(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & chemical_bond_1(fn_molecule_10(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & double_bond_1(fn_phosphate_group_41(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & entity_1(fn_covalent_bond_20(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & chemical_entity_1(fn_covalent_bond_20(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & atom_1(fn_covalent_bond_20(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & entity_1(fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & chemical_entity_1(fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & atom_1(fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & entity_1(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & chemical_entity_1(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & atom_1(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & oxygen_1(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & entity_1(fn_covalent_bond_20(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & chemical_entity_1(fn_covalent_bond_20(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & atom_1(fn_covalent_bond_20(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & entity_1(fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & chemical_entity_1(fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & atom_1(fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & entity_1(fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & atom_1(fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & chemical_entity_1(fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & oxygen_1(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & entity_1(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & chemical_entity_1(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & atom_1(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & monomer_1(fn_polymer_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & monomer_1(fn_carrier_protein_33(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophilic_region_1(fn_integral_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophilic_region_1(fn_carrier_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & hydrophilic_end_1(fn_carrier_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & polar_amino_acid_1(fn_integral_protein_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & polar_amino_acid_1(fn_carrier_protein_30(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & atom_1(fn_molecule_11(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & carbon_1(fn_carrier_protein_34(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & tangible_entity_1(fn_biomembrane_63(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & phospholipid_bilayer_1(fn_biomembrane_63(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & tangible_entity_1(fn_integral_protein_27(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & phospholipid_bilayer_1(fn_integral_protein_27(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & tangible_entity_1(fn_carrier_protein_16(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & phospholipid_bilayer_1(fn_carrier_protein_16(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & spatial_entity_1(fn_transport_protein_35(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & biomembrane_1(fn_transport_protein_35(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & biomembrane_1(fn_integral_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & membrane_1(fn_carrier_protein_18(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & spatial_entity_1(fn_carrier_protein_18(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & biomembrane_1(fn_carrier_protein_18(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & tangible_entity_1(fn_expose_1(fn_active_movement_of_ions_24(X)))
% 5.29/5.49 & chemical_entity_1(fn_functional_group_1(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & tangible_entity_1(fn_biomembrane_54(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & membrane_protein_1(fn_biomembrane_54(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & protein_1(fn_biomembrane_54(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_6(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_7(X))
% 5.29/5.49 & is_at_2(fn_active_movement_of_ions_14(X),fn_active_movement_of_ions_18(X))
% 5.29/5.49 & site_2(fn_active_movement_of_ions_24(X),fn_active_movement_of_ions_12(X))
% 5.29/5.49 & object_2(fn_active_movement_of_ions_24(X),fn_active_movement_of_ions_10(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_16(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_3(X),fn_active_movement_of_ions_7(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_4(X),fn_active_movement_of_ions_5(X))
% 5.29/5.49 & object_2(X,fn_active_movement_of_ions_25(X))
% 5.29/5.49 & possesses_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_4(X))
% 5.29/5.49 & possesses_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_3(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_3(X),fn_active_movement_of_ions_23(X))
% 5.29/5.49 & path_2(X,fn_active_movement_of_ions_19(X))
% 5.29/5.49 & agent_2(X,fn_active_movement_of_ions_10(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_19(X),fn_active_movement_of_ions_18(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_19(X),fn_active_movement_of_ions_13(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_13(X))
% 5.29/5.49 & is_at_2(fn_active_movement_of_ions_12(X),fn_active_movement_of_ions_13(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_5(X))
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_23(X),fn_active_movement_of_ions_5(X)) )
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_5(X),fn_active_movement_of_ions_23(X)) )
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_4(X),fn_active_movement_of_ions_6(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_4(X),fn_active_movement_of_ions_7(X))
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_7(X),fn_active_movement_of_ions_16(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_3(X),fn_active_movement_of_ions_5(X))
% 5.29/5.49 & is_between_2(fn_active_movement_of_ions_3(X),fn_active_movement_of_ions_6(X))
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_6(X),fn_active_movement_of_ions_16(X))
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_7(X),fn_active_movement_of_ions_6(X)) )
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_6(X),fn_active_movement_of_ions_7(X)) )
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_5(X),fn_active_movement_of_ions_16(X))
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_7(X),fn_active_movement_of_ions_5(X)) )
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_5(X),fn_active_movement_of_ions_7(X)) )
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_6(X),fn_active_movement_of_ions_5(X)) )
% 5.29/5.49 & - ( =(fn_active_movement_of_ions_5(X),fn_active_movement_of_ions_6(X)) )
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_11(X))
% 5.29/5.49 & is_across_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_19(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_22(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_14(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_12(X))
% 5.29/5.49 & is_opposite_2(fn_active_movement_of_ions_12(X),fn_active_movement_of_ions_14(X))
% 5.29/5.49 & is_opposite_2(fn_active_movement_of_ions_14(X),fn_active_movement_of_ions_12(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_21(X))
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_21(X),fn_active_movement_of_ions_15(X))
% 5.29/5.49 & has_region_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_15(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_20(X))
% 5.29/5.49 & is_at_2(fn_active_movement_of_ions_20(X),fn_active_movement_of_ions_12(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_19(X),fn_active_movement_of_ions_10(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_19(X),fn_active_movement_of_ions_17(X))
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_17(X))
% 5.29/5.49 & has_part_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_23(X))
% 5.29/5.49 & is_inside_2(fn_active_movement_of_ions_23(X),fn_active_movement_of_ions_11(X))
% 5.29/5.49 & possesses_2(fn_active_movement_of_ions_10(X),fn_active_movement_of_ions_2(X))
% 5.29/5.49 & quantity_2(fn_active_movement_of_ions_2(X),fn_active_movement_of_ions_8(X))
% 5.29/5.49 & directly_proportional_2(fn_active_movement_of_ions_9(X),fn_active_movement_of_ions_8(X))
% 5.29/5.49 & speed_2(fn_active_movement_of_ions_1(X),fn_active_movement_of_ions_9(X))
% 5.29/5.49 & object_2(fn_active_movement_of_ions_1(X),fn_active_movement_of_ions_10(X))
% 5.29/5.49 & =(fn_active_movement_of_ions_10(X),fn_expose_1(fn_active_movement_of_ions_24(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_10(X),fn_functional_group_1(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_7(X),fn_covalent_bond_20(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_7(X),fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_5(X),fn_covalent_bond_20(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_5(X),fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_25(X),fn_active_transport_19(X))
% 5.29/5.49 & =(fn_active_movement_of_ions_4(X),fn_polymer_1(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_23(X),fn_molecule_11(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_3(X),fn_molecule_10(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_19(X),fn_active_transport_18(X))
% 5.29/5.49 & =(fn_active_movement_of_ions_10(X),fn_active_transport_26(X))
% 5.29/5.49 & =(fn_active_movement_of_ions_18(X),fn_biomembrane_42(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_13(X),fn_biomembrane_47(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_13(X),fn_biomembrane_41(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_13(X),fn_integral_protein_29(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_5(X),fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_4(X),fn_phosphate_group_37(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_3(X),fn_phosphate_group_41(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_6(X),fn_phosphate_group_6(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_7(X),fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_5(X),fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_26(X),fn_carrier_protein_12(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_27(X),fn_carrier_protein_11(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_22(X),fn_polymer_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_22(X),fn_carrier_protein_33(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_14(X),fn_carrier_protein_22(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_20(X),fn_integral_protein_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_12(X),fn_integral_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_12(X),fn_carrier_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_20(X),fn_carrier_protein_30(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_15(X),fn_carrier_protein_21(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_21(X),fn_carrier_protein_31(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_11(X),fn_carrier_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_23(X),fn_carrier_protein_34(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_17(X),fn_biomembrane_63(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_17(X),fn_integral_protein_27(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_17(X),fn_carrier_protein_16(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_10(X),fn_biomembrane_54(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_19(X),fn_transport_protein_35(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_19(X),fn_integral_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_19(X),fn_carrier_protein_18(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_1(X),fn_carrier_protein_42(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_9(X),fn_carrier_protein_37(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_8(X),fn_carrier_protein_38(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_active_movement_of_ions_2(X),fn_carrier_protein_41(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_biomembrane_47(fn_active_movement_of_ions_19(X)),fn_biomembrane_41(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_biomembrane_41(fn_active_movement_of_ions_19(X)),fn_biomembrane_41(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_biomembrane_41(fn_active_movement_of_ions_19(X)),fn_integral_protein_29(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_29(fn_active_movement_of_ions_10(X)),fn_integral_protein_29(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_29(fn_active_movement_of_ions_10(X)),fn_polymer_1(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_polymer_1(fn_active_movement_of_ions_10(X)),fn_phosphate_group_37(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_37(fn_active_movement_of_ions_16(X)),fn_phosphate_group_37(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_37(fn_active_movement_of_ions_16(X)),fn_molecule_10(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_molecule_10(fn_active_movement_of_ions_10(X)),fn_molecule_10(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_molecule_10(fn_active_movement_of_ions_10(X)),fn_phosphate_group_41(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_41(fn_active_movement_of_ions_16(X)),fn_phosphate_group_41(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_41(fn_active_movement_of_ions_16(X)),fn_covalent_bond_20(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & =(fn_covalent_bond_20(fn_active_movement_of_ions_3(X)),fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & =(fn_covalent_bond_19(fn_active_movement_of_ions_3(X)),fn_covalent_bond_19(fn_active_movement_of_ions_3(X)))
% 5.29/5.49 & =(fn_covalent_bond_19(fn_active_movement_of_ions_3(X)),fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)),fn_phosphate_group_22(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_22(fn_active_movement_of_ions_16(X)),fn_covalent_bond_20(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & =(fn_covalent_bond_20(fn_active_movement_of_ions_4(X)),fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & =(fn_covalent_bond_19(fn_active_movement_of_ions_4(X)),fn_covalent_bond_19(fn_active_movement_of_ions_4(X)))
% 5.29/5.49 & =(fn_covalent_bond_19(fn_active_movement_of_ions_4(X)),fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_32(fn_active_movement_of_ions_10(X)),fn_carrier_protein_32(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_32(fn_active_movement_of_ions_10(X)),fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)),fn_phosphate_group_5(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_phosphate_group_5(fn_active_movement_of_ions_16(X)),fn_polymer_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_polymer_6(fn_active_movement_of_ions_10(X)),fn_carrier_protein_33(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_33(fn_active_movement_of_ions_10(X)),fn_integral_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_23(fn_active_movement_of_ions_10(X)),fn_carrier_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_23(fn_active_movement_of_ions_10(X)),fn_integral_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_23(fn_active_movement_of_ions_10(X)),fn_carrier_protein_23(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_23(fn_active_movement_of_ions_10(X)),fn_integral_protein_6(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_6(fn_active_movement_of_ions_10(X)),fn_carrier_protein_30(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_30(fn_active_movement_of_ions_10(X)),fn_carrier_protein_30(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_30(fn_active_movement_of_ions_10(X)),fn_molecule_11(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_molecule_11(fn_active_movement_of_ions_10(X)),fn_carrier_protein_34(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_34(fn_active_movement_of_ions_10(X)),fn_carrier_protein_34(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_34(fn_active_movement_of_ions_10(X)),fn_biomembrane_63(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_biomembrane_63(fn_active_movement_of_ions_19(X)),fn_integral_protein_27(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_16(fn_active_movement_of_ions_10(X)),fn_integral_protein_27(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_27(fn_active_movement_of_ions_10(X)),fn_carrier_protein_16(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_16(fn_active_movement_of_ions_10(X)),fn_active_transport_18(X))
% 5.29/5.49 & =(fn_active_transport_18(X),fn_transport_protein_35(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_transport_protein_35(fn_active_movement_of_ions_10(X)),fn_active_transport_18(X))
% 5.29/5.49 & =(fn_active_transport_18(X),fn_integral_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_24(fn_active_movement_of_ions_10(X)),fn_integral_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_18(fn_active_movement_of_ions_10(X)),fn_integral_protein_24(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_integral_protein_24(fn_active_movement_of_ions_10(X)),fn_carrier_protein_18(fn_active_movement_of_ions_10(X)))
% 5.29/5.49 & =(fn_carrier_protein_18(fn_active_movement_of_ions_10(X)),fn_expose_1(fn_active_movement_of_ions_24(X)))
% 5.29/5.49 & =(fn_expose_1(fn_active_movement_of_ions_24(X)),fn_functional_group_1(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_functional_group_1(fn_active_movement_of_ions_16(X)),fn_functional_group_1(fn_active_movement_of_ions_16(X)))
% 5.29/5.49 & =(fn_functional_group_1(fn_active_movement_of_ions_16(X)),fn_biomembrane_54(fn_active_movement_of_ions_19(X)))
% 5.29/5.49 & =(fn_biomembrane_54(fn_active_movement_of_ions_19(X)),fn_active_transport_26(X))
% 5.29/5.49 & =(fn_active_transport_26(X),fn_biomembrane_54(fn_active_movement_of_ions_19(X))) ) ) ) ).
% 5.29/5.49
% 5.29/5.49
% 5.29/5.49 ( all X (
% 5.29/5.49 ( active_repressor_1(X)
% 5.29/5.49 -> ( original_name_2(X,'Active-Repressor')
% 5.29/5.49 & user_description_2(X,'The active form of a repressor.
% 5.29/5.49
% 5.29/5.49 ERROR, name too big, max is 255;
% 5.29/5.49 ERROR, name expected:
% 5.29/5.49 ')
% 5.29/5.49 & concept2words_2(X,'active repressor')
% 5.29/5.49 & concept2words_2(X,'active-repressor')
% 5.29/5.49 & repressor_1(X)
% 5.29/5.49 & -inactive_repressor_1(X)
% 5.29/5.49 & binding_site_1(fn_active_repressor_1(X))
% 5.29/5.49 & block_1(fn_active_repressor_2(X))
% 5.29/5.49 & inactive_repressor_1(fn_active_repressor_3(X))
% 5.29/5.49 & constant_motion_1(fn_active_repressor_8(X))
% 5.29/5.49 & prote ***HERE*** in_domain_1(fn_active_repressor_9(X))
% 5.29/5.49 & carbon_skeleton_1(fn_active_repressor_10(X))
% 5.29/5.49 & allosteric_site_1(fn_active_repressor_11(X))
% 5.29/5.49 & size_value_1(fn_active_repressor_12(X))
% 5.29/5.49 & polypeptide_1(fn_active_repressor_13(X))
% 5.29/5.49 & monomer_1(fn_active_repressor_14(X))
% 5.29/5.49 & atom_1(fn_active_repressor_15(X))
% 5.29/5.49 & chemical_entity_1(fn_active_repressor_15(X))
% 5.29/5.49 & carbon_1(fn_active_repressor_16(X))
% 5.29/5.49 & kinetic_energy_1(fn_active_repressor_17(X))
% 5.29/5.49 & attach_1(fn_active_repressor_18(X))
% 5.29/5.49 & conformational_change_1(fn_active_repressor_19(X))
% 5.29/5.49 & quantity_value_1(fn_active_repressor_20(X))
% 5.29/5.49 & speed_value_1(fn_active_repressor_21(X))
% 5.29/5.49 & size_value_1(fn_active_repressor_22(X))
% 5.29/5.49 & spatial_entity_1(fn_active_repressor_23(X))
% 5.29/5.49 & chemical_entity_1(fn_active_repressor_23(X))
% 5.29/5.49 & monomer_1(fn_active_repressor_23(X))
% 5.29/5.49 & molecule_1(fn_active_repressor_23(X))
% 5.29/5.49 & amino_acid_1(fn_active_repressor_23(X))
% 5.29/5.49 & hydrophilic_region_1(fn_active_repressor_24(X))
% 5.29/5.49 & surface_1(fn_active_repressor_25(X))
% 5.29/5.49 & attach_1(fn_active_repressor_26(X))
% 5.29/5.49 & operator_1(fn_active_repressor_27(X))
% 5.29/5.49 & binding_site_1(fn_active_repressor_28(X))
% 5.29/5.49 & conformational_change_1(fn_active_repressor_29(X))
% 5.29/5.49 & spatial_entity_1(fn_attach_2(fn_active_repressor_26(X)))
% 5.29/5.49 & spatial_entity_1(fn_conformational_change_4(fn_active_repressor_29(X)))
% 5.29/5.49 & spatial_entity_1(fn_conformational_change_3(fn_active_repressor_29(X)))
% 5.29/5.49 & spatial_entity_1(fn_attach_1(fn_active_repressor_26(X)))
% 5.29/5.49 & object_2(fn_active_repressor_29(X),fn_active_repressor_3(X))
% 5.29/5.49 & has_region_2(fn_active_repressor_3(X),fn_active_repressor_28(X))
% 5.29/5.49 & has_region_2(fn_active_repressor_27(X),fn_active_repressor_1(X))
% 5.29/5.49 & causes_2(fn_active_repressor_26(X),fn_active_repressor_2(X))
% 5.29/5.49 & causes_2(fn_active_repressor_26(X),fn_active_repressor_29(X))
% 5.29/5.49 & base_2(fn_active_repressor_26(X),fn_active_repressor_27(X))
% 5.29/5.49 & object_2(fn_active_repressor_29(X),fn_active_repressor_28(X))
% 5.29/5.49 & result_2(fn_active_repressor_29(X),X)
% 5.29/5.49 & object_2(fn_active_repressor_26(X),X)
% 5.29/5.49 & the_scalar_value_2(fn_active_repressor_12(X),big_0)
% 5.29/5.49 & scalar_unit_class_2(fn_active_repressor_12(X),polypeptide_0)
% 5.29/5.49 & is_at_2(fn_active_repressor_24(X),fn_active_repressor_25(X))
% 5.29/5.49 & has_part_2(X,fn_active_repressor_14(X))
% 5.29/5.49 & size_2(fn_active_repressor_14(X),fn_active_repressor_22(X))
% 5.29/5.49 & greater_than_2(fn_active_repressor_12(X),fn_active_repressor_22(X))
% 5.29/5.49 & size_2(X,fn_active_repressor_12(X))
% 5.29/5.49 & has_part_2(X,fn_active_repressor_15(X))
% 5.29/5.49 & base_2(fn_active_repressor_18(X),X)
% 5.29/5.49 & causes_2(fn_active_repressor_18(X),fn_active_repressor_19(X))
% 5.29/5.49 & object_2(fn_active_repressor_19(X),fn_active_repressor_11(X))
% 5.29/5.49 & has_region_2(X,fn_active_repressor_11(X))
% 5.29/5.49 & has_region_2(X,fn_active_repressor_24(X))
% 5.29/5.49 & has_part_2(X,fn_active_repressor_16(X))
% 5.29/5.49 & is_inside_2(fn_active_repressor_16(X),fn_active_repressor_10(X))
% 5.29/5.49 & has_region_2(X,fn_active_repressor_10(X))
% 5.29/5.49 & - ( =(fn_active_repressor_15(X),fn_active_repressor_16(X)) )
% 5.29/5.49 & - ( =(fn_active_repressor_16(X),fn_active_repressor_15(X)) )
% 5.29/5.49 & object_2(fn_active_repressor_8(X),X)
% 5.29/5.49 & speed_2(fn_active_repressor_8(X),fn_active_repressor_21(X))
% 5.29/5.49 & directly_proportional_2(fn_active_repressor_21(X),fn_active_repressor_20(X))
% 5.29/5.49 & quantity_2(fn_active_repressor_17(X),fn_active_repressor_20(X))
% 5.29/5.49 & possesses_2(X,fn_active_repressor_17(X))
% 5.29/5.49 & has_region_2(X,fn_active_repressor_9(X))
% 5.29/5.49 & is_at_2(fn_active_repressor_23(X),fn_active_repressor_9(X))
% 5.29/5.49 & has_part_2(fn_active_repressor_13(X),fn_active_repressor_23(X))
% 5.29/5.49 & has_part_2(X,fn_active_repressor_13(X))
% 5.29/5.49 & has_region_2(X,fn_active_repressor_25(X))
% 5.29/5.49 & =(fn_active_repressor_27(X),fn_attach_2(fn_active_repressor_26(X)))
% 5.29/5.49 & =(fn_active_repressor_28(X),fn_conformational_change_4(fn_active_repressor_29(X)))
% 5.29/5.49 & =(X,fn_conformational_change_3(fn_active_repressor_29(X)))
% 5.29/5.50 & =(X,fn_attach_1(fn_active_repressor_26(X)))
% 5.29/5.50 & =(fn_active_repressor_7(X),fn_allosteric_protein_22(X))
% 5.29/5.50 & =(fn_active_repressor_6(X),fn_allosteric_protein_24(X))
% 5.29/5.50 & =(fn_active_repressor_5(X),fn_allosteric_protein_23(X))
% 5.29/5.50 & =(fn_active_repressor_4(X),fn_allosteric_protein_25(X))
% 5.29/5.50 & =(fn_active_repressor_12(X),fn_allosteric_protein_19(X))
% 5.29/5.50 & =(fn_active_repressor_22(X),fn_allosteric_protein_14(X))
% 5.29/5.50 & =(fn_active_repressor_14(X),fn_allosteric_protein_11(X))
% 5.29/5.50 & =(fn_active_repressor_24(X),fn_allosteric_protein_2(X))
% 5.29/5.50 & =(fn_active_repressor_11(X),fn_allosteric_protein_6(X))
% 5.29/5.50 & =(fn_active_repressor_19(X),fn_allosteric_protein_9(X))
% 5.29/5.50 & =(fn_active_repressor_18(X),fn_allosteric_protein_7(X))
% 5.29/5.50 & =(fn_active_repressor_10(X),fn_allosteric_protein_4(X))
% 5.29/5.50 & =(fn_active_repressor_15(X),fn_allosteric_protein_10(X))
% 5.29/5.50 & =(fn_active_repressor_16(X),fn_allosteric_protein_12(X))
% 5.29/5.50 & =(fn_active_repressor_17(X),fn_allosteric_protein_18(X))
% 5.29/5.50 & =(fn_active_repressor_20(X),fn_allosteric_protein_15(X))
% 5.29/5.50 & =(fn_active_repressor_21(X),fn_allosteric_protein_16(X))
% 5.29/5.50 & =(fn_active_repressor_8(X),fn_allosteric_protein_17(X))
% 5.29/5.50 & =(fn_active_repressor_25(X),fn_allosteric_protein_3(X))
% 5.29/5.50 & =(fn_active_repressor_13(X),fn_allosteric_protein_20(X))
% 5.29/5.50 & =(fn_active_repressor_23(X),fn_allosteric_protein_13(X))
% 5.29/5.50 & =(fn_active_repressor_9(X),fn_allosteric_protein_21(X))
% 5.29/5.50 & =(fn_conformational_change_3(fn_active_repressor_29(X)),fn_attach_1(fn_active_repressor_26(X))) ) ) ) ).
% 5.29/5.50
% 5.29/5.50
% 5.29/5.50 ( all X (
% 5.29/5.50 ( active_site_1(X)
% 5.29/5.50 -> ( original_name_2(X,'Active-Site')
% 5.29/5.50 & user_description_2(X,'The active site is part of an enzyme where substrates bind and undergo a chemical reaction.
% 5.29/5.50
% 5.29/5.50 ERROR, name too big, max is 255;
% 5.29/5.50 ERROR, name expected:
% 5.29/5.50 ')
% 5.29/5.50 & concept2words_2(X,'catalytic center')
% 5.29/5.50 & concept2words_2(X,'catalytic-center')
% 5.29/5.50 & concept2words_2(X,'enzyme catalytic center')
% 5.29/5.50 & concept2words_2(X,'enzyme-catalytic-center')
% 5.29/5.50 & concept2words_2(X,'active site')
% 5.29/5.50 & concept2words_2(X,'active-site')
% 5.29/5.50 & cavity_1(X)
% 5.29/5.50 & functional_region_1(X)
% 5.29/5.50 & -allosteric_site_1(X)
% 5.29/5.50 & -alpha_helix_1(X)
% 5.29/5.50 & -antigen_binding_site_1(X)
% 5.29/5.50 & -epitope_1(X)
% 5.29/5.50 & -protein_domain_1(X)
% 5.29/5.50 & -number_3_prime_end_1(X)
% 5.29/5.50 & -number_5_prime_end_1(X)
% 5.29/5.50 & -a_sit ***HERE*** e_1(X)
% 5.29/5.50 & -e_site_1(X)
% 5.29/5.50 & -p_site_1(X)
% 5.29/5.50 & -amino_end_1(X)
% 5.29/5.50 & -carboxyl_end_1(X)
% 5.29/5.50 & -cell_equator_1(X)
% 5.29/5.50 & -cell_opposite_pole_1(X)
% 5.29/5.50 & -cell_pole_1(X)
% 5.29/5.50 & -centromere_1(X)
% 5.29/5.50 & -cis_face_1(X)
% 5.29/5.50 & -cisternal_space_1(X)
% 5.29/5.50 & -cleavage_furrow_1(X)
% 5.29/5.50 & -cytoplasmic_side_1(X)
% 5.29/5.50 & -inside_face_1(X)
% 5.29/5.50 & -intermembrane_space_1(X)
% 5.29/5.50 & -metaphase_plate_1(X)
% 5.29/5.50 & -mitochondrial_matrix_1(X)
% 5.29/5.50 & -origin_of_replication_1(X)
% 5.29/5.50 & -plasmodesmata_1(X)
% 5.29/5.50 & -poly_a__tail_1(X)
% 5.29/5.50 & -splice_site_1(X)
% 5.29/5.50 & -target_destination_1(X)
% 5.29/5.50 & -thylakoid_space_1(X)
% 5.29/5.50 & -trans_face_1(X) ) ) ) ).
% 5.29/5.50
% 5.29/5.50
% 5.29/5.50 ( all X (
% 5.29/5.50 ( active_transport_1(X)
% 5.29/5.50 -> ( original_name_2(X,'Active-Transport')
% 5.29/5.50 & user_description_2(X,'Active transport is the movement of a substance against its concentration energy (from low to high concentration).
% 5.29/5.50
% 5.29/5.50 ERROR, name too big, max is 255;
% 5.29/5.50 ERROR, name expected:
% 5.29/5.50 ')
% 5.29/5.50 & concept2words_2(X,transport)
% 5.29/5.50 & concept2words_2(X,'active transport')
% 5.29/5.50 & concept2words_2(X,'active-transport')
% 5.29/5.50 & transport_work_1(X)
% 5.29/5.50 & endergonic_process_1(X)
% 5.29/5.50 & subcellular_movement_1(X)
% 5.29/5.50 & -passive_transport_1(X)
% 5.29/5.50 & system_1(fn_active_transport_3(X))
% 5.29/5.50 & density_value_1(fn_active_transport_10(X))
% 5.29/5.50 & density_value_1(fn_active_transport_11( ***HERE*** X))
% 5.29/5.50 & quantity_value_1(fn_active_transport_12(X))
% 5.29/5.50 & quantity_value_1(fn_active_transport_13(X))
% 5.29/5.50 & concentration_value_1(fn_active_transport_14(X))
% 5.29/5.50 & rate_value_1(fn_active_transport_17(X))
% 5.29/5.50 & biomembrane_1(fn_active_transport_18(X))
% 5.29/5.50 & chemical_entity_1(fn_active_transport_19(X))
% 5.29/5.50 & solution_1(fn_active_transport_20(X))
% 5.29/5.50 & solution_1(fn_active_transport_21(X))
% 5.29/5.50 & move_1(fn_active_transport_22(X))
% 5.29/5.50 & move_through_1(fn_active_transport_22(X))
% 5.29/5.50 & chemical_1(fn_active_transport_23(X))
% 5.29/5.50 & chemical_1(fn_active_transport_24(X))
% 5.29/5.50 & concentration_gradient_1(fn_active_transport_25(X))
% 5.29/5.50 & carrier_protein_1(fn_active_transport_26(X))
% 5.29/5.50 & solution_1(fn_concentration_gradient_8(fn_active_transport_25(X)))
% 5.29/5.50 & solution_1(fn_concentration_gradient_9(fn_active_transport_25(X)))
% 5.29/5.50 & chemical_entity_1(fn_biomembrane_55(fn_active_transport_18(X)))
% 5.29/5.50 & chemical_1(fn_solution_5(fn_active_transport_21(X)))
% 5.29/5.50 & chemical_1(fn_solution_6(fn_active_transport_21(X)))
% 5.29/5.50 & move_through_1(fn_carrier_protein_4(fn_active_transport_26(X)))
% 5.29/5.50 & move_through_1(fn_biomembrane_52(fn_active_transport_18(X)))
% 5.29/5.50 & destination_2(fn_active_transport_22(X),fn_active_transport_21(X))
% 5.29/5.50 & origin_2(fn_active_transport_22(X),fn_active_transport_20(X))
% 5.29/5.50 & called_2(fn_active_transport_10(X),'Concentration_OH')
% 5.29/5.50 & called_2(fn_active_transport_11(X),'Concentration_H')
% 5.29/5.50 & called_2(fn_active_transport_12(X),'Quantity_H')
% 5.29/5.50 & called_2(fn_active_transport_13(X),'Quantity_OH')
% 5.29/5.50 & agent_2(X,fn_active_transport_26(X))
% 5.29/5.50 & base_2(X,fn_active_transport_25(X))
% 5.29/5.50 & origin_2(X,fn_active_transport_20(X))
% 5.29/5.50 & destination_2(X,fn_active_transport_21(X))
% 5.29/5.50 & object_2(X,fn_active_transport_19(X))
% 5.29/5.50 & path_2(X,fn_active_transport_18(X))
% 5.29/5.50 & concentration_2(fn_active_transport_19(X),fn_active_transport_14(X))
% 5.29/5.50 & positive_influence_2(fn_active_transport_14(X),fn_active_transport_17(X))
% 5.29/5.50 & subevent_2(X,fn_active_transport_22(X))
% 5.29/5.50 & agent_2(fn_active_transport_22(X),fn_active_transport_26(X))
% 5.29/5.50 & is_between_2(fn_active_transport_25(X),fn_active_transport_21(X))
% 5.29/5.50 & is_between_2(fn_active_transport_25(X),fn_active_transport_20(X))
% 5.29/5.50 & rate_2(X,fn_active_transport_17(X))
% 5.29/5.50 & base_2(fn_active_transport_22(X),fn_active_transport_18(X))
% 5.29/5.50 & object_2(fn_active_transport_22(X),fn_active_transport_19(X))
% 5.29/5.50 & =(fn_active_transport_22(X),fn_subcellular_movement_1(X))
% 5.29/5.50 & =(fn_active_transport_22(X),fn_carrier_protein_4(fn_active_transport_26(X)))
% 5.29/5.50 & =(fn_active_transport_21(X),fn_concentration_gradient_8(fn_active_transport_25(X)))
% 5.29/5.50 & =(fn_active_transport_20(X),fn_concentration_gradient_9(fn_active_transport_25(X)))
% 5.29/5.50 & =(fn_active_transport_16(X),fn_cellular_work_6(X))
% 5.29/5.50 & =(fn_active_transport_17(X),fn_cellular_work_5(X))
% 5.29/5.50 & =(fn_active_transport_19(X),fn_biomembrane_55(fn_active_transport_18(X)))
% 5.29/5.50 & =(fn_active_transport_22(X),fn_biomembrane_52(fn_active_transport_18(X)))
% 5.29/5.50 & =(fn_active_transport_23(X),fn_solution_5(fn_active_transport_21(X)))
% 5.29/5.50 & =(fn_active_transport_24(X),fn_solution_6(fn_active_transport_21(X)))
% 5.29/5.50 & =(fn_subcellular_movement_1(X),fn_carrier_protein_4(fn_active_transport_26(X)))
% 5.29/5.50 & =(fn_carrier_protein_4(fn_active_transport_26(X)),fn_carrier_protein_4(fn_active_transport_26(X)))
% 5.29/5.50 & =(fn_carrier_protein_4(fn_active_transport_26(X)),fn_biomembrane_52(fn_active_transport_18(X)))
% 5.29/5.50 & =(fn_biomembrane_52(fn_active_transport_18(X)),fn_biomembrane_52(fn_active_transport_18(X))) ) ) ) ).
% 5.29/5.50
% 5.29/5.50
% 5.29/5.50 ( all X (
% 5.29/5.50 ( active_transport_by_proton_pump_1(X)
% 5.29/5.50 -> ( original_name_2(X,'Active-Transport-By-Proton-Pump')
% 5.29/5.50 & concept2words_2(X,'active transport by proton pump')
% 5.29/5.50 & concept2words_2(X,'active-transport-by-proton-pump')
% 5.29/5.50 & active_movement_of_ions_1(X)
% 5.29/5.50 & active_transport_using_atp_1(X)
% 5.29/5.50 & proton_motive_force_1(fn_active_transport_by_proton_pump_1(X))
% 5.29/5.50 & hydrogen_ion_gradient_1(fn_active_transport_by_proton_pump_2(X))
% 5.29/5.50 & hydrogen_ion_1(fn_active_transport_by_proton_pump_3(X))
% 5.29/5.50 & proton_pump_1(fn_active_transport_by_proton_pump_4(X))
% 5.29/5.50 & hydrogen_ion_1(fn_proton_pump_54(fn_active_transport_by_proton_pump_4(X)))
% 5.29/5.50 & active_transport_by_proton_pump_1(fn_proton_pump_36(fn_active_transport_by_proton_pump_4(X)))
% 5.29/5.50 & result_2(X,fn_active_transport_by_proton_pump_1(X))
% 5.29/5.50 & result_2(X,fn_active_transport_by_proton_pump_2(X))
% 5.29/5.50 & agent_2(X,fn_active_transport_by_proton_pump_4(X))
% 5.29/5.50 & =(fn_active_transport_by_proton_pump_3(X),fn_proton_pump_54(fn_active_transport_by_proton_pump_4(X)))
% 5.29/5.50 & =(X,fn_proton_pump_36(fn_active_transport_by_proton_pump_4(X)))
% 5.29/5.50 & =(fn_proton_pump_36(fn_active_transport_by_proton_pump_4(X)),fn_proton_pump_36(fn_active_transport_by_proton_pump_4(X))) ) ) ) ).
% 5.29/5.50
% 5.29/5.50
% 5.29/5.50 ( all X (
% 5.29/5.50 ( active_transport_by_sodium_potassium_pump_1(X)
% 5.29/5.50 -> ( original_name_2(X,'Active-Transport-By-Sodium-Potassium-Pump')
% 5.29/5.50 & user_description_2(X,'Active movement of sodium ions and potassium ions across a plasma membrane.
% 5.29/5.50
% 5.29/5.50 ------------- memory usage ------------
% 5.29/5.50 105 mallocs of 32700 bytes each, 3353.0 K.
% 5.29/5.50 type (bytes each) gets frees in use avail bytes
% 5.29/5.50 sym_ent ( 304) 2978 0 2978 0 884.1 K
% 5.29/5.50 term ( 32) 247159 215364 31795 925 1022.5 K
% 5.29/5.50 rel ( 40) 184999 167147 17852 1220 745.0 K
% 5.29/5.50 term_ptr ( 16) 0 0 0 0 0.0 K
% 5.29/5.50 formula_ptr_2 ( 56) 0 0 0 0 0.0 K
% 5.29/5.50 fpa_head ( 24) 0 0 0 0 0.0 K
% 5.29/5.50 fpa_tree ( 56) 0 0 0 0 0.0 K
% 5.29/5.50 context (1288) 0 0 0 0 0.0 K
% 5.29/5.50 trail ( 24) 0 0 0 0 0.0 K
% 5.29/5.50 imd_tree ( 32) 1 0 1 0 0.0 K
% 5.29/5.50 imd_pos (4024) 0 0 0 0 0.0 K
% 5.29/5.50 is_tree ( 24) 2 0 2 0 0.0 K
% 5.29/5.50 is_pos (2424) 0 0 0 0 0.0 K
% 5.29/5.50 fsub_pos ( 16) 0 0 0 0 0.0 K
% 5.29/5.50 literal ( 32) 0 0 0 0 0.0 K
% 5.29/5.50 clause ( 88) 0 0 0 0 0.0 K
% 5.29/5.50 list ( 272) 7 0 7 0 1.9 K
% 5.29/5.50 clash_nd ( 80) 0 0 0 0 0.0 K
% 5.29/5.50 clause_ptr ( 16) 0 0 0 0 0.0 K
% 5.29/5.50 int_ptr ( 16) 0 0 0 0 0.0 K
% 5.29/5.50 ci_ptr ( 24) 0 0 0 0 0.0 K
% 5.29/5.50 link_node ( 120) 0 0 0 0 0.0 K
% 5.29/5.50 ans_lit_node( 24) 0 0 0 0 0.0 K
% 5.29/5.50 formula_box( 168) 0 0 0 0 0.0 K
% 5.29/5.50 formula( 40) 18947 3203 15744 154 621.0 K
% 5.29/5.50 formula_ptr( 16) 2585 0 2585 0 40.4 K
% 5.29/5.50 cl_attribute( 24) 0 0 0 0 0.0 K
% 5.29/5.50
% 5.29/5.50 ********** read_buf, input string (which contains quote mark) has more than 100000 characters, increase MAX_BUF
% 5.29/5.50 st_process time 0.00
% 5.29/5.50 back demod time 0.00
% 5.29/5.50 back subsume 0.00
% 5.29/5.50 factor time 0.00
% 5.29/5.50 FINDER time 0.00
% 5.29/5.50 unindex time 0.00
% 5.29/5.50
% 5.29/5.50 Forward subsumption counts, subsumer:number_subsumed.
% 5.29/5.50 1:0 2:0 3:0 4:0 5:0 6:0 7:0 8:0 9:0 10:0
% 5.29/5.50 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0
% 5.29/5.50 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0
% 5.29/5.50 31:0 32:0 33:0 34:0 35:0 36:0 37:0 38:0 39:0 40:0
% 5.29/5.50 41:0 42:0 43:0 44:0 45:0 46:0 47:0 48:0 49:0 50:0
% 5.29/5.50 51:0 52:0 53:0 54:0 55:0 56:0 57:0 58:0 59:0 60:0
% 5.29/5.50 61:0 62:0 63:0 64:0 65:0 66:0 67:0 68:0 69:0 70:0
% 5.29/5.50 71:0 72:0 73:0 74:0 75:0 76:0 77:0 78:0 79:0 80:0
% 5.29/5.50 81:0 82:0 83:0 84:0 85:0 86:0 87:0 88:0 89:0 90:0
% 5.29/5.50 91:0 92:0 93:0 94:0 95:0 96:0 97:0 98:0 99:0
% 5.29/5.50 All others: 0.
% 5.29/5.50
% 5.29/5.50 ********** ABNORMAL END **********
% 5.29/5.50
% 5.29/5.50 ********** read_buf, input string (which contains quote mark) has more than 100000 characters, increase MAX_BUF
%------------------------------------------------------------------------------