Njinga (1582 Ndongo-December 1663 Matamba) was a female black warrior from the Ndongo and Matamba Kingdoms of Mbundu people known as Angola today where Portuguese is official language communication. She criticized for assisting Portuguese, being cannibal, contributing to African slave trade. could speak several languages. daughter King Kiluanji. However, according movie on her, she freed her co...

Halliday’s Systemic Functional Linguistics (SFL) has stood the test of time as a model of text analysis. The present literature contains a plethora of studies that while taking the ‘clause’ as a unit of analysis have put into investigation the metafunctions in research articles of a single field of study or those of various fields in comparison. Although ‘clause complex’ is another unit of SF a...

halliday’s systemic functional linguistics (sfl) has stood the test of time as a model of text analysis. the present literature contains a plethora of studies that while taking the ‘clause’ as a unit of analysis have put into investigation the metafunctions in research articles of a single field of study or those of various fields in comparison. although ‘clause complex’ is another unit of sf a...

Development of science and academic knowledge has led to changes in academic language and transfer of information and knowledge. In this regard, the present study is an attempt to investigate lexico-grammaticality in academic abstracts and their full research papers in Linguistics, Chemistry and Electrical engineering papers published during 1991-2015 in academic journals from a diachronic pers...

This study drew upon Kress and Van Leeuwen’s (2006, [1996]) visual grammar and Van Leeuwen’s (2008) social semiotic model to interrogate ways through which social actors of different races are visually and textually represented in four award-winning English-learning software packages.  The analysis was based on narrative actional/reactional processes at the ideational level; mood, perspective, ...

A. Bundy and B. Welham. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. In this paper we have shown how a metatheory of a mechanized logic can be deened and used to reason about proof plans. In particular proof plans can be built by theorem proving. Doing so we are guaranteed that, provided that the metatheory is correct and truthful pro...

The concern of this paper is the signalling of segments and relations in written texts. It explores the role of visual formatting and its relation to lexical and other markers. Through a corpus-based study of a specific "text object" definitions in instructional texts, it brings together two models of text structure: RST and the model of text architecture. Unlike RST, this latter model gives a ...

Metafunctions: proving them correct and using them eeciently as new proof procedures. In this paper we have presented how computational reeective capabilities and mechanized logical deduction can be integrated. We have explained how this integration is achieved in GETFOL, a theorem prover where a logical metatheory MT describes both the logical properties of the object theory OT and the code im...

As students’ academic language ability grows, they are expected to move from summarizing or retelling works of literature to studying texts critically. With this comes the demand for more developed literacy skills or, as those working from a systemic functional linguistic perspective would argue, an increase in the students’ resources for making meaning in an ever-widening variety of contexts (...