This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

Despite the unquestionable academic interest on corpus-based approaches to language education, the use of corpora by teachers in their everyday practice is still not very widespread. One way to promote usage of corpora in language teaching is by making pedagogically appropriate corpora, labelled with different types of problems (for instance,…

Seductive details in text are interesting but unimportant text segments. Although seductive details can make expository text more interesting, they do not necessarily promote learning of main ideas. This study investigated whether task relevance instructions that targeted main ideas would promote memory for main ideas when students read a text…

This study investigates the use of high-frequency cognitive verbs - think and believe - in Turkish L2 learners' interlanguage, both in terms of their verb senses and complementation patterns. In line with this purpose, a Sentence Production Task consisting of context-independent items and a Sentence Completion Task consisting of context-dependent…

Research consistently shows that adults engaged in tutored acquisition benefit from explicit instruction in several linguistic domains. For preschool children, it is often assumed that such explicit instruction does not make a difference. In the present study, we investigated whether explicit instruction affected young learners in acquiring a…

The present study investigated the effect of classroom-based syntactic training on children's abilities to produce passive sentences. Thirty-three monolingual English children (mean age 5;2), were involved in passive-voice training based on storytelling sessions within a priming design. The training was delivered in a classroom setting, with two…

This research was aimed at investigating L1 Thai learners' English word stress production in two aspects of English words -- 1) English words with different suffixes: suffixes affecting stress shift, i.e. '-ic' (e.g. 'fantástic'), '-ity' (e.g. 'idéntity') and '-tion / -sion' (e.g. 'eléction') and suffixes demanding stress, i.e. '-oon' (e.g.…

Purpose: The primary purpose of this study was to examine the development of past tense counterfactual (PTCF) sentences ("If the dog had stayed in the house, he would not have bitten the police officer") in young adolescents and young adults, addressing both production and comprehension. The goal was to determine if growth occurs during…

This paper tests a new method of teaching vocabulary to young second language learners through the medium of drama, specifically the effect of drama teaching techniques on vocabulary acquisition among primary school learners of Welsh. Vocabulary Acquisition via Drama (VAD) is based on principles derived from both process drama and communicative…

This study set out to inspect Laufer and Hulstijn's (2001) motivational-cognitive construct of task-induced involvement. Involvement load hypothesis predicts that tasks with the same involvement loads lead to the same amount of learning. To this end, three output task types which induce equal involvement indices of 3 were employed to examine the…

This study investigated the effects of auditory and audiovisual text presentation on the three levels of mental representations assumed in theories of discourse processing. A sample of 106 children aged 7, 9, and 11 years listened to 16 short narrative texts, 8 of which were accompanied by a series of pictures illustrating the content.…

This study focused on an instructional component often neglected when teaching the pronunciation of English as either a second, foreign, or international language--namely, the suprasegmental feature of lexical stress. Extending previous research on collaborative priming tasks and task repetition, the study investigated the impact of task and…

Although previous research has demonstrated the efficacy of recasts on second language (L2) morphology and lexis (e.g., Li, 2010; Mackey & Goo, 2007), few studies have examined their effect on learners' phonological development (although see Saito, 2015; Saito & Lyster, 2012). The current study investigates the impact of recasts on the…

This study introduces an approach to providing corrective feedback to L2 learners termed analogy-based corrective feedback that is motivated by analogical learning theories and syntactic alignment in dialogue. Learners are presented with a structurally similar synonymous version of their output where the erroneous form is corrected, and they must…

Two groups of 12-year-old ethnic minority (EM) users of alphasyllabary (66 Tibetan and 45 Yi) were compared with 42 Han Chinese students in comprehending Chinese narrative and expository texts, each with inferential questions requiring short open-ended written answers. Three constructs (verbal working memory, orthographic and sentential…