-------------------------
REQUIREMENT REQ001: [when, the, stm_phil_statephil1, is, holdforkr, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork1, is, available, ,, the, stm_phil_componentphil1, shall, :, assign, true, to, the, phil_right_picksupphil1__fork_left_picksupfork1, ,, assign, holdforkl, to, the, stm_phil_statephil1, ,, reset, the, stm_phil, 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_phil_statephil1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (holdforkr, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (available, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_picksupphil1__fork_left_picksupfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (holdforkl, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ002: [when, the, stm_fork_statefork1, is, available, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_right_picksupphil1__fork_left_picksupfork1, becomes, true, ,, the, stm_fork_componentfork1, shall, :, assign, false, to, the, phil_right_picksupphil1__fork_left_picksupfork1, ,, assign, busy2, to, the, stm_fork_statefork1, ,, reset, the, stm_fork, 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_fork_statefork1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (available, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_right_picksupphil1__fork_left_picksupfork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_picksupphil1__fork_left_picksupfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (busy2, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ003: [when, the, stm_phil_statephil1, is, holdforkl, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork2, is, available, ,, the, stm_phil_componentphil1, shall, :, assign, true, to, the, phil_left_picksupphil1__fork_right_picksupfork2, ,, assign, putsdownr, to, the, stm_phil_statephil1, ,, reset, the, stm_phil, timer] (4ms) 
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_phil_statephil1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (holdforkl, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (available, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_picksupphil1__fork_right_picksupfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (putsdownr, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ004: [when, the, stm_fork_statefork2, is, available, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_left_picksupphil1__fork_right_picksupfork2, becomes, true, ,, the, stm_fork_componentfork2, shall, :, assign, false, to, the, phil_left_picksupphil1__fork_right_picksupfork2, ,, assign, busy1, to, the, stm_fork_statefork2, ,, reset, the, stm_fork, 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_fork_statefork2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (available, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_left_picksupphil1__fork_right_picksupfork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_picksupphil1__fork_right_picksupfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (busy1, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ005: [when, the, stm_phil_statephil2, is, holdforkl, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork1, is, available, ,, the, stm_phil_componentphil2, shall, :, assign, true, to, the, phil_left_picksupphil2__fork_right_picksupfork1, ,, assign, putsdownr, to, the, stm_phil_statephil2, ,, reset, the, stm_phil, 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_phil_statephil2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (holdforkl, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (available, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_picksupphil2__fork_right_picksupfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (putsdownr, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ006: [when, the, stm_fork_statefork1, is, available, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_left_picksupphil2__fork_right_picksupfork1, becomes, true, ,, the, stm_fork_componentfork1, shall, :, assign, false, to, the, phil_left_picksupphil2__fork_right_picksupfork1, ,, assign, busy1, to, the, stm_fork_statefork1, ,, reset, the, stm_fork, 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_fork_statefork1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (available, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_left_picksupphil2__fork_right_picksupfork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_picksupphil2__fork_right_picksupfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (busy1, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ007: [when, the, stm_phil_statephil2, is, holdforkr, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork2, is, available, ,, the, stm_phil_componentphil2, shall, :, assign, true, to, the, phil_right_picksupphil2__fork_left_picksupfork2, ,, assign, holdforkl, to, the, stm_phil_statephil2, ,, reset, the, stm_phil, timer] (7ms) 
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_phil_statephil2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (holdforkr, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (available, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_picksupphil2__fork_left_picksupfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (holdforkl, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ008: [when, the, stm_fork_statefork2, is, available, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_right_picksupphil2__fork_left_picksupfork2, becomes, true, ,, the, stm_fork_componentfork2, shall, :, assign, false, to, the, phil_right_picksupphil2__fork_left_picksupfork2, ,, assign, busy2, to, the, stm_fork_statefork2, ,, reset, the, stm_fork, 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_fork_statefork2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (available, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_right_picksupphil2__fork_left_picksupfork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_picksupphil2__fork_left_picksupfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (busy2, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ009: [when, the, stm_phil_statephil1, is, putsdownr, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork1, is, busy2, ,, the, stm_phil_componentphil1, shall, :, assign, true, to, the, phil_right_putsdownphil1__fork_left_putsdownfork1, ,, assign, putsdownl, to, the, stm_phil_statephil1, ,, reset, the, stm_phil, 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_phil_statephil1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (putsdownr, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (busy2, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_putsdownphil1__fork_left_putsdownfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (putsdownl, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ010: [when, the, stm_fork_statefork1, is, busy2, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_right_putsdownphil1__fork_left_putsdownfork1, becomes, true, ,, the, stm_fork_componentfork1, shall, :, assign, false, to, the, phil_right_putsdownphil1__fork_left_putsdownfork1, ,, assign, available, to, the, stm_fork_statefork1, ,, reset, the, stm_fork, 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_fork_statefork1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (busy2, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_right_putsdownphil1__fork_left_putsdownfork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_putsdownphil1__fork_left_putsdownfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (available, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ011: [when, the, stm_phil_statephil1, is, putsdownl, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork2, is, busy1, ,, the, stm_phil_componentphil1, shall, :, assign, true, to, the, phil_left_putsdownphil1__fork_right_putsdownfork2, ,, assign, holdforkr, to, the, stm_phil_statephil1, ,, reset, the, stm_phil, 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_phil_statephil1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (putsdownl, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (busy1, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_putsdownphil1__fork_right_putsdownfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (holdforkr, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ012: [when, the, stm_fork_statefork2, is, busy1, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_left_putsdownphil1__fork_right_putsdownfork2, becomes, true, ,, the, stm_fork_componentfork2, shall, :, assign, false, to, the, phil_left_putsdownphil1__fork_right_putsdownfork2, ,, assign, available, to, the, stm_fork_statefork2, ,, reset, the, stm_fork, 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_fork_statefork2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (busy1, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_left_putsdownphil1__fork_right_putsdownfork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_putsdownphil1__fork_right_putsdownfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (available, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ013: [when, the, stm_phil_statephil2, is, putsdownl, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork1, is, busy1, ,, the, stm_phil_componentphil2, shall, :, assign, true, to, the, phil_left_putsdownphil2__fork_right_putsdownfork1, ,, assign, holdforkr, to, the, stm_phil_statephil2, ,, reset, the, stm_phil, 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_phil_statephil2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (putsdownl, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (busy1, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_putsdownphil2__fork_right_putsdownfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (holdforkr, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ014: [when, the, stm_fork_statefork1, is, busy1, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_left_putsdownphil2__fork_right_putsdownfork1, becomes, true, ,, the, stm_fork_componentfork1, shall, :, assign, false, to, the, phil_left_putsdownphil2__fork_right_putsdownfork1, ,, assign, available, to, the, stm_fork_statefork1, ,, reset, the, stm_fork, 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_fork_statefork1, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (busy1, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_left_putsdownphil2__fork_right_putsdownfork1, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork1, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_left_putsdownphil2__fork_right_putsdownfork1, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (available, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork1, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ015: [when, the, stm_phil_statephil2, is, putsdownr, ,, and, the, stm_phil, timer, is, greater, than, 0, ,, and, the, stm_fork_statefork2, is, busy2, ,, the, stm_phil_componentphil2, shall, :, assign, true, to, the, phil_right_putsdownphil2__fork_left_putsdownfork2, ,, assign, putsdownl, to, the, stm_phil_statephil2, ,, reset, the, stm_phil, 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_phil_statephil2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (putsdownr, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, 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_fork_statefork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (is, VTOBE_PRE3)
      |-VerbComplement
       |-VariableState
        |- (busy2, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_phil_componentphil2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (true, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_putsdownphil2__fork_left_putsdownfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (putsdownl, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_phil_statephil2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_phil, NSING)
        |-Noun
         |- (timer, NSING)

-------------------------
REQUIREMENT REQ016: [when, the, stm_fork_statefork2, is, busy2, ,, and, the, stm_fork, timer, is, greater, than, 0, ,, and, the, phil_right_putsdownphil2__fork_left_putsdownfork2, becomes, true, ,, the, stm_fork_componentfork2, shall, :, assign, false, to, the, phil_right_putsdownphil2__fork_left_putsdownfork2, ,, assign, available, to, the, stm_fork_statefork2, ,, reset, the, stm_fork, 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_fork_statefork2, NSING)
       |-VerbPhraseCondition
        |-VerbCondition
         |- (is, VTOBE_PRE3)
        |-VerbComplement
         |-VariableState
          |- (busy2, ADJ)
    |- (,, COMMA)
    |- (and, AND)
    |-OrCondition
     |-Condition
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, 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
        |- (phil_right_putsdownphil2__fork_left_putsdownfork2, NSING)
     |-VerbPhraseCondition
      |-VerbCondition
       |- (becomes, VPRE3RD)
      |-VerbComplement
       |-VariableState
        |- (true, ADJ)
 |- (,, COMMA)
 |-ActionClause
  |-NounPhrase
   |- (the, DETER)
   |-AuxiliarSymbol4
    |-Noun
     |- (stm_fork_componentfork2, NSING)
  |-VerbPhraseAction
   |- (shall, SHALL)
   |- (:, COLON)
   |-VerbAction
    |- (assign, VBASE)
   |-VerbComplement
    |-VariableState
     |- (false, ADJ)
    |-AuxiliarSymbol2
     |-PrepositionalPhrase
      |- (to, PREP)
      |-VariableState
       |-NounPhrase
        |- (the, DETER)
        |-AuxiliarSymbol4
         |-Noun
          |- (phil_right_putsdownphil2__fork_left_putsdownfork2, NSING)
   |-AuxiliarSymbol1
    |-AuxiliarSymbol1
     |- (,, COMMA)
     |-VerbAction
      |- (assign, VBASE)
     |-VerbComplement
      |-VariableState
       |- (available, ADJ)
      |-AuxiliarSymbol2
       |-PrepositionalPhrase
        |- (to, PREP)
        |-VariableState
         |-NounPhrase
          |- (the, DETER)
          |-AuxiliarSymbol4
           |-Noun
            |- (stm_fork_statefork2, NSING)
    |- (,, COMMA)
    |-VerbAction
     |- (reset, VBASE)
    |-VerbComplement
     |-VariableState
      |-NounPhrase
       |- (the, DETER)
       |-AuxiliarSymbol4
        |-AuxiliarSymbol4
         |-Noun
          |- (stm_fork, NSING)
        |-Noun
         |- (timer, NSING)

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