Update ex2_quantification_bf.p
Update ex2_quantification_bf.p

updated to latest version of nonclassic tptp extension
added som comment
leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III