Formalising Entailments . The Reasoner, v. 9, n. 10, 29 Jul.2024.