used nltk to turn an english sentence into a FOL statement!