2nd
cons1
X
cons
Y
Z
Y
2nd
cons
X
X1
2nd
cons1
X
activate
X1
from
X
cons
X
n__from
s
X
from
X
n__from
X
activate
n__from
X
from
X
activate
X
X
2.2
2nd
cons
X
X1
activate
X1
activate
n__from
X
from
X
2nd
cons
X
X1
2nd
cons1
X
activate
X1
true
2nd
cons
X
X1
2nd
cons1
X
activate
X1
false
2nd
cons
X
X1
activate
X1
false
activate
n__from
X
from
X
false
NaTT
certifiable-1.6