PDT and MTE have been annotated using two different guidelines that without further annotation effort could only be merged by reducing them to a common subset.
11 We conclude that systems based on the algorithm of Martin et al.