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