Before revision: Horn Clauses Horn clauses, named after the linguist Laurence R. Horn, who discovered the constructions, are clauses which feature a that clause complement containing an extracted NPI, triggering subject-auxiliary inversion, and further undergoing negative inversion.
After revision: Horn Clauses Horn clauses, named after the linguist Laurence R. Horn, who discovered the constructions, are clauses which feature a that clause complement containing an extracted NPI, triggering Negative inversion, and further undergoing subject-auxiliary inversion.