pdf bibExtracting higher-order logic formulas from English sentencesAlexandre Rademaker | Guilherme Lima | Renato CerqueiraProceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023)