Cho, Dong-In. 2000. There-Construction and its Computational Implementation. The Journal of English Grammar 4.1, 65-76. This paper has examined three issues centering around Definiteness Effect, Case, and the motivation of LF-raising of the associate in the existential construction. This paper suggests that the associate of there can have double Cases: inherent Case and structural Case. The combination of inherent Case and structural Case is possible, while the combination of structure Case and another structural Case is not allowed. It is also suggested that only an indefinite associate of there is motivated to raise to there, with its movement for FI. This analysis is followed by a suggestion for the computational implementation of there-construction. (Seoul National University of Technology)