pdf bibA semantically-derived subset of English for hardware verificationAlexander Holt | Ewan KleinProceedings of the 37th Annual Meeting of the Association for Computational Linguistics