" Keyin" Computer-Photocomposition System takes batch processing function to form tables to be used in treatises, meeting the tabling demand primarily.
Abstract: This treatise uses TFA concept and its analytic method to discuss the differences and characteristics of the presupposition, entailment and affirmance.