English Logic