vor der Brück, Tim, and Hermann Helbig. 2010. “Meronymy Extraction Using An Automated Theorem Prover”. Journal for Language Technology and Computational Linguistics 25 (1):57-81. https://doi.org/10.21248/jlcl.25.2010.129.