Ⅰ. Introduction
II. Previous Analysis
2.1. LF Replacement with Chain-Formation Theory (Chomsky 1981, 1986, 1991)
2.2. LF-Adjunction with Feature-Checking Theory
2.3. Pure Expletive Analysis
III. There construction in Agree (Chomsky 1998, 1999, 2001)
Ⅳ. Constraints and Locality
4.1. Constraints
4.2. Locality
Ⅴ. Conclusion
References