-------------------------
REQUIREMENT REQ001: [when, the, stm_control_statecontrol1, is, rec_a1_n2, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell1, is, init_cell, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_write_1_acontrol1__port_cell_write_acell1, ,, assign, write_a1_n3, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (rec_a1_n2, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (init_cell, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (write_a1_n3, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ002: [when, the, stm_cell_statecell1, is, init_cell, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_write_1_acontrol1__port_cell_write_acell1, becomes, true, ,, the, stm_cell_componentcell1, shall, :, assign, false, to, the, port_control_write_1_acontrol1__port_cell_write_acell1, ,, assign, writea, to, the, stm_cell_statecell1, ,, reset, the, stm_cell, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (init_cell, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (writea, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ003: [when, the, stm_control_statecontrol1, is, rec_a2_n8, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell1, is, init_cell, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_write_1_acontrol1__port_cell_write_acell1, ,, assign, write_a2_a1_n10, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (rec_a2_n8, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (init_cell, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (write_a2_a1_n10, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ004: [when, the, stm_cell_statecell1, is, init_cell, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_write_1_acontrol1__port_cell_write_acell1, becomes, true, ,, the, stm_cell_componentcell1, shall, :, assign, false, to, the, port_control_write_1_acontrol1__port_cell_write_acell1, ,, assign, writea, to, the, stm_cell_statecell1, ,, reset, the, stm_cell, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (init_cell, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_1_acontrol1__port_cell_write_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (writea, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ005: [when, the, stm_control_statecontrol1, is, init_control_n0, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell1, is, writea, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_read_1_acontrol1__port_cell_read_acell1, ,, assign, reta1_n1, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (init_control_n0, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (writea, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (reta1_n1, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ006: [when, the, stm_cell_statecell1, is, writea, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_read_1_acontrol1__port_cell_read_acell1, becomes, true, ,, the, stm_cell_componentcell1, shall, :, assign, false, to, the, port_control_read_1_acontrol1__port_cell_read_acell1, ,, assign, init_cell, to, the, stm_cell_statecell1, ,, reset, the, stm_cell, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (writea, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (init_cell, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ007: [when, the, stm_control_statecontrol1, is, ret_a1_a2_n5, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell1, is, writea, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_read_1_acontrol1__port_cell_read_acell1, ,, assign, read_a2_n7, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (ret_a1_a2_n5, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (writea, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (read_a2_n7, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ008: [when, the, stm_cell_statecell1, is, writea, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_read_1_acontrol1__port_cell_read_acell1, becomes, true, ,, the, stm_cell_componentcell1, shall, :, assign, false, to, the, port_control_read_1_acontrol1__port_cell_read_acell1, ,, assign, init_cell, to, the, stm_cell_statecell1, ,, reset, the, stm_cell, timer] (2ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (writea, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_1_acontrol1__port_cell_read_acell1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (init_cell, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ009: [when, the, stm_control_statecontrol1, is, rec_a1_a2_n4, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell2, is, init_cell, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_write_2_acontrol1__port_cell_write_acell2, ,, assign, write_a1_a2_n6, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (2ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (rec_a1_a2_n4, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (init_cell, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_2_acontrol1__port_cell_write_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (write_a1_a2_n6, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ010: [when, the, stm_cell_statecell2, is, init_cell, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_write_2_acontrol1__port_cell_write_acell2, becomes, true, ,, the, stm_cell_componentcell2, shall, :, assign, false, to, the, port_control_write_2_acontrol1__port_cell_write_acell2, ,, assign, writea, to, the, stm_cell_statecell2, ,, reset, the, stm_cell, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (init_cell, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_write_2_acontrol1__port_cell_write_acell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_write_2_acontrol1__port_cell_write_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (writea, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ011: [when, the, stm_control_statecontrol1, is, ret_a2_n9, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell2, is, writea, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_read_2_acontrol1__port_cell_read_acell2, ,, assign, init_control_n0, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (ret_a2_n9, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (writea, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (init_control_n0, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ012: [when, the, stm_cell_statecell2, is, writea, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_read_2_acontrol1__port_cell_read_acell2, becomes, true, ,, the, stm_cell_componentcell2, shall, :, assign, false, to, the, port_control_read_2_acontrol1__port_cell_read_acell2, ,, assign, init_cell, to, the, stm_cell_statecell2, ,, reset, the, stm_cell, timer] (3ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (writea, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (init_cell, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ013: [when, the, stm_control_statecontrol1, is, ret_a2_a1_n11, ,, and, the, stm_control, timer, is, greater, than, 0, ,, and, the, stm_cell_statecell2, is, writea, ,, the, stm_control_componentcontrol1, shall, :, assign, true, to, the, port_control_read_2_acontrol1__port_cell_read_acell2, ,, assign, write_a1_n3, to, the, stm_control_statecontrol1, ,, reset, the, stm_control, timer] (5ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control_statecontrol1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (ret_a2_a1_n11, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (stm_cell_statecell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |-NounPhrase
         |-AuxiliarSymbol4
          |-Noun
           |- (writea, NSING)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_control_componentcontrol1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (write_a1_n3, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_control_statecontrol1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_control, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ014: [when, the, stm_cell_statecell2, is, writea, ,, and, the, stm_cell, timer, is, greater, than, 0, ,, and, the, port_control_read_2_acontrol1__port_cell_read_acell2, becomes, true, ,, the, stm_cell_componentcell2, shall, :, assign, false, to, the, port_control_read_2_acontrol1__port_cell_read_acell2, ,, assign, init_cell, to, the, stm_cell_statecell2, ,, reset, the, stm_cell, timer] (6ms) 
The requirement is syntactically CORRECT. Number of solutions = 1.
SOLUTION #1
Requirement
 |-ConditionalClause
  |- (when, CONJ)
  |-AndCondition
   |-AndCondition
    |-AndCondition
     |-OrCondition
      |-Condition
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell_statecell2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |-NounPhrase
           |-AuxiliarSymbol4
            |-Noun
             |- (writea, NSING)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)
      |-VerbPhraseCondition
       |-VerbCondition
        |- (is, VTOBE_PRE3)
       |-ComparativeTerm
        |- (greater than, COMP)
       |-VerbComplement
        |-VariableState
         |- (0, NUMBER)
   |- (,, COMMA)
   |- (and, AND)
   |-OrCondition
    |-Condition
     |-NounPhrase
      |- (the, DETER)
      |-AuxiliarSymbol4
       |-Noun
        |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_cell_componentcell2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (port_control_read_2_acontrol1__port_cell_read_acell2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |-NounPhrase
        |-AuxiliarSymbol4
         |-Noun
          |- (init_cell, NSING)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_cell_statecell2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_cell, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
TOTAL REQUIREMENTS PROCESSING TIME = 45ms.
Recognized requirements (A) = 14 (solutions found (B) = 14, B/A = 1.0).
Not recognized requirements = 0.
-------------------------
