Problem: On 1 July , the judge in Madrid , Antonio Perez , issued a death penalty against Rodrigo de Arce .
On 1 July , the judge in Madrid , Antonio Perez , issued a death sentence against Rodrigo de Arce .
-+-
A: yes

Problem: On 14 December 2011 , he was traded with Kyle Weiland to the Houston Astros for Reliever Mark Melancon .
On 14 December 2011 , he was traded with Mark Melancon to the Houston Astros for Reliever Kyle Weiland .
-+-
A: no

Problem: The combinatorial data could be encoded in a coloured directed graph , with labels given by the simple roots .
The combinatorial data could be encoded in a simple directed graph .
-+-
A:
no