Reasoning in Attempto Controlled English: Mathematical and Functional Extensions Norbert E Fuchs author 2021-09 text Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21) Tobias Kuhn editor Silvie Spreeuwenberg editor Stijn Hoppenbrouwers editor Norbert E Fuchs editor Special Interest Group on Controlled Natural Language Amsterdam, Netherlands conference publication fuchs-2021-reasoning https://aclanthology.org/2021.cnl-1.8/ 2021-09