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