**** log opened ****

 sourcing abstract.soar 
*******
 source: ./count-attributes.soar
**
 sourcing ./elaborations/_all.soar
**
 sourcing ./elaborations/_debug.soar
*
 source ./elaborations/elaborations.soar
*
 source ./elaborations/top-state.soar 
*
 source ./get-example.soar
******
 note-relevant-feature.soar 
*****
 sourcing ./prediction.soar 
*****
 sourcing ./prediction-task.soar 
**
 sourcing: ./reverse.soar
**
 sourcing state-no-change/abstract
*
 sourcing ./state-no-change/elaborations.soar 
***
 sourcing ./state-no-change/prediction.soar 
****
 source ./elaborions/test-initialization.soar 
*#*#*#*#*#*#*#*
 ./elaborations/source stand-alone-control.soar 
***Current watch settings:
  Decisions:  on
  Phases:  on
  Production firings/retractions
    default productions:  on
    user productions:  on
    chunks:  on
    justifications:  on
    WME detail level:  1
  Working memory changes:  on
  Preferences generated by firings/retractions:  on

  Learning:  -noprint  (watch creation of chunks/just.)
  Backtracing:  off
  Alias printing:  (null)
  Loading:  on

=>WM: (2: S1 ^superstate nil)
=>WM: (1: S1 ^type state)

     0: ==>S: S1 
--- Input Phase --- 
=>WM: (5: I1 ^output-link I3)
=>WM: (4: I1 ^input-link I2)
=>WM: (3: S1 ^io I1)

--- Proposal Phase ---
	--- Firing Productions (IE) ---
Firing init-wm
 -->
 (P1 ^name predict +)
 (S1 ^problem-space P1 +)
Firing elaborate*state*top-state*init
 -->
 (S1 ^top-state S1 +)
Firing predict*initialize*trial
 -->
 (C1 ^reject 0 +)
 (C1 ^accept 1 +)
 (D1 ^weather 1 +)
 (D1 ^size |L| +)
 (D1 ^altitude 4000 +)
 (I4 ^description D1 +)
 (I4 ^number 1 +)
 (T1 ^number 1 +)
 (T1 ^category C1 +)
 (T1 ^complexity |Category-I| +)
 (T1 ^instance I4 +)
 (S1 ^trial T1 +)
	--- Change Working Memory (IE) ---
=>WM: (20: C1 ^reject 0)
=>WM: (19: C1 ^accept 1)
=>WM: (18: D1 ^weather 1)
=>WM: (17: D1 ^size |L|)
=>WM: (16: D1 ^altitude 4000)
=>WM: (15: I4 ^description D1)
=>WM: (14: I4 ^number 1)
=>WM: (13: T1 ^number 1)
=>WM: (12: T1 ^category C1)
=>WM: (11: T1 ^complexity |Category-I|)
=>WM: (10: T1 ^instance I4)
=>WM: (9: S1 ^trial T1)
=>WM: (8: S1 ^top-state S1)
=>WM: (7: P1 ^name predict)
=>WM: (6: S1 ^problem-space P1)

--- Proposal Phase ---
	--- Firing Productions (IE) ---
Firing stand-alone-control*start-trial*copy*instance*for*prediction
 -->
 (S1 ^input-example I4 +)
	--- Change Working Memory (IE) ---
=>WM: (21: S1 ^input-example I4)

--- Proposal Phase ---
	--- Firing Productions (IE) ---
Firing predict*get-example*propose
 -->
 (O1 ^name get-example +)
 (S1 ^operator O1 +)
	--- Change Working Memory (IE) ---
=>WM: (23: S1 ^operator O1 +)
=>WM: (22: O1 ^name get-example)

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (24: S1 ^operator O1)

     1:    O: O1 (get-example)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply
 -->
 (O2 ^count 0 +  :O )
 (O2 ^description D2 +  :O )
 (S1 ^object O2 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (27: O2 ^count 0)
=>WM: (26: O2 ^description D2)
=>WM: (25: S1 ^object O2)

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply*copy-attributes
 -->
 (D2 ^weather 1 +  :O )
Firing get-example*apply*copy-attributes
 -->
 (D2 ^size |L| +  :O )
Firing get-example*apply*copy-attributes
 -->
 (D2 ^altitude 4000 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (30: D2 ^altitude 4000)
=>WM: (29: D2 ^size |L|)
=>WM: (28: D2 ^weather 1)

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply*count-attributes-1
 -->
 (C2 ^value 1 +  :O )
 (C2 ^attribute weather +  :O )
 (O2 ^copied-attributes *yes* +  :O )
 (O2 ^count-tag C2 +  :O )
Firing get-example*apply*count-attributes-1
 -->
 (C3 ^value |L| +  :O )
 (C3 ^attribute size +  :O )
 (O2 ^copied-attributes *yes* +  :O )
 (O2 ^count-tag C3 +  :O )
Firing get-example*apply*count-attributes-1
 -->
 (C4 ^value 4000 +  :O )
 (C4 ^attribute altitude +  :O )
 (O2 ^copied-attributes *yes* +  :O )
 (O2 ^count-tag C4 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (40: C4 ^value 4000)
=>WM: (39: C4 ^attribute altitude)
=>WM: (38: O2 ^copied-attributes *yes*)
=>WM: (37: O2 ^count-tag C2)
=>WM: (36: O2 ^count-tag C3)
=>WM: (35: O2 ^count-tag C4)
=>WM: (34: C3 ^value |L|)
=>WM: (33: C3 ^attribute size)
=>WM: (32: C2 ^value 1)
=>WM: (31: C2 ^attribute weather)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing count-attributes*propose
 -->
 (O3 ^count-tag C4 +)
 (O3 ^name count-attributes +)
 (S1 ^operator O3 =)
 (S1 ^operator O3 +)
Firing count-attributes*propose
 -->
 (O4 ^count-tag C3 +)
 (O4 ^name count-attributes +)
 (S1 ^operator O4 =)
 (S1 ^operator O4 +)
Firing count-attributes*propose
 -->
 (O5 ^count-tag C2 +)
 (O5 ^name count-attributes +)
 (S1 ^operator O5 =)
 (S1 ^operator O5 +)
Retracting predict*get-example*propose
 --> (O1 ^name get-example +)
 (S1 ^operator O1 +)
	--- Change Working Memory (IE) ---
=>WM: (49: S1 ^operator O5 +)
=>WM: (48: S1 ^operator O4 +)
=>WM: (47: S1 ^operator O3 +)
=>WM: (46: O5 ^count-tag C2)
=>WM: (45: O5 ^name count-attributes)
=>WM: (44: O4 ^count-tag C3)
=>WM: (43: O4 ^name count-attributes)
=>WM: (42: O3 ^count-tag C4)
=>WM: (41: O3 ^name count-attributes)
<=WM: (23: S1 ^operator O1 +)
<=WM: (24: S1 ^operator O1)
<=WM: (22: O1 ^name get-example)

--- Application Phase ---
	--- Firing Productions (IE) ---
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (50: S1 ^operator O4)

     2:    O: O4 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O2 ^count 1 +  :O )
 (O2 ^count 0 -  :O )
 (O2 ^count-tag C3 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (51: O2 ^count 1)
<=WM: (27: O2 ^count 0)
<=WM: (36: O2 ^count-tag C3)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting count-attributes*propose
 --> (O4 ^count-tag C3 +)
 (O4 ^name count-attributes +)
 (S1 ^operator O4 =)
 (S1 ^operator O4 +)
	--- Change Working Memory (IE) ---
<=WM: (34: C3 ^value |L|)
<=WM: (33: C3 ^attribute size)
<=WM: (48: S1 ^operator O4 +)
<=WM: (50: S1 ^operator O4)
<=WM: (44: O4 ^count-tag C3)
<=WM: (43: O4 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (52: S1 ^operator O5)

     3:    O: O5 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O2 ^count 2 +  :O )
 (O2 ^count 1 -  :O )
 (O2 ^count-tag C2 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (53: O2 ^count 2)
<=WM: (51: O2 ^count 1)
<=WM: (37: O2 ^count-tag C2)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting count-attributes*propose
 --> (O5 ^count-tag C2 +)
 (O5 ^name count-attributes +)
 (S1 ^operator O5 =)
 (S1 ^operator O5 +)
	--- Change Working Memory (IE) ---
<=WM: (32: C2 ^value 1)
<=WM: (31: C2 ^attribute weather)
<=WM: (49: S1 ^operator O5 +)
<=WM: (52: S1 ^operator O5)
<=WM: (46: O5 ^count-tag C2)
<=WM: (45: O5 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (54: S1 ^operator O3)

     4:    O: O3 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O2 ^count 3 +  :O )
 (O2 ^count 2 -  :O )
 (O2 ^count-tag C4 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (55: O2 ^count 3)
<=WM: (53: O2 ^count 2)
<=WM: (35: O2 ^count-tag C4)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*tasking*predict*propose
 -->
 (O6 ^name prediction-task +)
 (S1 ^operator O6 +)
Retracting count-attributes*propose
 --> (O3 ^count-tag C4 +)
 (O3 ^name count-attributes +)
 (S1 ^operator O3 =)
 (S1 ^operator O3 +)
	--- Change Working Memory (IE) ---
=>WM: (57: S1 ^operator O6 +)
=>WM: (56: O6 ^name prediction-task)
<=WM: (40: C4 ^value 4000)
<=WM: (39: C4 ^attribute altitude)
<=WM: (47: S1 ^operator O3 +)
<=WM: (54: S1 ^operator O3)
<=WM: (42: O3 ^count-tag C4)
<=WM: (41: O3 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (58: S1 ^operator O6)

     5:    O: O6 (prediction-task)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*tasking*predict*apply
 -->
 (S1 ^task predict +  :O )
	--- Change Working Memory (PE) ---
=>WM: (59: S1 ^task predict)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*propose
 -->
 (O7 ^symbol S2 +)
 (O7 ^value 4000 +)
 (O7 ^attribute altitude +)
 (O7 ^name abstract +)
 (S1 ^operator O7 +)
Firing predict*abstract*propose
 -->
 (O8 ^symbol S3 +)
 (O8 ^value |L| +)
 (O8 ^attribute size +)
 (O8 ^name abstract +)
 (S1 ^operator O8 +)
Firing predict*abstract*propose
 -->
 (O9 ^symbol S4 +)
 (O9 ^value 1 +)
 (O9 ^attribute weather +)
 (O9 ^name abstract +)
 (S1 ^operator O9 +)
Retracting predict*tasking*predict*propose
 --> (O6 ^name prediction-task +)
 (S1 ^operator O6 +)
	--- Change Working Memory (IE) ---
=>WM: (74: S1 ^operator O9 +)
=>WM: (73: S1 ^operator O8 +)
=>WM: (72: S1 ^operator O7 +)
=>WM: (71: O9 ^symbol S4)
=>WM: (70: O9 ^value 1)
=>WM: (69: O9 ^attribute weather)
=>WM: (68: O9 ^name abstract)
=>WM: (67: O8 ^symbol S3)
=>WM: (66: O8 ^value |L|)
=>WM: (65: O8 ^attribute size)
=>WM: (64: O8 ^name abstract)
=>WM: (63: O7 ^symbol S2)
=>WM: (62: O7 ^value 4000)
=>WM: (61: O7 ^attribute altitude)
=>WM: (60: O7 ^name abstract)
<=WM: (57: S1 ^operator O6 +)
<=WM: (58: S1 ^operator O6)
<=WM: (56: O6 ^name prediction-task)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O7 =)
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O8 =)
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O9 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (75: S1 ^operator O7)

     6:    O: O7 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O2 ^count 2 +  :O )
 (O2 ^count 3 -  :O )
 (D2 ^altitude 4000 -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L1 ^altitude 4000 +  :O )
 (O2 ^last-abstraction L1 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (78: L1 ^altitude 4000)
=>WM: (77: O2 ^last-abstraction L1)
=>WM: (76: O2 ^count 2)
<=WM: (55: O2 ^count 3)
<=WM: (30: D2 ^altitude 4000)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*propose
 --> (O7 ^symbol S2 +)
 (O7 ^value 4000 +)
 (O7 ^attribute altitude +)
 (O7 ^name abstract +)
 (S1 ^operator O7 +)
	--- Change Working Memory (IE) ---
<=WM: (72: S1 ^operator O7 +)
<=WM: (75: S1 ^operator O7)
<=WM: (63: O7 ^symbol S2)
<=WM: (62: O7 ^value 4000)
<=WM: (61: O7 ^attribute altitude)
<=WM: (60: O7 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*indifferent
 --> (S1 ^operator O7 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (79: S1 ^operator O8)

     7:    O: O8 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O2 ^count 1 +  :O )
 (O2 ^count 2 -  :O )
 (D2 ^size |L| -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L2 ^size |L| +  :O )
 (O2 ^last-abstraction L2 +  :O )
Firing predict*abstract*apply-reject-previous-last-abstraction
 -->
 (O2 ^last-abstraction L1 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (82: L2 ^size |L|)
=>WM: (81: O2 ^last-abstraction L2)
=>WM: (80: O2 ^count 1)
<=WM: (78: L1 ^altitude 4000)
<=WM: (77: O2 ^last-abstraction L1)
<=WM: (76: O2 ^count 2)
<=WM: (29: D2 ^size |L|)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*propose
 --> (O8 ^symbol S3 +)
 (O8 ^value |L| +)
 (O8 ^attribute size +)
 (O8 ^name abstract +)
 (S1 ^operator O8 +)
	--- Change Working Memory (IE) ---
<=WM: (73: S1 ^operator O8 +)
<=WM: (79: S1 ^operator O8)
<=WM: (67: O8 ^symbol S3)
<=WM: (66: O8 ^value |L|)
<=WM: (65: O8 ^attribute size)
<=WM: (64: O8 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*indifferent
 --> (S1 ^operator O8 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (83: S1 ^operator O9)

     8:    O: O9 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O2 ^count 0 +  :O )
 (O2 ^count 1 -  :O )
 (D2 ^weather 1 -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L3 ^weather 1 +  :O )
 (O2 ^last-abstraction L3 +  :O )
Firing predict*abstract*apply-reject-previous-last-abstraction
 -->
 (O2 ^last-abstraction L2 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (86: L3 ^weather 1)
=>WM: (85: O2 ^last-abstraction L3)
=>WM: (84: O2 ^count 0)
<=WM: (82: L2 ^size |L|)
<=WM: (81: O2 ^last-abstraction L2)
<=WM: (80: O2 ^count 1)
<=WM: (28: D2 ^weather 1)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing prediction*accept
 -->
 (O10 ^category accept +)
 (O10 ^name prediction +)
 (S1 ^operator O10 +)
Firing prediction*reject
 -->
 (O11 ^category reject +)
 (O11 ^name prediction +)
 (S1 ^operator O11 +)
Retracting predict*abstract*propose
 --> (O9 ^symbol S4 +)
 (O9 ^value 1 +)
 (O9 ^attribute weather +)
 (O9 ^name abstract +)
 (S1 ^operator O9 +)
	--- Change Working Memory (IE) ---
=>WM: (92: S1 ^operator O11 +)
=>WM: (91: S1 ^operator O10 +)
=>WM: (90: O11 ^category reject)
=>WM: (89: O11 ^name prediction)
=>WM: (88: O10 ^category accept)
=>WM: (87: O10 ^name prediction)
<=WM: (74: S1 ^operator O9 +)
<=WM: (83: S1 ^operator O9)
<=WM: (71: O9 ^symbol S4)
<=WM: (70: O9 ^value 1)
<=WM: (69: O9 ^attribute weather)
<=WM: (68: O9 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing prediction*indifferent-if-not-training
 -->
 (S1 ^operator O10 =)
Firing prediction*indifferent-if-not-training
 -->
 (S1 ^operator O11 =)
Retracting predict*abstract*indifferent
 --> (S1 ^operator O9 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (93: S1 ^operator O11)

     9:    O: O11 (prediction)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing prediction*apply
 -->
 (O2 ^count 0 -  :O )
 (S1 ^task predict -  :O )
 (S1 ^input-example I4 -  :O )
 (S1 ^guessed-prediction reject +  :O )
 (S1 ^object O2 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (94: S1 ^guessed-prediction reject)
<=WM: (86: L3 ^weather 1)
<=WM: (26: O2 ^description D2)
<=WM: (38: O2 ^copied-attributes *yes*)
<=WM: (85: O2 ^last-abstraction L3)
<=WM: (25: S1 ^object O2)
<=WM: (21: S1 ^input-example I4)
<=WM: (59: S1 ^task predict)
<=WM: (84: O2 ^count 0)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting prediction*indifferent-if-not-training
 --> (S1 ^operator O11 =)
Retracting prediction*indifferent-if-not-training
 --> (S1 ^operator O10 =)
Retracting prediction*reject
 --> (O11 ^category reject +)
 (O11 ^name prediction +)
 (S1 ^operator O11 +)
Retracting prediction*accept
 --> (O10 ^category accept +)
 (O10 ^name prediction +)
 (S1 ^operator O10 +)
	--- Change Working Memory (IE) ---
<=WM: (91: S1 ^operator O10 +)
<=WM: (92: S1 ^operator O11 +)
<=WM: (93: S1 ^operator O11)
<=WM: (90: O11 ^category reject)
<=WM: (89: O11 ^name prediction)
<=WM: (88: O10 ^category accept)
<=WM: (87: O10 ^name prediction)

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing stand-alone-control*record-prediction
 -->
 (T1 ^prediction-for-this-instance reject +  :O )
 (T1 ^prediction-complete *yes* +  :O )
Firing stand-alone-control*set-up-training
 -->
 (I4 ^category accept +  :O )
 (S1 ^input-example I4 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (98: I4 ^category accept)
=>WM: (97: S1 ^input-example I4)
=>WM: (96: T1 ^prediction-for-this-instance reject)
=>WM: (95: T1 ^prediction-complete *yes*)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*get-example*propose
 -->
 (O12 ^name get-example +)
 (S1 ^operator O12 +)
	--- Change Working Memory (IE) ---
=>WM: (100: S1 ^operator O12 +)
=>WM: (99: O12 ^name get-example)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (101: S1 ^operator O12)

    10:    O: O12 (get-example)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply
 -->
 (O13 ^count 0 +  :O )
 (O13 ^description D3 +  :O )
 (S1 ^object O13 +  :O )
Firing get-example*apply*delete-old-prediction
 -->
 (S1 ^guessed-prediction reject -  :O )
	--- Change Working Memory (PE) ---
=>WM: (104: O13 ^count 0)
=>WM: (103: O13 ^description D3)
=>WM: (102: S1 ^object O13)
<=WM: (94: S1 ^guessed-prediction reject)

--- Application Phase ---
	--- Firing Productions (IE) ---
	--- Change Working Memory (IE) ---

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply*copy-attributes
 -->
 (D3 ^weather 1 +  :O )
Firing get-example*apply*copy-attributes
 -->
 (D3 ^size |L| +  :O )
Firing get-example*apply*copy-attributes
 -->
 (D3 ^altitude 4000 +  :O )
Firing get-example*apply*copy-category
 -->
 (O13 ^correct-prediction accept +  :O )
	--- Change Working Memory (PE) ---
=>WM: (108: O13 ^correct-prediction accept)
=>WM: (107: D3 ^altitude 4000)
=>WM: (106: D3 ^size |L|)
=>WM: (105: D3 ^weather 1)

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing get-example*apply*count-attributes-1
 -->
 (C5 ^value 1 +  :O )
 (C5 ^attribute weather +  :O )
 (O13 ^copied-attributes *yes* +  :O )
 (O13 ^count-tag C5 +  :O )
Firing get-example*apply*count-attributes-1
 -->
 (C6 ^value |L| +  :O )
 (C6 ^attribute size +  :O )
 (O13 ^copied-attributes *yes* +  :O )
 (O13 ^count-tag C6 +  :O )
Firing get-example*apply*count-attributes-1
 -->
 (C7 ^value 4000 +  :O )
 (C7 ^attribute altitude +  :O )
 (O13 ^copied-attributes *yes* +  :O )
 (O13 ^count-tag C7 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (118: C7 ^value 4000)
=>WM: (117: C7 ^attribute altitude)
=>WM: (116: O13 ^copied-attributes *yes*)
=>WM: (115: O13 ^count-tag C5)
=>WM: (114: O13 ^count-tag C6)
=>WM: (113: O13 ^count-tag C7)
=>WM: (112: C6 ^value |L|)
=>WM: (111: C6 ^attribute size)
=>WM: (110: C5 ^value 1)
=>WM: (109: C5 ^attribute weather)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing count-attributes*propose
 -->
 (O14 ^count-tag C7 +)
 (O14 ^name count-attributes +)
 (S1 ^operator O14 =)
 (S1 ^operator O14 +)
Firing count-attributes*propose
 -->
 (O15 ^count-tag C6 +)
 (O15 ^name count-attributes +)
 (S1 ^operator O15 =)
 (S1 ^operator O15 +)
Firing count-attributes*propose
 -->
 (O16 ^count-tag C5 +)
 (O16 ^name count-attributes +)
 (S1 ^operator O16 =)
 (S1 ^operator O16 +)
Retracting predict*get-example*propose
 --> (O12 ^name get-example +)
 (S1 ^operator O12 +)
	--- Change Working Memory (IE) ---
=>WM: (127: S1 ^operator O16 +)
=>WM: (126: S1 ^operator O15 +)
=>WM: (125: S1 ^operator O14 +)
=>WM: (124: O16 ^count-tag C5)
=>WM: (123: O16 ^name count-attributes)
=>WM: (122: O15 ^count-tag C6)
=>WM: (121: O15 ^name count-attributes)
=>WM: (120: O14 ^count-tag C7)
=>WM: (119: O14 ^name count-attributes)
<=WM: (100: S1 ^operator O12 +)
<=WM: (101: S1 ^operator O12)
<=WM: (99: O12 ^name get-example)

--- Application Phase ---
	--- Firing Productions (IE) ---
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (128: S1 ^operator O15)

    11:    O: O15 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O13 ^count 1 +  :O )
 (O13 ^count 0 -  :O )
 (O13 ^count-tag C6 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (129: O13 ^count 1)
<=WM: (104: O13 ^count 0)
<=WM: (114: O13 ^count-tag C6)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting count-attributes*propose
 --> (O15 ^count-tag C6 +)
 (O15 ^name count-attributes +)
 (S1 ^operator O15 =)
 (S1 ^operator O15 +)
	--- Change Working Memory (IE) ---
<=WM: (112: C6 ^value |L|)
<=WM: (111: C6 ^attribute size)
<=WM: (126: S1 ^operator O15 +)
<=WM: (128: S1 ^operator O15)
<=WM: (122: O15 ^count-tag C6)
<=WM: (121: O15 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (130: S1 ^operator O14)

    12:    O: O14 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O13 ^count 2 +  :O )
 (O13 ^count 1 -  :O )
 (O13 ^count-tag C7 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (131: O13 ^count 2)
<=WM: (129: O13 ^count 1)
<=WM: (113: O13 ^count-tag C7)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting count-attributes*propose
 --> (O14 ^count-tag C7 +)
 (O14 ^name count-attributes +)
 (S1 ^operator O14 =)
 (S1 ^operator O14 +)
	--- Change Working Memory (IE) ---
<=WM: (118: C7 ^value 4000)
<=WM: (117: C7 ^attribute altitude)
<=WM: (125: S1 ^operator O14 +)
<=WM: (130: S1 ^operator O14)
<=WM: (120: O14 ^count-tag C7)
<=WM: (119: O14 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (132: S1 ^operator O16)

    13:    O: O16 (count-attributes)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing count-attributes*apply
 -->
 (O13 ^count 3 +  :O )
 (O13 ^count 2 -  :O )
 (O13 ^count-tag C5 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (133: O13 ^count 3)
<=WM: (131: O13 ^count 2)
<=WM: (115: O13 ^count-tag C5)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*tasking*predict*propose
 -->
 (O17 ^name prediction-task +)
 (S1 ^operator O17 +)
Retracting count-attributes*propose
 --> (O16 ^count-tag C5 +)
 (O16 ^name count-attributes +)
 (S1 ^operator O16 =)
 (S1 ^operator O16 +)
	--- Change Working Memory (IE) ---
=>WM: (135: S1 ^operator O17 +)
=>WM: (134: O17 ^name prediction-task)
<=WM: (110: C5 ^value 1)
<=WM: (109: C5 ^attribute weather)
<=WM: (127: S1 ^operator O16 +)
<=WM: (132: S1 ^operator O16)
<=WM: (124: O16 ^count-tag C5)
<=WM: (123: O16 ^name count-attributes)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (136: S1 ^operator O17)

    14:    O: O17 (prediction-task)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*tasking*predict*apply
 -->
 (S1 ^task predict +  :O )
	--- Change Working Memory (PE) ---
=>WM: (137: S1 ^task predict)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*propose
 -->
 (O18 ^symbol S5 +)
 (O18 ^value 4000 +)
 (O18 ^attribute altitude +)
 (O18 ^name abstract +)
 (S1 ^operator O18 +)
Firing predict*abstract*propose
 -->
 (O19 ^symbol S6 +)
 (O19 ^value |L| +)
 (O19 ^attribute size +)
 (O19 ^name abstract +)
 (S1 ^operator O19 +)
Firing predict*abstract*propose
 -->
 (O20 ^symbol S7 +)
 (O20 ^value 1 +)
 (O20 ^attribute weather +)
 (O20 ^name abstract +)
 (S1 ^operator O20 +)
Retracting predict*tasking*predict*propose
 --> (O17 ^name prediction-task +)
 (S1 ^operator O17 +)
	--- Change Working Memory (IE) ---
=>WM: (152: S1 ^operator O20 +)
=>WM: (151: S1 ^operator O19 +)
=>WM: (150: S1 ^operator O18 +)
=>WM: (149: O20 ^symbol S7)
=>WM: (148: O20 ^value 1)
=>WM: (147: O20 ^attribute weather)
=>WM: (146: O20 ^name abstract)
=>WM: (145: O19 ^symbol S6)
=>WM: (144: O19 ^value |L|)
=>WM: (143: O19 ^attribute size)
=>WM: (142: O19 ^name abstract)
=>WM: (141: O18 ^symbol S5)
=>WM: (140: O18 ^value 4000)
=>WM: (139: O18 ^attribute altitude)
=>WM: (138: O18 ^name abstract)
<=WM: (135: S1 ^operator O17 +)
<=WM: (136: S1 ^operator O17)
<=WM: (134: O17 ^name prediction-task)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O18 =)
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O19 =)
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O20 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (153: S1 ^operator O19)

    15:    O: O19 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O13 ^count 2 +  :O )
 (O13 ^count 3 -  :O )
 (D3 ^size |L| -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L4 ^size |L| +  :O )
 (O13 ^last-abstraction L4 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (156: L4 ^size |L|)
=>WM: (155: O13 ^last-abstraction L4)
=>WM: (154: O13 ^count 2)
<=WM: (133: O13 ^count 3)
<=WM: (106: D3 ^size |L|)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*propose
 --> (O19 ^symbol S6 +)
 (O19 ^value |L| +)
 (O19 ^attribute size +)
 (O19 ^name abstract +)
 (S1 ^operator O19 +)
	--- Change Working Memory (IE) ---
<=WM: (151: S1 ^operator O19 +)
<=WM: (153: S1 ^operator O19)
<=WM: (145: O19 ^symbol S6)
<=WM: (144: O19 ^value |L|)
<=WM: (143: O19 ^attribute size)
<=WM: (142: O19 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*indifferent
 --> (S1 ^operator O19 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---

=>WM: (157: S1 ^operator O18)

    16:    O: O18 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O13 ^count 1 +  :O )
 (O13 ^count 2 -  :O )
 (D3 ^altitude 4000 -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L5 ^altitude 4000 +  :O )
 (O13 ^last-abstraction L5 +  :O )
Firing predict*abstract*apply-reject-previous-last-abstraction
 -->
 (O13 ^last-abstraction L4 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (160: L5 ^altitude 4000)
=>WM: (159: O13 ^last-abstraction L5)
=>WM: (158: O13 ^count 1)
<=WM: (156: L4 ^size |L|)
<=WM: (155: O13 ^last-abstraction L4)
<=WM: (154: O13 ^count 2)
<=WM: (107: D3 ^altitude 4000)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*propose
 --> (O18 ^symbol S5 +)
 (O18 ^value 4000 +)
 (O18 ^attribute altitude +)
 (O18 ^name abstract +)
 (S1 ^operator O18 +)
	--- Change Working Memory (IE) ---
<=WM: (150: S1 ^operator O18 +)
<=WM: (157: S1 ^operator O18)
<=WM: (141: O18 ^symbol S5)
<=WM: (140: O18 ^value 4000)
<=WM: (139: O18 ^attribute altitude)
<=WM: (138: O18 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*abstract*indifferent
 --> (S1 ^operator O18 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (161: S1 ^operator O20)

    17:    O: O20 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (O13 ^count 0 +  :O )
 (O13 ^count 1 -  :O )
 (D3 ^weather 1 -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L6 ^weather 1 +  :O )
 (O13 ^last-abstraction L6 +  :O )
Firing predict*abstract*apply-reject-previous-last-abstraction
 -->
 (O13 ^last-abstraction L5 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (164: L6 ^weather 1)
=>WM: (163: O13 ^last-abstraction L6)
=>WM: (162: O13 ^count 0)
<=WM: (160: L5 ^altitude 4000)
<=WM: (159: O13 ^last-abstraction L5)
<=WM: (158: O13 ^count 1)
<=WM: (105: D3 ^weather 1)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing prediction*accept
 -->
 (O21 ^category accept +)
 (O21 ^name prediction +)
 (S1 ^operator O21 +)
Firing prediction*reject
 -->
 (O22 ^category reject +)
 (O22 ^name prediction +)
 (S1 ^operator O22 +)
Retracting predict*abstract*propose
 --> (O20 ^symbol S7 +)
 (O20 ^value 1 +)
 (O20 ^attribute weather +)
 (O20 ^name abstract +)
 (S1 ^operator O20 +)
	--- Change Working Memory (IE) ---
=>WM: (170: S1 ^operator O22 +)
=>WM: (169: S1 ^operator O21 +)
=>WM: (168: O22 ^category reject)
=>WM: (167: O22 ^name prediction)
=>WM: (166: O21 ^category accept)
=>WM: (165: O21 ^name prediction)
<=WM: (152: S1 ^operator O20 +)
<=WM: (161: S1 ^operator O20)
<=WM: (149: O20 ^symbol S7)
<=WM: (148: O20 ^value 1)
<=WM: (147: O20 ^attribute weather)
<=WM: (146: O20 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*reverse-abstraction*propose
 -->
 (O23 ^count 1 +)
 (O23 ^name reverse +)
 (S1 ^operator O23 > O21)
 (S1 ^operator O23 +)
Firing predict*note-relevant-feature*propose
 -->

Proposing relevant feature weather (O24 ^attribute weather +)
 (O24 ^name note-relevant-feature +)
 (S1 ^operator O24 >)
 (S1 ^operator O24 +)
Firing prediction*reject-wrong-predictions
 -->
 (S1 ^operator O22 -)
Retracting predict*abstract*indifferent
 --> (S1 ^operator O20 =)
	--- Change Working Memory (IE) ---
=>WM: (176: S1 ^operator O24 +)
=>WM: (175: S1 ^operator O23 +)
=>WM: (174: O24 ^attribute weather)
=>WM: (173: O24 ^name note-relevant-feature)
=>WM: (172: O23 ^count 1)
=>WM: (171: O23 ^name reverse)

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (177: S1 ^operator O24)

    18:    O: O24 (note-relevant-feature)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*note-relevant-feature*apply
 -->
 (S1 ^relevant-feature weather +  :O )
	--- Change Working Memory (PE) ---
=>WM: (178: S1 ^relevant-feature weather)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*note-relevant-feature*reject
 -->

 This instance does not have a weather attribute to abstract last  (S1 ^operator O24 -)
Retracting predict*note-relevant-feature*propose
 --> (O24 ^attribute weather +)
 (O24 ^name note-relevant-feature +)
 (S1 ^operator O24 >)
 (S1 ^operator O24 +)
	--- Change Working Memory (IE) ---
<=WM: (176: S1 ^operator O24 +)
<=WM: (177: S1 ^operator O24)
<=WM: (174: O24 ^attribute weather)
<=WM: (173: O24 ^name note-relevant-feature)

--- Application Phase ---
	--- Firing Productions (IE) ---
Retracting predict*note-relevant-feature*reject
 --> (S1 ^operator O24 -)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (179: S1 ^operator O23)

    19:    O: O23 (reverse)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*reverse-abstraction*apply
 -->
 (O13 ^reversed *yes* +  :O )
 (O13 ^count 1 +  :O )
 (O13 ^count 0 -  :O )
 (D3 ^weather 1 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (182: O13 ^reversed *yes*)
=>WM: (181: O13 ^count 1)
=>WM: (180: D3 ^weather 1)
<=WM: (162: O13 ^count 0)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*propose
 -->
 (O25 ^symbol S8 +)
 (O25 ^value 1 +)
 (O25 ^attribute weather +)
 (O25 ^name abstract +)
 (S1 ^operator O25 +)
Retracting prediction*reject
 --> (O22 ^category reject +)
 (O22 ^name prediction +)
 (S1 ^operator O22 +)
Retracting prediction*accept
 --> (O21 ^category accept +)
 (O21 ^name prediction +)
 (S1 ^operator O21 +)
Retracting predict*reverse-abstraction*propose
 --> (O23 ^count 1 +)
 (O23 ^name reverse +)
 (S1 ^operator O23 > O21)
 (S1 ^operator O23 +)
	--- Change Working Memory (IE) ---
=>WM: (187: S1 ^operator O25 +)
=>WM: (186: O25 ^symbol S8)
=>WM: (185: O25 ^value 1)
=>WM: (184: O25 ^attribute weather)
=>WM: (183: O25 ^name abstract)
<=WM: (169: S1 ^operator O21 +)
<=WM: (170: S1 ^operator O22 +)
<=WM: (175: S1 ^operator O23 +)
<=WM: (179: S1 ^operator O23)
<=WM: (168: O22 ^category reject)
<=WM: (167: O22 ^name prediction)
<=WM: (166: O21 ^category accept)
<=WM: (165: O21 ^name prediction)
<=WM: (172: O23 ^count 1)
<=WM: (171: O23 ^name reverse)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*reject
 -->
 (S1 ^operator O25 -)
Firing predict*abstract*indifferent
 -->
 (S1 ^operator O25 =)
Firing predict*abstract-relevant-feature*worse
 -->

relevant-attribute: weather is worst  (S1 ^operator O25 <)
Retracting prediction*reject-wrong-predictions
 --> (S1 ^operator O22 -)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (193: S9 ^quiescence t)
=>WM: (192: S9 ^choices none)
=>WM: (191: S9 ^impasse no-change)
=>WM: (190: S9 ^attribute state)
=>WM: (189: S9 ^superstate S1)
=>WM: (188: S9 ^type state)

    20:    ==>S: S9 (state no-change)
--- Application Phase ---
	--- Firing Productions (IE) ---
Firing copy-object
 -->
 (C8 ^count 1 +)
 (C8 ^description C9 +)
 (S9 ^task predict +)
 (S9 ^subgoal t +)
 (S9 ^object C8 +)
 (P2 ^name predict +)
 (S9 ^problem-space P2 +)
Firing default*elaborate*state*top-state
 -->
 (S9 ^top-state S1 +)
	--- Change Working Memory (IE) ---
=>WM: (201: S9 ^top-state S1)
=>WM: (200: C8 ^count 1)
=>WM: (199: C8 ^description C9)
=>WM: (198: S9 ^task predict)
=>WM: (197: S9 ^subgoal t)
=>WM: (196: S9 ^object C8)
=>WM: (195: P2 ^name predict)
=>WM: (194: S9 ^problem-space P2)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing copy-object-description
 -->
 (C9 ^weather 1 +)
Firing copy-correct-prediction
 -->
 (C8 ^correct-prediction accept +)
	--- Change Working Memory (IE) ---
=>WM: (203: C8 ^correct-prediction accept)
=>WM: (202: C9 ^weather 1)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*propose
 -->
 (O26 ^symbol S10 +)
 (O26 ^value 1 +)
 (O26 ^attribute weather +)
 (O26 ^name abstract +)
 (S9 ^operator O26 +)
	--- Change Working Memory (IE) ---
=>WM: (208: S9 ^operator O26 +)
=>WM: (207: O26 ^symbol S10)
=>WM: (206: O26 ^value 1)
=>WM: (205: O26 ^attribute weather)
=>WM: (204: O26 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*abstract*indifferent
 -->
 (S9 ^operator O26 =)
Firing predict*prediction*abstract*best-same-as-supergoal
 -->
 (S9 ^operator O26 >)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (209: S9 ^operator O26)

    21:       O: O26 (abstract)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing predict*abstract*apply
 -->
 (C8 ^count 0 +  :O )
 (C8 ^count 1 -  :O )
 (C9 ^weather 1 -  :O )
Firing predict*abstract*apply-last-abstraction
 -->
 (L7 ^weather 1 +  :O )
 (C8 ^last-abstraction L7 +  :O )
	--- Change Working Memory (PE) ---
=>WM: (212: L7 ^weather 1)
=>WM: (211: C8 ^last-abstraction L7)
=>WM: (210: C8 ^count 0)
<=WM: (200: C8 ^count 1)
<=WM: (202: C9 ^weather 1)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing prediction*accept
 -->
 (O27 ^category accept +)
 (O27 ^name prediction +)
 (S9 ^operator O27 +)
Firing prediction*reject
 -->
 (O28 ^category reject +)
 (O28 ^name prediction +)
 (S9 ^operator O28 +)
Retracting predict*abstract*propose
 --> (O26 ^symbol S10 +)
 (O26 ^value 1 +)
 (O26 ^attribute weather +)
 (O26 ^name abstract +)
 (S9 ^operator O26 +)
	--- Change Working Memory (IE) ---
=>WM: (218: S9 ^operator O28 +)
=>WM: (217: S9 ^operator O27 +)
=>WM: (216: O28 ^category reject)
=>WM: (215: O28 ^name prediction)
=>WM: (214: O27 ^category accept)
=>WM: (213: O27 ^name prediction)
<=WM: (208: S9 ^operator O26 +)
<=WM: (209: S9 ^operator O26)
<=WM: (207: O26 ^symbol S10)
<=WM: (206: O26 ^value 1)
<=WM: (205: O26 ^attribute weather)
<=WM: (204: O26 ^name abstract)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing prediction*reject-wrong-predictions
 -->
 (S9 ^operator O28 -)
Retracting predict*prediction*abstract*best-same-as-supergoal
 --> (S9 ^operator O26 >)
Retracting predict*abstract*indifferent
 --> (S9 ^operator O26 =)
	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (219: S9 ^operator O27)

    22:       O: O27 (prediction)
--- Decision Phase ---
=>WM: (225: S11 ^quiescence t)
=>WM: (224: S11 ^choices none)
=>WM: (223: S11 ^impasse no-change)
=>WM: (222: S11 ^attribute operator)
=>WM: (221: S11 ^superstate S9)
=>WM: (220: S11 ^type state)

      :       ==>S: S11 (operator no-change)
--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---
	--- Firing Productions (IE) ---
Firing prediction*apply-subgoal
 -->
 (S1 ^operator O27 +)
 (S9 ^done t +)
	--- Change Working Memory (IE) ---
=>WM: (227: S1 ^operator O27 +)
=>WM: (226: S9 ^done t)

--- Proposal Phase ---
<=WM: (195: P2 ^name predict)
<=WM: (212: L7 ^weather 1)
<=WM: (210: C8 ^count 0)
<=WM: (199: C8 ^description C9)
<=WM: (203: C8 ^correct-prediction accept)
<=WM: (211: C8 ^last-abstraction L7)
<=WM: (201: S9 ^top-state S1)
<=WM: (198: S9 ^task predict)
<=WM: (197: S9 ^subgoal t)
<=WM: (196: S9 ^object C8)
<=WM: (194: S9 ^problem-space P2)
<=WM: (226: S9 ^done t)
<=WM: (216: O28 ^category reject)
<=WM: (215: O28 ^name prediction)
<=WM: (217: S9 ^operator O27 +)
<=WM: (218: S9 ^operator O28 +)
<=WM: (188: S9 ^type state)
<=WM: (189: S9 ^superstate S1)
<=WM: (190: S9 ^attribute state)
<=WM: (191: S9 ^impasse no-change)
<=WM: (192: S9 ^choices none)
<=WM: (193: S9 ^quiescence t)
<=WM: (219: S9 ^operator O27)
<=WM: (220: S11 ^type state)
<=WM: (221: S11 ^superstate S9)
<=WM: (222: S11 ^attribute operator)
<=WM: (223: S11 ^impasse no-change)
<=WM: (224: S11 ^choices none)
<=WM: (225: S11 ^quiescence t)

--- Decision Phase ---
=>WM: (228: S1 ^operator O27)

    23:    O: O27 (prediction)
--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*prediction*abstract*worse
 -->
 (S1 ^operator O27 > O25)
	--- Change Working Memory (IE) ---

--- Application Phase ---
	--- Firing Productions (PE) ---
Firing prediction*apply
 -->
 (O13 ^count 1 -  :O )
 (S1 ^task predict -  :O )
 (S1 ^input-example I4 -  :O )
 (S1 ^guessed-prediction accept +  :O )
 (S1 ^object O13 -  :O )
	--- Change Working Memory (PE) ---
=>WM: (229: S1 ^guessed-prediction accept)
<=WM: (164: L6 ^weather 1)
<=WM: (180: D3 ^weather 1)
<=WM: (103: O13 ^description D3)
<=WM: (108: O13 ^correct-prediction accept)
<=WM: (116: O13 ^copied-attributes *yes*)
<=WM: (163: O13 ^last-abstraction L6)
<=WM: (182: O13 ^reversed *yes*)
<=WM: (102: S1 ^object O13)
<=WM: (97: S1 ^input-example I4)
<=WM: (137: S1 ^task predict)
<=WM: (181: O13 ^count 1)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing predict*propose-halt-when-all-complete
 -->
 (O29 ^name halt +)
 (S1 ^operator O29 +)
Retracting predict*abstract-relevant-feature*worse
 --> (S1 ^operator O25 <)
Retracting predict*abstract*indifferent
 --> (S1 ^operator O25 =)
Retracting predict*prediction*abstract*worse
 --> (S1 ^operator O27 > O25)
Retracting predict*abstract*propose
 --> (O25 ^symbol S8 +)
 (O25 ^value 1 +)
 (O25 ^attribute weather +)
 (O25 ^name abstract +)
 (S1 ^operator O25 +)
Retracting chunk-1*d23*opnochange*1
 --> (S1 ^operator O27 +)
 (O27 ^name prediction +)
 (O27 ^category accept +)
Retracting predict*abstract*reject
 --> (S1 ^operator O25 -)
	--- Change Working Memory (IE) ---
=>WM: (231: S1 ^operator O29 +)
=>WM: (230: O29 ^name halt)
<=WM: (187: S1 ^operator O25 +)
<=WM: (227: S1 ^operator O27 +)
<=WM: (228: S1 ^operator O27)
<=WM: (186: O25 ^symbol S8)
<=WM: (185: O25 ^value 1)
<=WM: (184: O25 ^attribute weather)
<=WM: (183: O25 ^name abstract)
<=WM: (213: O27 ^name prediction)
<=WM: (214: O27 ^category accept)

--- Application Phase ---
	--- Firing Productions (IE) ---
Firing halt*apply2
 -->

Saving file for the relevant attr weather	--- Change Working Memory (IE) ---

--- Application Phase ---

--- Output Phase ---

--- Input Phase --- 

--- Proposal Phase ---

--- Decision Phase ---
=>WM: (232: S1 ^operator O29)

    24:    O: O29 (halt)
--- Application Phase ---
	--- Firing Productions (PE) ---
Firing halt*apply
 -->

Result: Category-I 1 1 accept 0


 (S1 ^done t +  :O )
	--- Change Working Memory (PE) ---
=>WM: (233: S1 ^done t)

System halted.chunk-1*d23*opnochange*1  
sp {chunk-1*d23*opnochange*1
    :chunk
    (state <s1> ^task predict ^object <o1> ^problem-space <p1>)
    (<o1> ^count 1 ^description <d1>)
    (<d1> ^weather 1)
    (<p1> ^name predict)
    -->
    (<s1> ^operator <o2> +)
    (<o2> ^category accept + ^name prediction +)
}

###############################################init-soar done