T -> (<{1..3,4,6..7}>F /\~ F -> ( [ {1} ](F\/T<-(~<{1,1,1}>F<->[{}]T )) ))