Cristian Danescu-Niculescu-Mizil Lillian Lee Richard Ducott Without a 'doubt'? Unsupervised discovery of downward-entailing operators http://arxiv.org/abs/0906.2415 2009 CoRR abs/0906.2415 db/journals/corr/corr0906.html#abs-0906-2415 informal publication