2nd cons X n__cons Y Z activate Y from X cons X n__from n__s X cons X1 X2 n__cons X1 X2 from X n__from X s X n__s X activate n__cons X1 X2 cons activate X1 X2 activate n__from X from activate X activate n__s X s activate X activate X X 2.2 activate n__cons X1 X2 cons activate X1 X2 2nd cons X n__cons Y Z activate Y activate n__s X s activate X activate n__from X activate X activate n__cons X1 X2 activate X1 from X cons X n__from n__s X activate n__s X activate X activate n__from X from activate X true 2nd cons X n__cons Y Z activate Y false activate n__s X activate X activate n__cons X1 X2 activate X1 activate n__from X activate X true cons 2 0 s 1 0 activate 1 0 n__from 1 1 1 activate 1 1 0 2nd 1 0 n__s 1 1 1 from 1 0 s 1 0 n__cons 2 1 1 2nd 1 0 from 1 0 cons 2 0 activate n__from X from activate X false from X cons X n__from n__s X false activate n__s X s activate X false activate n__cons X1 X2 cons activate X1 X2 false NaTT certifiable-1.6