Annotating by Proving using SemAnTE. - Assaf Toledo; Stavroula Alexandropoulou; Sophie Chesney; Robert Grimm 003; Pepijn Kokke; Benno Kruit; Kyriaki Neophytou; Antony Nguyen; Yoad Winter (EACL, 2014)