Juárez, O. (2023). Non-Axiomatic Logic Modeling of English Texts (Version 1.1.0) [Computer software]