T -> (<amop>F /\~ F -> ( [ bmop ](F\/T<-(~<cmop>F<->[dmop]T )) ))