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…

Natural languages contain systematic relationships between verb meaning and verb argument structure. Artificial language learning studies typically remove those relationships and instead pair verb meanings randomly with structures. Adult participants in such studies can detect statistical regularities associated with words in these languages and…

This study examines the knowledge representation of Japanese university students assessed using grammaticality judgement tests (GJTs) and a metalinguistic knowledge test (MKT). The study also investigates the role of automatised and non-automatised explicit knowledge in general L2 language proficiency. Participants were 87 late learners of English…

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,…

Learners of a nonnull subject language (e.g., English) whose first language (L1) is a null subject language (e.g., Spanish) can show some optionality in the interpretation of overt subject pronouns in the second language (L2). By exposing L2 learners to nativelike interpretations of pronouns in discourse, we aim at understanding how exposure can…

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…

Recent research on the effects of processing instruction (PI) have incorporated online research methods in order to demonstrate that PI has effects on cognitive processing behaviors as well as on accuracy (e.g. Lee & Doherty, 2019a). The present study uses self-paced reading and a moving windows technique to examine the effects of PI on second…

This study examines L2 fluency in speaking interactions based on the number and type of utterances. The participants were 25 Korean eighth-grade learners of English as a foreign language. They performed five communicative tasks in groups, and their speaking interactions were audio-recorded and analyzed to measure the frequencies of sentence-level…

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 study aimed to establish whether 5- to 7-year-old children with developmental language disorder (DLD) have difficulties explaining actions in terms of intentions and if so, to elucidate the nature of such difficulties. Children with DLD and typically developing chronological age peers (TD group) participated in a production task designed to…

This article investigates whether explicit instruction can affect second language (L2) competence in the domain of English quantifier scope. An intervention study was conducted with L1-Mandarin L2-English learners in order to examine (1) whether these learners can learn inverse scope for the structure on which they are instructed…