from X cons X n__from n__s X sel 0 cons X Y X sel s X cons Y Z sel X activate Z from X n__from X s X n__s X activate n__from X from activate X activate n__s X s activate X activate X X 2.2 activate n__from X activate X sel s X cons Y Z activate Z sel s X cons Y Z sel X activate Z activate n__s X s activate X activate n__from X from activate X activate n__s X activate X true sel s X cons Y Z sel X activate Z true s 1 1 1 activate 1 8856 n__from 1 8858 activate 1 0 n__s 1 2 0 0 0 sel 2 1 0 from 1 8857 sel 2 0 s 1 0 from 1 0 cons 2 1 8858 sel s X cons Y Z activate Z false activate n__s X activate X activate n__from X activate X true s 1 1 1 activate 1 8856 n__from 1 1 8858 activate 1 1 0 n__s 1 1 0 0 0 0 sel 2 0 from 1 8857 sel 2 0 s 1 0 from 1 0 cons 2 1 8858 activate n__s X activate X activate n__s X activate X true s 1 1 1 activate 1 8856 n__from 1 1 8858 activate 1 1 0 n__s 1 1 1 0 0 0 sel 2 0 from 1 8857 sel 2 0 s 1 0 from 1 0 cons 2 1 8858 activate n__from X from activate X false activate n__s X s activate X false NaTT certifiable-1.6