vor der Brück, T.; Helbig, H. Meronymy Extraction Using An Automated Theorem Prover. JLCL 2010, 25, 57-81.