ID: 10 Parent: 8 Tree
Covered by:
12 13
x(5) x(5)-1
PDER
VAR\RSOP x(5) x(4)
x(4) 0 1
x(5) 1 0
DEP 
MAP
x(1)x(4)^3*x(5)^2
x(2)x(4)^2*x(5)
IMAP
x(4)(x(2)^2)/(x(1))
x(5)(x(1)^2)/(x(2)^3)
FOCUS
x(4)^6*x(5)^4-x(4)^6*x(5)^3
x(4)*x(5)
x(4)
STACK
WBO (dim: 2)
W 
J
x(5)-11
c1
E,a
x(5)1
x(4)2
TBO (dim: 2)
W 
J
x(5)-11
E
x(5)
x(4)
EM 
SBO (dim: 2)
W 
J
x(5)-11
E
x(5)
x(4)
Covered by:
12 13
x(5) x(5)-1
ID: 10 Parent: 8 Tree