test02.cl revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
T -> (<{1,2}>F /\~ F -> ( [ {1}](F\/T<-(~<{1,1,1}>F<->[{1,0,0,0,1,1}]T )) ))