fixed quantifer colon symbol, reordered cases in unitary fol formula
fixed quantifer colon symbol, reordered cases in unitary fol formula

lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III