tokens: The research leading to these results has received funding from the European Research Council under the European Union 's Seventh Framework Programme ( FP/2007 - 2013 ) / ERC Grant Agreement 338077 " Theory and Practice of Advanced Search and Enumeration " .