considering the role of witness in the different sciences of language and literature and the importance of the muallaqat in arabic literature and the importance of explanations of these poems, in the present study, it is intended to study the method of commentators n applying the the different evidence of the quran, hadith, poetry, proverb, descriptive - analytical method was employed. the resu...

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...

This paper outlines an implemented system called PROVERB that explains machine-found natural deduction proofs in natural language. Diierent from earlier works, we pursue a reconstructive approach. Based on the observation that natural deduction proofs are at a too low level of abstraction compared with proofs found in mathematical textbooks, we deene rst the concept of so-called assertion level...

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...

Proverbs Four Hundred Emphasizing Ethics is the topic of study. Proverb four hundred says that old sins will go away by doing dharmas. It means good deeds in a timely manner. one should not insult friend among intellectuals, and such insulting like ourselves. Wealth kept safe be put together as big money to help behind. we give wealth have accumulated others if live that, it great treasure accu...

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...

The Brazilian proverb “Uma desgraça nunca vem só” or “Misfortunes never come alone” has, unfortunately, been more apt than in reference to the risks now facing Amazonia [...]