This paper is an attempt to give an account of presupposition inheritance (henceforth PI) in conditionals from a functional-discourse perspective. The focus of study is on how to evaluate the embedded presupposition (EP) nested in the hypothetical world. I propose the view that if the EP satisfies the condition on the presupposition satisfaction, it becomes background information in the relevant world, arguing against the theories which employ simple cancellation or disappearance of those EPs. The discourse processing among discourse participants is to be considered in the light of functional significance for the explication of the contrastive mechanism of presupposition and assertion. I advance a revised model of PI in conditionals and analyze several problematic cases of conditionals, with a particular attention to their DRSs.

The case marking phenomenon in Korean is closely related to semantic entailment and should be studied as an interface between syntax and semantics. Assuming a direct mapping between syntactic realization and semantic information, this study investigates the role of the accusative marker ul/lul in Korean, and explores the semantic constraints working on the argument realization on the basis of proto-roles hypothesis. Specifically, I will study various types of case alternations in Korean and clarify the role of the accusative marker ul/lul, which manifests the distinction between direct object NPs and oblique NPs.

The morphological analyzer is expected to tell attested word forms from imaginable yet unattested ones. An account of the inflectional morphology of English verbs is given in the framework of Word-and-Paradigm morphology, developed mainly by Matthews (1972, 1974, 1991) and further by Aronoff (1994) and Zwicky (1985, 1988), which is free of overrecognition. Thirteen inflectional classes are identified according to the patterns each of them exhibits in filling the slots in the paradigm. Peculiarity in orthography is also considered in assigning each verb lexeme to a class. Modules of a C program which gives associated morphosyntactic properties to all and only attested verb forms are written so that details of this framework can be evaluated explicitly. This program is shown to be superior to existing programs in economy and in the generality it achieves.

The purpose of this paper is to explore the syntactic criteria for determining a secondary predicates as a predicate modifier or a conjunction, and to formalize the semantic aspects of the [-ke] structure as a predicate in Korean. Syntactically, the [-ke] structure is considered to be a secondary predicate when the shared arguments appear in both the [-ke] structure and the main verb structure. On the other hand, if they do not appear in both structures, the [-ke] structure is considered to be a connective element. Semantically the [-ke] structure has numerous aspects such as depictives, resultatives, objectivity, and emphasis. The depictives of the secondary predicate can be formalize as $p{\wedge}q$ where p represents a propositional expression of the secondary predicate and q is a propositional expression of the main verb. Resultatives have the logical form $q{\rightarrow}{\Box}p$, because the consequence has to always be true. However, objectivity has the logical form $q{\rightarrow}{\diamondsuit}p$, because the consequence can be either true or false. Emphasis is represented as $q{\rightarrow}p{\uparrow}$ because the secondary predicate represents the polarity of the event.

The purpose of this research is to propose a set of basic guidelines for the construction of English test suites, a set of basic guidelines for the construction of Korean test suites to objectively evaluate the performance of machine translation systems. For this end, we constructed 650 English test sentences, 650 Korean test sentences, and developed the statistical methods and tools for the comparative evaluation of the English-Korean machine translation systems. It also evaluates the existing commercial English-Korean machine translation systems. The importance of this research lies in that it will promote an awareness of the importance and need of testing machine translation systems within the Natural Language Community. This research will also make a big contribution to the development of evaluation methods and techniques for appropriate test suites for Korean information processing systems. The results of this research can be used by the natural language community to test the performance and development of their information processing systems or machine translation systems.