TSTP Solution File: BIO004+1 by SOS---2.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : SOS---2.0
% Problem  : BIO004+1 : TPTP v8.1.0. Bugfixed v6.4.1.
% Transfm  : none
% Format   : tptp:raw
% Command  : sos-script %s

% Computer : n022.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.24s 5.45s
% Output   : None 
% Verified : 
% SZS Type : -

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