. . . "I am wondering if someone has defined, in a model-theoretic framework, some sort of decidability rule for correctness of English (or any natural language, for that matter) that is at least mostly in agreement with many native speakers." .